Resultados de 1 a 10 de 432 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 (2015)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Mathematical Foundations of Computer Science 1976: Proceedings, 5th Symposium, Gdańsk, September 6–10, 1976Mazurkiewicz, Antoni Mazurkiewicz, AntoniBerlin, Heidelberg: Springer Berlin Heidelberg 1976Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Automata, Languages and Programming: 14th International Colloquium Karlsruhe, Federal Republic of Germany, July 13–17, 1987 ProceedingsOttmann, Thomas Ottmann, ThomasBerlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
| 3 |
Material Type: Livro
|
|
Mathematical Foundations of Computer Science: 3rd Symposium at Jadwisin near Warsaw, June 17–22, 1974Blikle, A Blikle, A.Berlin, Heidelberg: Springer Berlin Heidelberg 1975Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Mathematical Foundations of Computer Science 1977: Proceedings, 6th Symposium, Tatranská Lomnica September 5–9, 1977Gruska, Jozef Gruska, JozefBerlin, Heidelberg: Springer Berlin Heidelberg 1977Texto completo disponível |
| 5 |
Material Type: Livro
|
|
Automata, Languages and Programming: 15th International Colloquium Tampere, Finland, July 11–15, 1988 ProceedingsLepistö, Timo ; Salomaa, Arto Salomaa, Arto ; Lepistö, TimoBerlin, Heidelberg: Springer Berlin Heidelberg 1988Texto completo disponível |
| 6 |
Material Type: Livro
|
|
Automata, Languages and Programming: 12th Colloquium Nafplion, Greece, July 15–19, 1985Brauer, Wilfried Brauer, WilfriedBerlin, Heidelberg: Springer Berlin Heidelberg 1985Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Search Based Software Engineering: 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, ProceedingsSarro, Federica ; Deb, Kalyanmoy Sarro, Federica ; Deb, Kalyanmoy ; Deb, Kalyanmoy ; Sarro, FedericaCham: Springer Nature 2016Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, ProceedingsCastor, Fernando ; Liu, Yu David Liu, Yu David ; Castor, FernandoCham: Springer International Publishing AG 2016Texto completo disponível |
| 9 |
Material Type: Livro
|
|
Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983Diaz, Josep Diaz, JosepBerlin, Heidelberg: Springer Berlin Heidelberg 1983Texto completo disponível |
| 10 |
Material Type: Livro
|
|
NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, ProceedingsRayadurgam, Sanjai ; Tkachuk, Oksana Tkachuk, Oksana ; Rayadurgam, Sanjai ; Tkachuk, Oksana ; Rayadurgam, SanjaiCham: Springer Nature 2016Texto completo disponível |
Resultados de 1 a 10 de 432 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
Refinar Meus Resultados
Assunto
- Computer Programming (423)
- Computer Science (414)
- Computers (412)
- Programming Techniques (406)
- Electronic Digital Computers (405)
- Electronic Data Processing (404)
- Electronic Computer Programming (402)
- Congresses (354)
- Software Engineering (297)
- Computer Software Engineering (280)
- Programming Languages (266)
- Programming Languages, Compilers, Interpreters (247)
- Compilers (221)
- Logics And Meanings Of Programs (202)
- Electronic Brains (199)
- Computer Programming Languages (196)
- Computer Languages (196)
- Computer Program Languages (196)
- Computer Logic (196)
-
Mais opções
Data de Publicação
- Antes de1983 (9)
- 1983Até1989 (42)
- 1990Até1996 (55)
- 1997Até2006 (169)
- Após 2006 (247)
-
Mais opções
Base de Dados/Biblioteca
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (432)
- Springer Books (432)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (382)
- SpringerLink Books Lecture Notes in Computer Science Archive (213)
- Springer Books Online Archive (213)
- SpringerLINK Lecture Notes in Computer Science (2012) (70)
- Springer Nature - Springer Computer Science eBooks 2012 English International (70)
- SpringerLINK Lecture Notes in Computer Science (2014) (66)
- SpringerLINK Lecture Notes in Computer Science (2013) (43)
- Springer Nature - Springer Computer Science eBooks 2013 English International (43)
- Springer Nature - Springer Computer Science eBooks 2015 English International (38)
- Springer Nature - Springer Computer Science eBooks 2014 English International (32)
- Springer Nature - Springer Computer Science eBooks 2016 English International (32)
- SpringerLINK Lecture Notes in Computer Science (2016) (32)
- ACM Digital Library Complete (11)
- IngentaConnect Journals (6)
- SpringerLink Fully Open Access Books (3)
- SpringerOpen (3)
- OAPEN (3)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 