skip to main content
Refinado por: assunto: Machine Theory remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings

Zimmermann, Wolf ; Thalheim, Bernhard Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 2004

Texto completo disponível

2
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

3
Material Type:
Artigo
Adicionar ao Meu Espaço

An abstract programming language and correctness proofs

Liu, Shaoying

Computer Languages, 1993, Vol.18(4), pp.273-282 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
4
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

5
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

6
Automata, languages, and programming 12th colloquium, Nafplion, Greece, July 15-19, 1985
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, languages, and programming 12th colloquium, Nafplion, Greece, July 15-19, 1985

ICALP 85 (1985 Nauplion, Greece) Wilfried Brauer; European Association for Theoretical Computer Science; Ethnikon Metsovion Polytechneion; Universität Hamburg

Berlin New York Springer-Verlag c1985

Localização: EPEL - Esc. Politécnica-Bib Eng Eletr    (004 In8a 12. ) e outros locais(Acessar)

7
Automata, languages and programming 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, languages and programming 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings

International Colloquium on Automata, Languages, and Programming Andrzej Lingas; R Karlsson 1950- (Rolf); Svante Carlsson

Berlin New York Springer-Verlag c1993

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.700 e.1 )(Acessar)

8
Automata, languages, and programming 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, languages, and programming 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings

International Colloquium on Automata, Languages, and Programming (1997 Bologna, Italy) Pierpaolo Degano 1950-; Roberto Gorrieri; Alberto Marchetti-Spaccamela; European Association for Theoretical Computer Science

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

Berlin Springer New York c1997

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

9
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)

10
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)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
  1. Antes de1980  (3)
  2. 1980Até1988  (3)
  3. 1989Até1997  (4)
  4. 1998Até2001  (8)
  5. Após 2001  (9)
  6. Mais opções open sub menu

Base de Dados/Biblioteca 

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

Idioma 

  1. Inglês  (25)
  2. Francês  (1)
  3. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.