Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
9 Results Found Subscribe to search results
000000000DEFAULT
Print
1. 
Cover image for Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
by 
Grumberg, Orna. editor.
https://doi.org/10.1007/978-3-642-01748-3
Format: 
Excerpt: 
Programming and Software Engineering,
2. 
Cover image for Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
by 
Paule, Peter. editor.
https://doi.org/10.1007/978-3-319-00966-7
Format: 
Excerpt: 
Software engineering.
3. 
Cover image for Foundations of Algebraic Specification and Formal Software Development
Foundations of Algebraic Specification and Formal Software Development
by 
Sannella, Donald. author.
https://doi.org/10.1007/978-3-642-17336-3
Format: 
Excerpt: 
Software engineering.
4. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency III
Transactions on Petri Nets and Other Models of Concurrency III
by 
SpringerLink (Online service)
https://doi.org/10.1007/978-3-642-04856-2
Format: 
Excerpt: 
Software engineering.
5. 
Cover image for Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
by 
Ferré, Sébastien. editor.
https://doi.org/10.1007/978-3-642-01815-2
Format: 
Excerpt: 
Software engineering.
6. 
Cover image for Logic and Integer Programming
Logic and Integer Programming
by 
Williams, H. Paul. author.
https://doi.org/10.1007/978-0-387-92280-5
Format: 
Excerpt: 
Software engineering.
7. 
Cover image for Automata, Languages and Programming 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
Automata, Languages and Programming 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
by 
Caires, Luis. editor.
https://doi.org/10.1007/11523468
Format: 
Excerpt: 
Software engineering.
8. 
Cover image for Adapting Proofs-as-Programs The Curry--Howard Protocol
Adapting Proofs-as-Programs The Curry--Howard Protocol
by 
Poernomo, Iman. author.
https://doi.org/10.1007/0-387-28183-5
Format: 
Excerpt: 
Software engineering.
9. 
Cover image for Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
by 
Hutter, Dieter. editor.
https://doi.org/10.1007/b106663
Format: 
Excerpt: 
Software engineering.