Resultados de 1 a 10 de 93 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
Base de dados/Biblioteca:
SpringerLINK Lecture Notes in Computer Science (2012)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Network and Parallel Computing: 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, ProceedingsPark, James J ; Zomaya, Albert Y ; Yeo, Sang-Soo ; Sahni, Sartaj Zomaya, Albert Y ; Sahni, Sartaj ; Yeo, Sang-Soo ; Park, James J ; Zomaya, Albert ; Sahni, Sartaj ; Yeo, Sang-Soo ; Park, James J.Berlin, Heidelberg: Springer Nature 2012Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 ProceedingsHussmann, Heinrich Hussmann, HeinrichBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
| 3 |
Material Type: Livro
|
|
New directions in logic, language and computation: ESSLLl 2010 and ESSLLI 2011 : student sessions : selected papersLassiter, Daniel ; Slavkovik, MarijaSpringer 2012Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Programming Languages: 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedingsde Carvalho Junior, Francisco Heron ; Barbosa, Luis SoaresBerlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 5 |
Material Type: Livro
|
|
Lectures on Logic and Computation: ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture NotesBezhanishvili, Nick ; Goranko, Valentin Goranko, Valentin ; Bezhanishvili, NickNetherlands: Springer Nature 2012Texto completo disponível |
| 6 |
Material Type: Livro
|
|
Central European Functional Programming School: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected PapersZsók, Viktória ; Horváth, Zoltán ; Plasmeijer, Rinus Plasmeijer, Rinus ; Horváth, Zoltán ; Zsók, ViktóriaNetherlands: Springer Nature 2012Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Programming Languages: 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedingsde Carvalho Junior, Francisco Heron ; Barbosa, Luis Soares de Carvalho Junior, Francisco Heron ; Barbosa, Luis SoaresNetherlands: Springer Nature 2013Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, ProceedingsAoki, Toshiaki ; Taguchi, Kenji Taguchi, Kenji ; Aoki, ToshiakiNetherlands: Springer Nature 2012Texto completo disponível |
| 9 |
Material Type: Livro
|
|
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected PapersArbab, Farhad ; Ölveczky, Peter Csaba Arbab, Farhad ; lveczky, Peter CsabaNetherlands: Springer Nature 2012Texto completo disponível |
| 10 |
Material Type: Livro
|
|
Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, ProceedingsJhala, Ranjit ; Igarashi, Atsushi Igarashi, Atsushi ; Jhala, RanjitNetherlands: Springer Nature 2012Texto completo disponível |
Resultados de 1 a 10 de 93 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- Computer Science (87)
- Programming Languages, Compilers, Interpreters (87)
- Congresses (84)
- Software Engineering (82)
- Electronic Data Processing (79)
- Engineering (76)
- Computer Software Engineering (76)
- Compilers (74)
- Computer Logic (72)
- Logics And Meanings Of Programs (71)
- Informatika (70)
- Informatique (70)
- Computer Programming, Programs, Data (68)
- Programovací Jazyky (65)
- Logic, Symbolic And Mathematical (62)
- Softwarové Inženýrství (62)
- Machine Theory (60)
- Logic Design (59)
- Computers (58)
-
Mais opções
Data de Publicação
- Antes de2003 (1)
- 2003Até2010 (1)
- 2011Até2011 (4)
- 2012Até2013 (93)
- Após 2013 (8)
-
Mais opções
Base de Dados/Biblioteca
- Springer Nature - Springer Computer Science eBooks 2012 English International (93)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (93)
- Springer Books (93)
- SpringerLINK Lecture Notes in Computer Science (2015) (93)
- Lecture Notes in Computer Science Archive (through to 1996) (54)
- ACM Digital Library Complete (5)
- SpringerLink Books Lecture Notes in Computer Science Archive (1)
- Springer Books Online Archive (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 