Resultados de 1 a 10 de 20.237 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
- Recursos Online (6.685)
- Revistas revisadas por pares (2.010)
Refinado por:
Base de dados/Biblioteca:
Springer Books
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
An Introduction to Programming Languages: Simultaneous Learning in Multiple Coding EnvironmentsGagniuc, Paul A.Cham: Springer International Publishing 2023Sem texto completo |
| 2 |
Material Type: Livro
|
|
Static Analysis: 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, ProceedingsSingh, Gagandeep ; Urban, Caterina Urban, Caterina ; Singh, GagandeepCham: Springer 2022Sem texto completo |
| 3 |
Material Type: Livro
|
|
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, ProceedingsPodelski, Andreas Podelski, Andreas ; Podelski, AndreasCham: Springer Nature 2018Sem texto completo |
| 4 |
Material Type: Livro
|
|
Inductive Logic Programming: 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, ProceedingsRiguzzi, Fabrizio ; Bellodi, Elena ; Zese, Riccardo Riguzzi, Fabrizio ; Bellodi, Elena ; Zese, Riccardo ; Zese, Riccardo ; Riguzzi, Fabrizio ; Bellodi, ElenaCham: Springer Nature 2018Sem texto completo |
| 5 |
Material Type: Livro
|
|
Inductive Logic Programming: 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected PapersLachiche, Nicolas ; Vrain, Christel Vrain, Christel ; Lachiche, NicolasCham: Springer International Publishing AG 2018Sem texto completo |
| 6 |
Material Type: Livro
|
|
Product-Focused Software Process Improvement: 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, ProceedingsKuhrmann, Marco ; Schneider, Kurt ; Pfahl, Dietmar ; Amasaki, Sousuke ; Ciolkowski, Marcus ; Hebig, Regina ; Tell, Paolo ; Klünder, Jil ; Küpper, Steffen Schneider, Kurt ; Pfahl, Dietmar ; Amasaki, Sousuke ; Kuhrmann, Marco ; Küpper, Steffen ; Schneider, Kurt ; Ciolkowski, Marcus ; Tell, Paolo ; Hebig, Regina ; Amasaki, Sousuke ; Kuhrmann, Marco ; Pfahl, Dietmar ; Klünder, JilCham: Springer Nature 2018Sem texto completo |
| 7 |
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 |
| 8 |
Material Type: Livro
|
|
Mathematical Software - ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, ProceedingsDavenport, James H ; Kauers, Manuel ; Labahn, George ; Urban, Josef Labahn, George ; Davenport, James H ; Urban, Josef ; Kauers, Manuel ; Davenport, James H. ; Kauers, Manuel ; Labahn, George ; Urban, JosefCham: Springer Nature 2018Sem texto completo |
| 9 |
Material Type: Livro
|
|
Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected PapersDastani, Mehdi ; Sirjani, Marjan Dastani, Mehdi ; Sirjani, Marjan ; Dastani, Mehdi ; Sirjani, MarjanCham: Springer Nature 2017Sem texto completo |
| 10 |
Material Type: Livro
|
|
Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, ProceedingsCiucci, Davide ; Pasi, Gabriella ; Vantaggi, Barbara Ciucci, Davide ; Vantaggi, Barbara ; Pasi, Gabriella ; Ciucci, Davide ; Pasi, Gabriella ; Vantaggi, BarbaraCham: Springer Nature 2018Sem texto completo |
Resultados de 1 a 10 de 20.237 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
- Recursos Online (6.685)
- Revistas revisadas por pares (2.010)
Refinar Meus Resultados
Tipo de Recurso
- Book Chapters (11.530)
- Livros (8.188)
- Anais de Congresso (484)
- Verbetes (19)
- Recursos Textuais (8)
- Artigos (7)
- Dissertações (1)
-
Mais opções
Assunto
- Programming & Scripting Languages: General (10.651)
- Software Engineering (9.309)
- Computer Science (8.849)
- Programming Languages (4.749)
- Computer Programming / Software Development (4.569)
- Programming Languages, Compilers, Interpreters (4.332)
- Computers (3.806)
- Computer Programming (3.302)
- Programming Techniques (2.845)
- Electronic Data Processing (2.841)
- Programming (2.601)
- Congresses (2.511)
- Software Engineering/programming And Operating Systems (2.507)
- Compilers (2.425)
- Artificial Intelligence (2.134)
- Informatique (1.976)
- Computer Software (1.966)
- Machine Theory (1.936)
- Computer Software Engineering (1.924)
- Logics And Meanings Of Programs (1.912)
-
Mais opções
Data de Publicação
- Antes de1976 (46)
- 1976Até1987 (368)
- 1988Até1999 (1.218)
- 2000Até2012 (8.673)
- Após 2012 (11.667)
-
Mais opções
Base de Dados/Biblioteca
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (5.926)
- SpringerLINK Lecture Notes in Computer Science (2015) (5.734)
- SpringerLink_回溯丛书_Lecture Notes in Computer Science Archive（NSTL购买） (3.943)
- Springer Books Online Archive (3.309)
- SpringerLink Books Lecture Notes in Computer Science Archive (2.196)
- Springer Nature - Springer Computer Science eBooks 2015 English International (1.230)
- SpringerLINK Lecture Notes in Computer Science (2014) (1.048)
- Springer Nature - Springer Computer Science eBooks 2016 English International (650)
- Springer Nature - Springer Computer Science eBooks 2014 English International (591)
- SpringerLINK Lecture Notes in Computer Science (2016) (555)
- Gale eBooks (428)
- Springer Nature - Springer Computer Science eBooks 2011 English International (362)
- Springer Nature - Springer Computer Science eBooks 2012 English International (345)
- Springer Nature - Springer Computer Science eBooks 2013 English International (285)
- ACM Digital Library Complete (262)
- SpringerLINK Lecture Notes in Computer Science (2012) (220)
- SpringerLINK Lecture Notes in Computer Science (2013) (171)
- Science Citation Index Expanded (Web of Science) (157)
- OAPEN (101)
-
Mais opções
Idioma
- Inglês (19.103)
- Alemão (1.547)
- Japonês (38)
- Francês (3)
-
Mais opções
Nome da Publicação
- Genedis 2016 (1)
- Advances In Experimental Medicine And Biology (1)
- Genedis 2016: Geriatrics (1)
- Artificial Intelligence: Methodology, Systems, And Applications (1)
- Artificial Intelligence: Methodology, Systems And Applications, Proceedings (1)
- Lecture Notes In Computer Science (1)
- History Of Modern Biotechnology Ii (1)
- Advances In Biochemical Engineering, Biotechnology (1)
- Artificial Intelligence (1)
- Foundations And Trends In Smart Learning Proceedings Of 2019 International Conference On Smart Learning Environments (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 