skip to main content
Refinado por: assunto: Machine Theory remover data de publicação: 1998Até2002 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automata, languages and programming 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, languages and programming 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings

International Colloquium on Automata, Languages and Programming (25th 1998 Aalborg, Denmark) K. G Larsen 1957- (Kim G.); Sven Skyum 1946-; G Winskel

GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-

Berlin Springer London c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1443 ) e outros locais(Acessar)

2
Automata, languages and programming 29th international colloquium, ICALP 2002, Málaga, Spain, July 8-13, 2002 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, languages and programming 29th international colloquium, ICALP 2002, Málaga, Spain, July 8-13, 2002 : proceedings

International Colloquium on Automata, Languages, and Programming (29th 2002 Málaga, Spain) Peter Widmayer

Berlin Springer London c2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2380 ) e outros locais(Acessar)

3
Automata, languages and programming 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, languages and programming 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings

International Colloquium on Automata, Languages, and Programming (27th 2000 Geneva, Switzerland) Emo Welzl; Ugo Montanari; José D. P Rolim

Berlin Springer London c2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1853 ) e outros locais(Acessar)

4
Formal and natural computing essays dedicated to Grzegorz Rozenberg
Material Type:
Livro
Adicionar ao Meu Espaço

Formal and natural computing essays dedicated to Grzegorz Rozenberg

Wilfried Brauer; Grzegorz Rozenberg

Berlin Springer New York c2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2300 ) e outros locais(Acessar)

5
Automata, languages and programming 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, languages and programming 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings

International Colloquium on Automata, Languages, and Programming (28th 2001 Crete, Greece) F Orejas (Fernando); P. G Spirakis 1955- (Paul G.); J. van Leeuwen (Jan)

Berlin Springer New York c2001

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2076 ) e outros locais(Acessar)

6
Automata Implementation: 4th International Workshop on Implementing Automata, WIA’99 Potsdam, Germany, July 17–19, 1999 Revised Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Automata Implementation: 4th International Workshop on Implementing Automata, WIA’99 Potsdam, Germany, July 17–19, 1999 Revised Papers

Boldt, Oliver ; Jürgensen, Helmut Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

7
Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings

Hermanns, Holger ; Segala, Roberto Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science, [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

8
Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings

Alfaro, Luca de ; Gilmore, Stephen Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

9
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings

Gurevich, Yuri ; Kutter, Philipp W ; Odersky, Martin ; Thiele, Lothar Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2000

Texto completo disponível

10
Automata Implementation: Third International Workshop on Implementing Automata, WIA’98 Rouen, France, September 17–19, 1998 Revised Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Automata Implementation: Third International Workshop on Implementing Automata, WIA’98 Rouen, France, September 17–19, 1998 Revised Papers

Champarnaud, Jean-Marc ; Ziadi, Djelloul ; Maurel, Denis Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 1999

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (11)
  2. Artigos  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até

Base de Dados/Biblioteca 

  1. SpringerLink Books - All  (6)
  2. OneFile (GALE)  (1)
  3. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.