Resultados de 1 a 10 de 440 para Busca Geral
Mostrar Somente
| 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
|
|
Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010Aichernig, Bernhard K ; de Boer, Frank S ; Bonsangue, Marcello M de Boer, Frank S ; Aichernig, Bernhard K ; Bonsangue, Marcello MNetherlands: Springer Nature 2011Texto completo disponível |
| 3 |
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 |
| 4 |
Material Type: Livro
|
|
COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, ItalyAngeli, Antonella De ; Bannon, Liam ; Marti, Patrizia ; Bordin, Silvia Marti, Patrizia ; Bordin, Silvia ; De Angeli, Antonella ; Bannon, LiamCham: Springer International Publishing 2016Texto completo disponível |
| 5 |
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 |
| 6 |
Material Type: Livro
|
|
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. ProceedingsAraki, Keijiro ; Gnesi, Stefania ; Mandrioli, Dino Gnesi, Stefania ; Araki, Keijiro ; Mandrioli, DinoBerlin, Heidelberg: Springer Berlin Heidelberg 2003Texto completo disponível |
| 7 |
Material Type: Livro
|
|
System-on-Chip Methodologies & Design LanguagesAshenden, Peter J ; Mermet, Jean P ; Seepold, RalfBoston, MA: Springer US 2001Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Algebraic Foundations of Systems SpecificationAstesiano, Egidio ; Kreowski, Hans-Jorg ; Krieg-Bruckner, BerndSpringer 2012Texto completo disponível |
| 9 |
Material Type: Livro
|
|
Algebraic Foundations of Systems SpecificationAstesiano, Egidio ; Kreowski, Hans-Jörg ; Krieg-Brückner, Bernd Astesiano, Egidio ; Krieg-Brückner, Bernd ; Kreowski, Hans-JörgBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
| 10 |
Material Type: Livro
|
|
Algorithm Design for Computer System DesignAusiello, Giorgio ; Lucertini, M ; Serafini, P Ausiello, G. ; Lucertini, M. ; Serafini, P.Vienna: Springer Wien 1984Texto completo disponível |
Resultados de 1 a 10 de 440 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Tipo de Recurso
- Livros (389)
- Book Chapters (37)
- Anais de Congresso (14)
-
Mais opções
Assunto
- Computer Science (269)
- Software Engineering (174)
- Computers (153)
- Computer Software (132)
- Congresses (125)
- Engineering (115)
- Diseño De Sistemas (87)
- Conception De Systèmes (86)
- Electronic Data Processing (82)
- System Analysis (82)
- Theory Of Computation (77)
- Information Theory (73)
- Data Processing (73)
- Software Engineering/programming And Operating Systems (71)
- Management Information Systems (67)
- Logics And Meanings Of Programs (63)
- Logic Design (60)
- Systems Engineering (59)
- Computer Networks (57)
-
Mais opções
Data de Publicação
- Antes de1987 (23)
- 1987Até1995 (46)
- 1996Até2004 (194)
- 2005Até2014 (254)
- Após 2014 (65)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books Online Archive (283)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (202)
- SpringerLink Books Lecture Notes in Computer Science Archive (177)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (122)
- SpringerLINK Lecture Notes in Computer Science (2015) (116)
- SpringerLink Fully Open Access Books (30)
- DOAB: Directory of Open Access Books (30)
- OAPEN (30)
- Springer Nature - Springer Computer Science eBooks 2012 English International (27)
- SpringerOpen (22)
- Springer Nature - Springer Computer Science eBooks 2013 English International (19)
- Gale eBooks (17)
- Springer Nature - Springer Computer Science eBooks 2014 English International (16)
- Springer Nature - Springer Computer Science eBooks 2011 English International (15)
- Springer Nature - Springer Computer Science eBooks 2015 English International (14)
- SpringerLINK Lecture Notes in Computer Science (2012) (13)
- SpringerLINK Lecture Notes in Computer Science (2014) (12)
- Springer Nature - Springer Computer Science eBooks 2016 English International (9)
- SpringerLINK Lecture Notes in Computer Science (2013) (7)
-
Mais opções
Idioma
- Inglês (439)
- Alemão (7)
- Francês (1)
- Japonês (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 