{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Computer logic :
design principles and applications
Computer logic : design principles and applications / John Y. Hsu.
Hsu, John Y.
Springer,
2002. Request
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Bots and beasts :
what makes machines, animals, and people smart?
Bots and beasts : what makes machines, animals, and people smart? / Paul Thagard.
Thagard, Paul,
The MIT Press,
[2021]
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Verification, Model Checking, and Abstract Interpretation :
21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 1621, 2020, Proceedings
Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 1621, 2020, Proceedings / edited by Dirk Beyer, Damien Zufferey.
Springer International Publishing : Imprint: Springer,
2020.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Descriptional Complexity of Formal Systems :
22nd International Conference, DCFS 2020, Vienna, Austria, August 2426, 2020, Proceedings
Descriptional Complexity of Formal Systems : 22nd International Conference, DCFS 2020, Vienna, Austria, August 2426, 2020, Proceedings / edited by Galina Jirásková, Giovanni Pighizzini.
Springer International Publishing : Imprint: Springer,
2020.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Theoretical Aspects of Computing ICTAC 2020 :
17th International Colloquium, Macau, China, November 30 December 4, 2020, Proceedings
Theoretical Aspects of Computing ICTAC 2020 : 17th International Colloquium, Macau, China, November 30 December 4, 2020, Proceedings / edited by Violet Ka I Pun, Volker Stolz, Adenilso Simao.
Springer International Publishing : Imprint: Springer,
2020.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Testing Software and Systems :
32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 911, 2020, Proceedings
Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 911, 2020, Proceedings / edited by Valentina Casola, Alessandra De Benedictis, Massimiliano
Springer International Publishing : Imprint: Springer,
2020.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Deductive Software Verification: Future Perspectives :
Reflections on the Occasion of 20 Years of KeY
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich.
Springer International Publishing : Imprint: Springer,
2020.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Transactions on Rough Sets XXII
Transactions on Rough Sets XXII / edited by James F. Peters, Andrzej Skowron.
Springer Berlin Heidelberg : Imprint: Springer,
2020.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Language and Automata Theory and Applications :
14th International Conference, LATA 2020, Milan, Italy, March 46, 2020, Proceedings
Language and Automata Theory and Applications : 14th International Conference, LATA 2020, Milan, Italy, March 46, 2020, Proceedings / edited by Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claud
Springer International Publishing : Imprint: Springer,
2020.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Dynamic Logic. New Trends and Applications :
Second International Workshop, DaLí 2019, Porto, Portugal, October 711, 2019, Proceedings
Dynamic Logic. New Trends and Applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 711, 2019, Proceedings / edited by Luís Soares Barbosa, Alexandru Baltag.
Springer International Publishing : Imprint: Springer,
2020.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Formal Techniques for Safety-Critical Systems :
7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers / edited by Osman Hasan, Frédéric Mallet.
Springer International Publishing : Imprint: Springer,
2020.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Programming Languages and Systems :
18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 December 2, 2020, Proceedings
Programming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 December 2, 2020, Proceedings / edited by Bruno C. d. S. Oliveira.
Springer International Publishing : Imprint: Springer,
2020.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Rewriting Logic and Its Applications :
13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers
Rewriting Logic and Its Applications : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers / edited by Santiago Escobar, Narciso Martí-Oliet.
Springer International Publishing : Imprint: Springer,
2020.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Static Analysis :
27th International Symposium, SAS 2020, Virtual Event, November 1820, 2020, Proceedings
Static Analysis : 27th International Symposium, SAS 2020, Virtual Event, November 1820, 2020, Proceedings / edited by David Pichardie, Mihaela Sighireanu.
Springer International Publishing : Imprint: Springer,
2020.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Foundations of Information and Knowledge Systems :
11th International Symposium, FoIKS 2020, Dortmund, Germany, February 1721, 2020, Proceedings
Foundations of Information and Knowledge Systems : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 1721, 2020, Proceedings / edited by Andreas Herzig, Juha Kontinen.
Springer International Publishing : Imprint: Springer,
2020.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Chatbot Research and Design :
Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 1920, 2019, Revised Selected Papers
Chatbot Research and Design : Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 1920, 2019, Revised Selected Papers / edited by Asbjørn Følstad, Theo Araujo, Symeon
Springer International Publishing : Imprint: Springer,
2020.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Software Verification :
12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 2021, 2020, Revised Selected Papers
Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 2021, 2020, Revised Selected Papers / edited by Maria Christakis
Springer International Publishing : Imprint: Springer,
2020.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Monotonicity in Logic and Language :
Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings
Monotonicity in Logic and Language : Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings / edited by Dun Deng, Fenron
Springer Berlin Heidelberg : Imprint: Springer,
2020.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Beginning Ring programming :
from novice to professional
Beginning Ring programming : from novice to professional / Mansour Ayouni.
Ayouni, Mansour.
Apress,
2020.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Computer Aided Verification :
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / edited by Isil Dillig, Serdar Tasiran.
Springer International Publishing : Imprint: Springer,
2019.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Tests and Proofs :
13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 911, 2019, Proceedings
Tests and Proofs : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 911, 2019, Proceedings / edited by Dirk Beyer, Chan
Springer International Publishing : Imprint: Springer,
2019.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Programming Languages and Systems :
17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 14, 2019, Proceedings
Programming Languages and Systems : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 14, 2019, Proceedings / edited by Anthony Widjaja Lin.
Springer International Publishing : Imprint: Springer,
2019.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Unifying Theories of Programming :
7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Unifying Theories of Programming : 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings / edited by Pedro R
Springer International Publishing : Imprint: Springer,
2019.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Verification and Evaluation of Computer and Communication Systems :
13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Verification and Evaluation of Computer and Communication Systems : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings / edited by Pierre Ganty, Mohamed Kaâniche.
Springer International Publishing : Imprint: Springer,
2019.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Formal Methods The Next 30 Years :
Third World Congress, FM 2019, Porto, Portugal, October 711, 2019, Proceedings
Formal Methods The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 711, 2019, Proceedings / edited by Maurice H. ter Beek, Annabelle McIver, José N. Oliveira.
Springer International Publishing : Imprint: Springer,
2019.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Testing Software and Systems :
31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 1517, 2019, Proceedings
Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 1517, 2019, Proceedings / edited by Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall.
Springer International Publishing : Imprint: Springer,
2019.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
From Software Engineering to Formal Methods and Tools, and Back :
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday / edited by Maurice H. ter Beek, Alessandro Fantechi, Laura Sem
Springer International Publishing : Imprint: Springer,
2019.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Logic, Rationality, and Interaction :
7th International Workshop, LORI 2019, Chongqing, China, October 1821, 2019, Proceedings
Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 1821, 2019, Proceedings / edited by Patrick Blackburn, Emiliano Lorini, Meiyun Guo.
Springer Berlin Heidelberg : Imprint: Springer,
2019.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Mathematics of Program Construction :
13th International Conference, MPC 2019, Porto, Portugal, October 79, 2019, Proceedings
Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 79, 2019, Proceedings / edited by Graham Hutton.
Springer International Publishing : Imprint: Springer,
2019.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Scalable Uncertainty Management :
13th International Conference, SUM 2019, Compiègne, France, December 1618, 2019, Proceedings
Scalable Uncertainty Management : 13th International Conference, SUM 2019, Compiègne, France, December 1618, 2019, Proceedings / edited by Nahla Ben Amor, Benjamin Quost, Martin Theobald.
Springer International Publishing : Imprint: Springer,
2019.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Logic and Its Applications :
8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
Logic and Its Applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings / edited by Md. Aquil Khan, Amaldev Manuel.
Springer Berlin Heidelberg : Imprint: Springer,
2019.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Developments in Language Theory :
23rd International Conference, DLT 2019, Warsaw, Poland, August 59, 2019, Proceedings
Developments in Language Theory : 23rd International Conference, DLT 2019, Warsaw, Poland, August 59, 2019, Proceedings / edited by Piotrek Hofman, Michal Skrzypczak.
Springer International Publishing : Imprint: Springer,
2019.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Theoretical Aspects of Computing ICTAC 2019 :
16th International Colloquium, Hammamet, Tunisia, October 31 November 4, 2019, Proceedings
Theoretical Aspects of Computing ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31 November 4, 2019, Proceedings / edited by Robert Mark Hierons, Mohamed Mosbah.
Springer International Publishing : Imprint: Springer,
2019.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
Rules and Reasoning :
Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 1619, 2019, Proceedings
Rules and Reasoning : Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 1619, 2019, Proceedings / edited by Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman.
Springer International Publishing : Imprint: Springer,
2019.
{{indexedTitle}} appears in the content of this record.
{{title}} can only be used in the library.
A copy of {{title}} has been set aside for library use only.
From Reactive Systems to Cyber-Physical Systems :
Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky.
Springer International Publishing : Imprint: Springer,
2019.