Refinar su búsqueda
Disponibilidad
-
Autores
- Alpuente, Marȡa
- Arbab, Farhad
- AȖmann, Uwe
- Baldoni, Matteo
- Barthe, Gilles
- Beckert, Bernhard
- Bernardo, Marco
- Boer, Frank S.
- Bonsangue, Marcello M.
- Dix, Jȭrgen
- Fiadeiro, JosȨ Luiz
- Governatori, Guido
- Leite, Joo
- Liu, Zhiming
- Reussner, Ralf
- SpringerLink (Online service)
- Stafford, Judith A.
- Voronkov, Andrei
- Woodcock, Jim
- Zavattaro, Gianluigi
- Mostrar más
- Mostrar menos
-
Tipos de ítem
-
Series
- Communications in Computer and Information Science
- IFIP Advances in Information and Communication Technology
- Intelligent Systems, Control and Automation: Science and Engineering
- Lecture Notes Electrical Engineering
- Lecture Notes in Business Information Processing
- Lecture Notes in Computer Science
- Lecture Notes in Electrical Engineering
- Monographs in Computer Science
- Monographs in Theoretical Computer Science An EATCS Series
- Monographs in Theoretical Computer Science, An EATCS Series
- Monographs in Theoretical Computer Science. An EATCS Series
- Springer Series in Advanced Microelectronics
- SpringerBriefs in Electrical and Computer Engineering
- Studies in Computational Intelligence
- Texts in Computer Science
- Texts in Theoretical Computer Science An EATC Series
- Texts in Theoretical Computer Science An EATCS Series
- Texts in Theoretical Computer Science an EATCS Series
- Texts in Theoretical Computer Science, An EATCS Series
- Undergraduate Topics in Computer Science
- Mostrar más
- Mostrar menos
-
Temas
- Algorithm Analysis and Problem Complexity
- Artificial Intelligence (incl. Robotics)
- Artificial intelligence
- Computation by Abstract Devices
- Computer Communication Networks
- Computer Science
- Computer science
- Computer software
- Information Systems
- Logic Design
- Logic design [x]
- Logics and Meanings of Programs
- Management of Computing and Information Systems
- Mathematical Logic and Formal Languages
- Operating systems (Computers)
- Programming Languages, Compilers, Interpreters
- Programming Techniques
- Software Engineering
- Software engineering
- Special Purpose and Application-Based Systems
- Mostrar más
- Mostrar menos
-
Idiomas