skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
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
11
Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Leucker, Martin ; Rueda, Camilo ; Valencia, Frank D Rueda, Camilo ; Leucker, Martin ; Valencia, Frank D ; Rueda, Camilo ; Valencia, Frank D. ; Leucker, Martin

Cham: Springer Nature 2015

Texto completo disponível

Citações Citado por
12
Inductive Logic Programming: 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers
Inductive Logic Programming: 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Inductive Logic Programming: 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

Inoue, Katsumi ; Ohwada, Hayato ; Yamamoto, Akihiro Ohwada, Hayato ; Yamamoto, Akihiro ; Inoue, Katsumi ; Inoue, Katsumi ; Yamamoto, Akihiro ; Ohwada, Hayato

Cham: Springer Nature 2016

Texto completo disponível

Citações Citado por
13
Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Lafuente, Alberto Lluch ; Proenca, Jose Lluch Lafuente, Alberto ; Proen'a, Jos' ; Lluch Lafuente, Alberto ; Proença, José

Netherlands: Springer Nature 2016

Texto completo disponível

Citações Citado por
14
Foundations of Software Technology and Theoretical Computer Science: 11th Conference, New Delhi, India December 17–19, 1991 Proceedings
Foundations of Software Technology and Theoretical Computer Science: 11th Conference, New Delhi, India December 17–19, 1991 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of Software Technology and Theoretical Computer Science: 11th Conference, New Delhi, India December 17–19, 1991 Proceedings

Biswas, Somenath ; Nori, Kesav V Biswas, Somenath ; Nori, Kesav V.

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponível

Citações Citado por
15
Automata, Languages and Programming: 19th International Colloquium Wien, Austria, July 13–17, 1992 Proceedings
Automata, Languages and Programming: 19th International Colloquium Wien, Austria, July 13–17, 1992 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, Languages and Programming: 19th International Colloquium Wien, Austria, July 13–17, 1992 Proceedings

Kuich, W Kuich, W.

Berlin, Heidelberg: Springer Berlin Heidelberg 1992

Texto completo disponível

Citações Citado por
16
Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings
Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings

Hsiang, Jieh Hsiang, Jieh

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
17
Theory of Computing and Systems: ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings
Theory of Computing and Systems: ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory of Computing and Systems: ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings

Dolev, D ; Galil, Z ; Rodeh, M Rodeh, M. ; Dolev, D. ; Galil, Z.

Berlin, Heidelberg: Springer Berlin Heidelberg 1992

Texto completo disponível

Citações Citado por
18
Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings
Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings

Larsen, Kim G ; Skou, Arne Larsen, Kim G. ; Skou, Arne

Berlin, Heidelberg: Springer Berlin Heidelberg 1992

Texto completo disponível

Citações Citado por
19
Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings
Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings

Brookes, Stephen ; Main, Michael ; Melton, Austin ; Mislove, Michael ; Schmidt, David Melton, Austin ; Brookes, Stephen ; Main, Michael ; Mislove, Michael ; Schmidt, David

Berlin, Heidelberg: Springer Berlin Heidelberg 1992

Texto completo disponível

Citações Citado por
20
Application and Theory of Petri Nets 1996: 17th International Conference Osaka, Japan, June 24–28, 1996 Proceedings
Application and Theory of Petri Nets 1996: 17th International Conference Osaka, Japan, June 24–28, 1996 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Application and Theory of Petri Nets 1996: 17th International Conference Osaka, Japan, June 24–28, 1996 Proceedings

Billington, Jonathan ; Reisig, Wolfgang Reisig, Wolfgang ; Billington, Jonathan

Berlin, Heidelberg: Springer Berlin Heidelberg 1996

Texto completo disponível

Citações Citado por
previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (9.663)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (4.819)
  2. Book Chapters  (3.790)
  3. Livros  (2.451)
  4. Artigos  (127)
  5. Recursos Textuais  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1985  (77)
  2. 1985Até1993  (543)
  3. 1994Até2002  (3.404)
  4. 2003Até2013  (4.050)
  5. Após 2013  (3.895)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (182)
  2. Russo  (1)
  3. Alemão  (1)
  4. Espanhol  (1)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.