Resultados de 1 a 10 de 87 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)
Base de dados/Biblioteca:
SpringerLink Fully Open Access Books
Base de dados/Biblioteca:
SpringerLink Fully Open Access Books
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part IWeirich, Stephanie Weirich, StephanieCham: Springer Nature 2024Sem texto completo |
| 2 |
Material Type: Livro
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part IIIFinkbeiner, Bernd ; Kovács, Laura Finkbeiner, Bernd ; Kovács, LauraCham: Springer Nature 2024Sem texto completo |
| 3 |
Material Type: Livro
|
|
Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part IKobayashi, Naoki ; Worrell, James Kobayashi, Naoki ; Worrell, JamesCham: Springer Nature 2024Sem texto completo |
| 4 |
Material Type: Livro
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIFinkbeiner, Bernd ; Kovács, LauraCham: Springer International Publishing AG 2024Sem texto completo |
| 5 |
Material Type: Livro
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part IFinkbeiner, Bernd ; Kovács, Laura Finkbeiner, Bernd ; Kovács, LauraCham: Springer Nature 2024Sem texto completo |
| 6 |
Material Type: Livro
|
|
Computational Science – ICCS 2022: 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part IIIGroen, Derek ; de Mulatier, Clélia ; Paszynski, Maciej ; Krzhizhanovskaya, Valeria V ; Dongarra, Jack J ; Sloot, Peter M. A Groen, Derek ; Sloot, Peter M. A ; Dongarra, Jack J ; Krzhizhanovskaya, Valeria V ; Paszynski, Maciej ; de Mulatier, Clélia ; Groen, Derek ; Paszynski, Maciej ; Sloot, Peter M. A. ; Dongarra, Jack J. ; Krzhizhanovskaya, Valeria V. ; de Mulatier, CléliaCham: Springer Nature 2022Sem texto completo |
| 7 |
Material Type: Livro
|
|
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part IIWeirich, Stephanie Weirich, StephanieCham: Springer Nature 2024Sem texto completo |
| 8 |
Material Type: Livro
|
|
Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, ProceedingsBeyer, Dirk ; Cavalcanti, Ana Cavalcanti, Ana ; Beyer, DirkCham: Springer Nature 2024Sem texto completo |
| 9 |
Material Type: Livro
|
|
Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part IIKobayashi, Naoki ; Worrell, James Kobayashi, Naoki ; Worrell, JamesCham: Springer Nature 2024Sem texto completo |
| 10 |
Material Type: Livro
|
|
Electronic Voting: 7th International Joint Conference, E-Vote-ID 2022, Bregenz, Austria, October 4–7, 2022, ProceedingsKrimmer, Robert ; Volkamer, Melanie ; Duenas-Cid, David ; Rønne, Peter ; Germann, Micha Germann, Micha ; Volkamer, Melanie ; Duenas-Cid, David ; Rønne, Peter ; Krimmer, RobertCham: Springer Nature 2022Texto completo disponível |
Resultados de 1 a 10 de 87 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 (72)
- Library & Information Science (49)
- Software Engineering (49)
- Elektronisches Buch (49)
- E-Book (49)
- Artificial Intelligence (48)
- Electronic Data Processing (48)
- Computers (47)
- Computer Software (43)
- Computer Networks (42)
- Book Industry Communication (40)
- Computer Systems (37)
- Computer Programming, Programs, Data (36)
- Congresses (35)
- Verification (35)
- Thema Editeur (35)
- Computing & Information Technology (32)
- Computer Programming (31)
- Machine Theory (31)
- Cyberinfrastructure (30)
-
Mais opções
Data de Publicação
- Antes de2014 (6)
- 2014Até2015 (3)
- 2016Até2017 (14)
- 2018Até2020 (48)
- Após 2020 (23)
-
Mais opções
Base de Dados/Biblioteca
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (87)
- Springer Books (87)
- OAPEN (86)
- DOAB: Directory of Open Access Books (82)
- Springer Nature OA Free Journals (60)
- Lecture Notes in Computer Science Archive (through to 1996) (44)
- Springer Nature - Springer Computer Science eBooks 2012 English International (7)
- SpringerLINK Lecture Notes in Computer Science (2012) (7)
- Springer Nature - Springer Computer Science eBooks 2016 English International (3)
- SpringerLINK Lecture Notes in Computer Science (2016) (3)
- Springer Nature - Springer Computer Science eBooks 2014 English International (2)
- NCBI Bookshelf (2)
- SpringerLINK Lecture Notes in Computer Science (2014) (1)
- Springer Nature - Springer Computer Science eBooks 2011 English International (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 