Limit Search Results
Author
SpringerLink (Online service)
(99)
Aldini, Alessandro. editor.
(4)
Gorrieri, Roberto. editor.
(4)
Maciaszek, Leszek A. editor.
(4)
Reed, Rick. editor.
(4)
Language
Publication Date
-
Subject
IT Operations.
(99)
Computer Science Logic and Foundations of Programming.
(94)
Computer science.
(94)
Software engineering.
(88)
Compilers (Computer programs).
(66)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
99 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic and the Organization of Information
Logic and the Organization of Information
by 
Frické, Martin. author.
https://doi.org/10.1007/978-1-4614-3088-9
Format: 
Excerpt: 
Logic and the Organization of Information Frické, Martin. author.
2. 
Cover image for Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning
Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning
by 
Chen-Burger, Yun-Heh. author.
https://doi.org/10.1007/b138799
Format: 
Excerpt: 
Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support
3. 
Cover image for Engineering Secure Future Internet Services and Systems Current Research
Engineering Secure Future Internet Services and Systems Current Research
by 
Heisel, Maritta. editor.
https://doi.org/10.1007/978-3-319-07452-8
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
4. 
Cover image for Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings
Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings
by 
Salinesi, Camille. editor.
https://doi.org/10.1007/978-3-319-05843-6
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
5. 
Cover image for Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
by 
Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281
https://doi.org/10.1007/978-3-319-08260-8
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
6. 
Cover image for Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
by 
Merayo, Mercedes G. editor.
https://doi.org/10.1007/978-3-662-44857-1
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
7. 
Cover image for Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics
by 
Majkić, Zoran. author.
https://doi.org/10.1007/978-3-319-04156-8
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
8. 
Cover image for Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
by 
Cabot, Jordi. editor.
https://doi.org/10.1007/978-3-319-09195-2
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
9. 
Cover image for Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
by 
Fiadeiro, José Luiz. editor.
https://doi.org/10.1007/978-3-319-07602-7
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
10. 
Cover image for Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings
Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings
by 
Dingel, Juergen. editor.
https://doi.org/10.1007/978-3-319-11653-2
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
11. 
Cover image for System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
by 
Amyot, Daniel. editor.
https://doi.org/10.1007/978-3-319-11743-0
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
12. 
Cover image for FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
by 
Jones, Cliff. editor.
https://doi.org/10.1007/978-3-319-06410-9
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
Select an Action