1 - 10 de 90 para null
Mostrar Somente
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, ProceedingsGribaudo, Marco ; Jansen, David N ; Remke, Anne Gribaudo, Marco ; Jansen, David N ; Remke, AnneNetherlands: Springer Nature 2020Sem texto completo |
| 2 |
Material Type: Livro
|
|
Reliability and Risk Assessment in Engineering: Proceedings of INCRS 2018Gupta, Vijay Kumar ; Varde, Prabhakar V ; Kankar, P. K ; Joshi, NarendraSingapore: Springer Singapore Pte. Limited 2020Sem texto completo |
| 3 |
Material Type: Livro
|
|
Reliability, Safety and Hazard Assessment for Risk-Based Technologies: Proceedings of ICRESH 2019Varde, Prabhakar V ; Prakash, Raghu V ; Vinod, GopikaSingapore: Springer Singapore Pte. Limited 2019Sem texto completo |
| 4 |
Material Type: Livro
|
|
Quantitative Evaluation of Systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, ProceedingsCampos, Javier ; Haverkort, Boudewijn R Campos, Javier ; Haverkort, Boudewijn RNetherlands: Springer Nature 2015Texto completo disponível |
| 5 |
Material Type: Livro
|
|
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, ProceedingsLluch Lafuente, Alberto ; Mavridou, Anastasia Lluch Lafuente, Alberto ; Mavridou, AnastasiaNetherlands: Springer Nature 2021Sem texto completo |
| 6 |
Material Type: Livro
|
|
Computer Safety, Reliability, and Security: 19th International Conference, SAFECOMP 2000, Rotterdam, the Netherlands, October 24-27, 2000 ProceedingsKoornneef, Floor ; Meulen, Meine van der Koornneef, Floor ; van der Meulen, MeineBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, ProceedingsHeisel, Maritta ; Liggesmeyer, Peter ; Wittmann, Stefan Liggesmeyer, Peter ; Wittmann, Stefan ; Heisel, MarittaBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Computer Performance Evaluation: Modelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 ProceedingsField, Tony ; Harrison, Peter G ; Bradley, Jeremy ; Harder, Uli Bradley, Jeremy ; Harder, Uli ; Field, Tony ; Harrison, Peter G.Berlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
| 9 |
Material Type: Livro
|
|
Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, ProceedingsAbate, Alessandro ; Marin, Andrea Marin, Andrea ; Abate, AlessandroNetherlands: Springer Nature 2021Sem texto completo |
| 10 |
Material Type: Livro
|
|
Quality of Service in the Emerging Networking Panorama: Fifth International Workshop on Quality of Future Internet Services, QofIS 2004 and First Workshop on Quality of Service Routing WQoSR 2004 and Fourth International Workshop on Internet Charging and QoS Technology, ICQT 2004, Barcelona, Catalonia, Spain, September 29 - October 1, 2004. ProceedingsSolé-Pareta, Josep ; Smirnov, Michael ; Mieghem, Piet Van ; Domingo-Pascual, Jordi ; Monteiro, Edmundo ; Reichl, Peter ; Stiller, Burkhard ; Gibbens, Richard J Domingo-Pascual, Jordi ; Stiller, Burkhard ; Smirnov, Michael ; Gibbens, Richard J. ; Van Mieghem, Piet ; Solé-Pareta, Josep ; Monteiro, Edmundo ; Reichl, PeterBerlin, Heidelberg: Springer Berlin Heidelberg 2004Texto completo disponível |
1 - 10 de 90 para null
Personalize Seus Resultados
Refine Search Results
Mostrar Somente
Refinar Meus Resultados
Assunto
- Computer Science (85)
- Congresses (84)
- Software Engineering (73)
- Computer Software Engineering (56)
- Computer Networks (55)
- Engineering (55)
- Computer Software (52)
- Electronic Digital Computers (51)
- Electronic Data Processing (49)
- Computer Systems (47)
- Logics And Meanings Of Programs (45)
- Informatika (44)
- Computer Logic (43)
- Logiciels (42)
- Logic Design (41)
- Softwarové Inženýrství (40)
- Computer Programming, Programs, Data (40)
-
Mais opções
Data de Publicação
- Antes de2003 (4)
- 2003Até2006 (21)
- 2007Até2010 (22)
- 2011Até2015 (35)
- Após 2015 (29)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books (90)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (78)
- SpringerLINK Lecture Notes in Computer Science (2015) (75)
- SpringerLINK Lecture Notes in Computer Science (63)
- SpringerLINK Lecture Notes in Computer Science (2014) (11)
- SpringerLink Books Lecture Notes in Computer Science Archive (8)
- Springer Nature - Springer Computer Science eBooks 2016 English International (8)
- SpringerLINK Lecture Notes in Computer Science (2016) (8)
- Springer Books Online Archive (8)
- Springer Nature - Springer Computer Science eBooks 2011 English International (6)
- Springer Nature - Springer Computer Science eBooks 2015 English International (6)
- Springer Nature - Springer Computer Science eBooks 2012 English International (5)
- Springer Nature - Springer Computer Science eBooks 2014 English International (5)
- IngentaConnect Journals (4)
- SpringerLINK Lecture Notes in Computer Science (2012) (4)
- SpringerLINK Lecture Notes in Computer Science (2013) (4)
- Springer Nature - Springer Computer Science eBooks 2013 English International (4)
- ACM Digital Library Complete (3)
- Gale eBooks (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 