Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
14 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers
Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers
by 
Aloni, Maria. editor.
https://doi.org/10.1007/978-3-642-31482-7
Format: 
Excerpt: 
Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21
2. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings
by 
Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142
https://doi.org/10.1007/978-3-642-33675-1
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
3. 
Cover image for Business Process Management 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012, Proceedings
Business Process Management 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012, Proceedings
by 
Barros, Alistair. editor.
https://doi.org/10.1007/978-3-642-32885-5
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
4. 
Cover image for Rainbow of Computer Science Essays Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
Rainbow of Computer Science Essays Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
by 
Calude, Cristian S. editor.
https://doi.org/10.1007/978-3-642-19391-0
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
5. 
Cover image for Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
by 
Beckert, Bernhard. editor.
https://doi.org/10.1007/978-3-540-79124-9
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
6. 
Cover image for Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-13, 2007, Revised Selected Papers
Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-13, 2007, Revised Selected Papers
by 
Overhage, Sven. editor.
https://doi.org/10.1007/978-3-540-77619-2
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
7. 
Cover image for Tests and Proofs First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
Tests and Proofs First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
by 
Meyer, Bertrand. editor.
https://doi.org/10.1007/978-3-540-73770-4
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
8. 
Cover image for Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings
Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings
by 
Concas, Giulio. editor.
https://doi.org/10.1007/978-3-540-73101-6
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
9. 
Cover image for Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings
Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings
by 
Abrahamsson, Pekka. editor.
https://doi.org/10.1007/11774129
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
10. 
Cover image for Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers
Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers
by 
Hofmeister, Christine. editor.
https://doi.org/10.1007/11921998
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
11. 
Cover image for Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
by 
Bravetti, Mario. editor.
https://doi.org/10.1007/11549970
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
12. 
Cover image for Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings
Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings
by 
Baumeister, Hubert. editor.
https://doi.org/10.1007/b137278
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.