skip to main content
Idioma:
Refinado por: Base de dados/Biblioteca: SpringerLINK Lecture Notes in Computer Science (2015) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automata, Languages and Programming: Fourth Colloquium, University of Turku, Finland July 18–22, 1977
Automata, Languages and Programming: Fourth Colloquium, University of Turku, Finland July 18–22, 1977
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, Languages and Programming: Fourth Colloquium, University of Turku, Finland July 18–22, 1977

Salomaa, Arto ; Steinby, Magnus Steinby, Magnus ; Salomaa, Arto

Berlin, Heidelberg: Springer Berlin Heidelberg 1977

Texto completo disponível

Citações Citado por
2
Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980
Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980

Bakker, Jaco de ; Leeuwen, Jan van de Bakker, Jaco ; van Leeuwen, Jan

Berlin, Heidelberg: Springer Berlin Heidelberg 1980

Texto completo disponível

Citações Citado por
3
Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers
Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers

Watson, Bruce ; Wood, Derick Wood, Derick ; Watson, Bruce W.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
4
Automata Implementation: Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers
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 ; Maurel, Denis ; Ziadi, Djelloul Ziadi, Djelloul ; Maurel, Denis ; Champarnaud, Jean-Marc

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
5
Grammatical Inference: Algorithms and Applications: 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000. Proceedings
Grammatical Inference: Algorithms and Applications: 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Grammatical Inference: Algorithms and Applications: 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000. Proceedings

Oliveira, Arlindo L Oliveira, Arlindo L.

Berlin, Heidelberg: Springer Berlin Heidelberg 2000

Texto completo disponível

Citações Citado por
6
Natural Language Processing - NLP 2000: Second International Conference Patras, Greece, June 2-4, 2000 Proceedings
Natural Language Processing - NLP 2000: Second International Conference Patras, Greece, June 2-4, 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Natural Language Processing - NLP 2000: Second International Conference Patras, Greece, June 2-4, 2000 Proceedings

Christodoulakis, Dimitris N Christodoulakis, Dimitris N.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
7
Grammatical Inference: Algorithms and Applications: 6th International Colloquium, ICGI 2002 Amsterdam, The Netherlands, September 23–25, 2002 Proceedings
Grammatical Inference: Algorithms and Applications: 6th International Colloquium, ICGI 2002 Amsterdam, The Netherlands, September 23–25, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Grammatical Inference: Algorithms and Applications: 6th International Colloquium, ICGI 2002 Amsterdam, The Netherlands, September 23–25, 2002 Proceedings

Adriaans, Pieter ; Fernau, Henning ; Zaanen, Menno van Adriaans, Pieter ; van Zaanen, Menno ; Fernau, Henning

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Citações Citado por
8
Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings
Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings

Comon, Hubert Comon, Hubert

Berlin, Heidelberg: Springer Berlin Heidelberg 1997

Texto completo disponível

Citações Citado por
9
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Bertot, Yves ; Dowek, Gilles ; Théry, Laurent ; Hirschowitz, André ; Paulin, Christine Hirschowitz, André ; Théry, Laurent ; Paulin, Christine ; Bertot, Yves ; Dowek, Gilles

Berlin, Heidelberg: Springer Berlin Heidelberg 1999

Texto completo disponível

Citações Citado por

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.