Resultados de 1 a 10 de 12 para Busca Geral
Mostrar Somente
Refinado por:
Base de dados/Biblioteca:
SpringerLINK Lecture Notes in Computer Science (2014)
Springer Books
assunto:
System Design
Springer Books
assunto:
System Design
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, ProceedingsAbraham, Erika ; Havelund, KlausBerlin, Heidelberg: Springer Berlin / Heidelberg 2014Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, ProceedingsAlbert, Elvira ; Sekerinski, Emil Albert, Elvira ; Sekerinski, EmilCham: Springer Nature 2014Texto completo disponível |
| 3 |
Material Type: Livro
|
|
Universal access in human-computer interaction.: 9th International Conference, UAHCI 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings (Access to today's technologies)Antona, Margherita ; Stephanidis, ConstantineSpringer 2015Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, ProceedingsBaier, Christel ; Tinelli, CesareBerlin, Heidelberg: Springer Berlin / Heidelberg 2015Texto completo disponível |
| 5 |
Material Type: Livro
|
|
FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, ProceedingsBjorner, Nikolaj ; Boer, Frank de Bjørner, Nikolaj ; de Boer, FrankNetherlands: Springer Nature 2015Texto completo disponível |
| 6 |
Material Type: Livro
|
|
New Horizons in Design Science: Broadening the Research Agenda : 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015, ProceedingsDonnellan, Brian ; Helfert, Markus ; Kenneally, Jim ; VanderMeer, Debra ; Rothenberger, Marcus ; Winter, Robert Donnellan, Brian ; VanderMeer, Debra ; Kenneally, Jim ; Helfert, MarkusNetherlands: Springer Nature 2015Texto completo disponível |
| 7 |
Material Type: Livro
|
|
FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. ProceedingsJones, Cliff ; Pihlajasaari, Pekka ; Sun, Jun Pihlajasaari, Pekka ; Jones, Cliff ; Sun, JunNetherlands: Springer Nature 2014Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, ProceedingsMeyer, Roland ; Platzer, André ; Wehrheim, HeikeCham: Springer International Publishing AG 2015Texto completo disponível |
| 9 |
Material Type: Livro
|
|
Behavior Modeling - Foundations and Applications: International Workshops, BM-FA 2009-2014, Revised Selected PapersRoubtsova, Ella ; McNeile, Ashley ; Kindler, Ekkart ; Gerth, Christian Kindler, Ekkart ; McNeile, Ashley ; Roubtsova, Ella ; Gerth, ChristianCham: Springer Nature 2015Texto completo disponível |
| 10 |
Material Type: Livro
|
|
Advancing the Impact of Design Science: Moving from Theory to Practice : 9th International Conference, DESRIST 2014, Miami, FL, USA, May 22-24, 2014. ProceedingsTremblay, Monica Chiarini ; VanderMeer, Debra ; Rothenberger, Marcus ; Gupta, Ashish ; Yoon, Victoria Tremblay, Monica Chiarini ; Rothenberger, Marcus ; VanderMeer, Debra ; Gupta, AshishNetherlands: Springer Nature 2014Texto completo disponível |
Resultados de 1 a 10 de 12 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- Computer Science (11)
- Software Engineering (10)
- Informatika (9)
- Congresses (8)
- Softwarové Inženýrství (8)
- Computer Software Engineering (8)
- Ebooks Springer Lecture Notes In Computer Science (8)
- Logics And Meanings Of Programs (7)
- Mathematical Logic And Formal Languages (7)
- Computer Science Logic And Foundations Of Programming (6)
- Computers (6)
- Matematická Logika (6)
- Computer Software (6)
- Mathematical Logic (6)
- Informatics (6)
- Computer Logic (6)
- Machine Theory (6)
- Logic Design (6)
- Formal Languages And Automata Theory (6)
-
Mais opções
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science (2015) (12)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (12)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (11)
- Springer Nature - Springer Computer Science eBooks 2015 English International (8)
- Springer Nature - Springer Computer Science eBooks 2014 English International (4)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 