skip to main content
Idioma:
Mostrar solo
Refinado por: materia: Exact Sciences And Technology eliminar
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A category of transition systems and its relations with orthomodular posets
A category of transition systems and its relations with orthomodular posets
Material Type:
Acta de Congreso 		Añadir a Mi Portal

A category of transition systems and its relations with orthomodular posets

Bernardinello, Luca ; Pomello, Lucia Ružička, Peter ; Prívara, Igor

Lecture notes in computer science, 2005, p.139-148 [Revista revisada por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponible

Citas Citado por
2
A characterization of abstract families of algebraic power series
A characterization of abstract families of algebraic power series
Material Type:
Acta de Congreso 		Añadir a Mi Portal

A characterization of abstract families of algebraic power series

Karner, Georg ; Kuich, Werner Ružička, Peter ; Prívara, Igor

Lecture notes in computer science, 2005, p.327-336 [Revista revisada por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponible

Citas Citado por
3
Accepting Zeno words without making time stand still
Accepting Zeno words without making time stand still
Material Type:
Acta de Congreso 		Añadir a Mi Portal

Accepting Zeno words without making time stand still

Bérard, Béatrice ; Picaronny, Claudine Ružička, Peter ; Prívara, Igor

Lecture notes in computer science, 2005, p.149-158 [Revista revisada por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponible

Citas Citado por
4
ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs
ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs
Material Type:
Capítulo de Libro 		Añadir a Mi Portal

ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs

Di Pasquale, Adriano ; Nardelli, Enrico Pacholski, Leszek ; Ružička, Peter

Lecture notes in computer science, 2001, p.211-222 [Revista revisada por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponible

Citas Citado por
5
Agreement Problems in Fault-Tolerant Distributed Systems
Agreement Problems in Fault-Tolerant Distributed Systems
Material Type:
Acta de Congreso 		Añadir a Mi Portal

Agreement Problems in Fault-Tolerant Distributed Systems

Charron-Bost, Bernadette Pacholski, Leszek ; Ružička, Peter

Lecture notes in computer science, 2001, p.10-32 [Revista revisada por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponible

Citas Citado por
6
An almost linear Robinson unification algorithm
An almost linear Robinson unification algorithm
Material Type:
Artículo 		Añadir a Mi Portal

An almost linear Robinson unification algorithm

RUZICKA, P ; PRIVARA, I

Acta informatica, 1989-11, Vol.27 (1), p.61-71 [Revista revisada por pares]

Berlin: Springer

Texto completo disponible

Citas Citado por
7
Approximative Learning of Regular Languages
Approximative Learning of Regular Languages
Material Type:
Acta de Congreso 		Añadir a Mi Portal

Approximative Learning of Regular Languages

Fernau, Henning Pacholski, Leszek ; Ružička, Peter

Lecture notes in computer science, 2001, p.223-232 [Revista revisada por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponible

Citas Citado por
8
Biodegradability and Mechanical Properties of Poly(vinyl alcohol)-Based Blend Plastics Prepared Through Extrusion Method
Biodegradability and Mechanical Properties of Poly(vinyl alcohol)-Based Blend Plastics Prepared Through Extrusion Method
Material Type:
Artículo 		Añadir a Mi Portal

Biodegradability and Mechanical Properties of Poly(vinyl alcohol)-Based Blend Plastics Prepared Through Extrusion Method

Kopčilová, Martina ; Hubáčková, Jitka ; Růžička, Jan ; Dvořáčková, Marie ; Julinová, Markéta ; Koutný, Marek ; Tomalová, Miroslava ; Alexy, Pavol ; Bugaj, Peter ; Filip, Jaroslav

Journal of polymers and the environment, 2013-03, Vol.21 (1), p.88-94 [Revista revisada por pares]

Boston: Springer US

Texto completo disponible

Citas Citado por
9
Bounding Lamport’s Bakery Algorithm
Bounding Lamport’s Bakery Algorithm
Material Type:
Acta de Congreso 		Añadir a Mi Portal

Bounding Lamport’s Bakery Algorithm

Jayanti, Prasad ; Tan, King ; Friedland, Gregory ; Katz, Amir Pacholski, Leszek ; Ružička, Peter

Lecture notes in computer science, 2001, p.261-270 [Revista revisada por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponible

Citas Citado por
10
Broadcasting in unlabeled hypercubes with a linear number of messages
Broadcasting in unlabeled hypercubes with a linear number of messages
Material Type:
Artículo 		Añadir a Mi Portal

Broadcasting in unlabeled hypercubes with a linear number of messages

Diks, Krzysztof ; Dobrev, Stefan ; Kranakis, Evangelos ; Pelc, Andrzej ; Ružička, Peter

Information processing letters, 1998-05, Vol.66 (4), p.181-186 [Revista revisada por pares]

Amsterdam: Elsevier B.V

Texto completo disponible

Citas Citado por

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Mostrar solo

  1. Revistas arbitradas (83)

Refinar mis resultados

Tipo de Recurso 

  1. Actas de Congreso  (64)
  2. Capítulos de libro  (11)
  3. Artículos  (8)
  4. Libros  (1)
  5. Más opciones open sub menu

Fecha de Publicación 

De Hasta
Refinar
  1. Antes de1997  (2)
  2. 1997Hasta1999  (47)
  3. 2000Hasta2001  (30)
  4. 2002Hasta2005  (45)
  5. Después de 2005  (4)
  6. Más opciones open sub menu

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora