Limit Search Results
Author
SpringerLink (Online service)
(29)
Reed, Rick. editor.
(4)
Hartman, Alan. editor.
(3)
Rensink, Arend. editor.
(3)
Bondavalli, Andrea. editor.
(2)
Language
Publication Date
-
Subject
Computer Engineering and Networks.
(29)
Computer networks .
(29)
Computer Science Logic and Foundations of Programming.
(24)
Computer science.
(24)
Software engineering.
(21)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
29 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
by 
Biere, Armin. editor. (orcid)0000-0001-7170-9242
https://doi.org/10.1007/978-3-319-08867-9
Format: 
Excerpt: 
Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings / Biere, Armin. editor. (orcid
2. 
Cover image for Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
by 
Montali, Marco. author.
https://doi.org/10.1007/978-3-642-14538-4
Format: 
Excerpt: 
Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach /
3. 
Cover image for A Graph-Theoretic Approach to Enterprise Network Dynamics
A Graph-Theoretic Approach to Enterprise Network Dynamics
by 
Bunke, Horst. author.
https://doi.org/10.1007/978-0-8176-4519-9
Format: 
Excerpt: 
Progress in Computer Science and Applied Logic,
4. 
Cover image for Collaborative Design for Embedded Systems Co-modelling and Co-simulation
Collaborative Design for Embedded Systems Co-modelling and Co-simulation
by 
Fitzgerald, John. editor.
https://doi.org/10.1007/978-3-642-54118-6
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
5. 
Cover image for Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings
Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings
by 
Bondavalli, Andrea. editor.
https://doi.org/10.1007/978-3-319-10506-2
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
6. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings
by 
Bondavalli, Andrea. editor.
https://doi.org/10.1007/978-3-319-10557-4
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
7. 
Cover image for SDL 2013: Model Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings
SDL 2013: Model Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings
by 
Khendek, Ferhat. editor.
https://doi.org/10.1007/978-3-642-38911-5
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
8. 
Cover image for SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
by 
Ober, Iulian. editor.
https://doi.org/10.1007/978-3-642-25264-8
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
9. 
Cover image for VLSI-SoC: The Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
VLSI-SoC: The Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
by 
Mir, Salvador. editor.
https://doi.org/10.1007/978-3-642-32770-4
Format: 
Excerpt: 
Logic design.
10. 
Cover image for Instruction Sequences for Computer Science
Instruction Sequences for Computer Science
by 
Bergstra, Jan A. author.
https://doi.org/10.2991/978-94-91216-65-7
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
11. 
Cover image for Speech Processing in Embedded Systems
Speech Processing in Embedded Systems
by 
Sinha, Priyabrata. author.
https://doi.org/10.1007/978-0-387-75581-6
Format: 
Excerpt: 
Logic design.
12. 
Cover image for Service Research Challenges and Solutions for the Future Internet S-Cube - Towards Engineering, Managing and Adapting Service-Based Systems
Service Research Challenges and Solutions for the Future Internet S-Cube - Towards Engineering, Managing and Adapting Service-Based Systems
by 
Papazoglou, M. editor.
https://doi.org/10.1007/978-3-642-17599-2
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.