{{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.
The 2-tuple Linguistic Model :
Computing with Words in Decision Making
The 2-Tuple Linguistic Model : Computing With Words In Decision Making / By Luis Martínez, Rosa M. Rodriguez, Francisco Herrera.
Martinez, Luis,
Springer International Publishing : Imprint: Springer,
2015.
{{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.
Abstract State Machines, Alloy, B, TLA, VDM, and Z :
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, And Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / Edited By Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro.
Springer International Publishing : Imprint: Springer,
2016.
{{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.
Abstract State Machines, Alloy, B, TLA, VDM, and Z :
6th International Conference, ABZ 2018, Southampton, UK, June 58, 2018, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, And Z : 6th International Conference, ABZ 2018, Southampton, UK, June 58, 2018, Proceedings / Edited By Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl.
Springer International Publishing : Imprint: Springer,
2018.
{{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.
AI*IA 2017 Advances in Artificial Intelligence :
XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings
AI*IA 2017 Advances In Artificial Intelligence : XVIth International Conference Of The Italian Association For Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings / Edited By Floriana Esposito, Roberto Basili, Stefano Ferilli, Francesca A. Lisi.
Springer International Publishing : Imprint: Springer,
2017.
{{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.
Algorithmic Aspects of Cloud Computing :
First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers
Algorithmic Aspects Of Cloud Computing : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / Edited By Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos.
Springer International Publishing : Imprint: Springer,
2016.
{{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.
Application and Theory of Petri Nets and Concurrency :
37th International Conference, PETRI NETS 2016, Toru, Poland, June 19-24, 2016. Proceedings
Application And Theory Of Petri Nets And Concurrency : 37th International Conference, PETRI NETS 2016, Toru, Poland, June 19-24, 2016. Proceedings / Edited By Fabrice Kordon, Daniel Moldt.
Springer International Publishing : Imprint: Springer,
2016.
{{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.
Application and Theory of Petri Nets and Concurrency :
39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Application And Theory Of Petri Nets And Concurrency : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / Edited By Victor Khomenko, Olivier H. Roux.
Springer International Publishing : Imprint: Springer,
2018.
{{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.
Applied Logic for Computer Scientists :
Computational Deduction and Formal Proofs
Applied Logic For Computer Scientists : Computational Deduction And Formal Proofs / By Mauricio Ayala-Rincón, Flávio L. C. De Moura.
Ayala-Rincón, M.
Springer International Publishing : Imprint: Springer,
2017.
{{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.
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy :
Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
The Art Of Modelling Computational Systems: A Journey From Logic And Concurrency To Security And Privacy : Essays Dedicated To Catuscia Palamidessi On The Occasion Of Her 60th Birthday / Edited By Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia.
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.
Automated Reasoning :
9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Held As Part Of The Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings / Edited By Didier Galmiche, Stephan Schulz, Roberto Sebastiani.
Springer International Publishing : Imprint: Springer,
2018.
{{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.
Automated Reasoning with Analytic Tableaux and Related Methods :
26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 2528, 2017, Proceedings
Automated Reasoning With Analytic Tableaux And Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 2528, 2017, Proceedings / Edited By Renate A. Schmidt, Cláudia Nalon.
Springer International Publishing : Imprint: Springer,
2017.
{{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.
Automated Technology for Verification and Analysis :
17th International Symposium, ATVA 2019, Taipei, Taiwan, October 2831, 2019, Proceedings
Automated Technology For Verification And Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 2831, 2019, Proceedings / Edited By Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza.
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.
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.
Calculus of computation :
decision procedures with applications to verification
Calculus Of Computation : Decision Procedures With Applications To Verification / Aaron R. Bradley, Zohar Manna..
Bradley, Aaron R.
Springer,
2007. 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.
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 Papadopoulos, Effie Lai-Chong Law, Ole-Christoffer Granmo, Ewa Luger, Petter Bae Brandtzaeg.
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.
Coalgebraic Methods in Computer Science :
13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Coalgebraic Methods In Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated With ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / Edited By Ichiro Hasuo.
Springer International Publishing : Imprint: Springer,
2016.
{{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.
Computational Methods in Systems Biology :
15th International Conference, CMSB 2017, Darmstadt, Germany, September 2729, 2017, Proceedings
Computational Methods In Systems Biology : 15th International Conference, CMSB 2017, Darmstadt, Germany, September 2729, 2017, Proceedings / Edited By Jérôme Feret, Heinz Koeppl.
Springer International Publishing : Imprint: Springer,
2017.
{{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 :
28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / Edited By Swarat Chaudhuri, Azadeh Farzan.
Springer International Publishing : Imprint: Springer,
2016.
{{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 :
28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / Edited By Swarat Chaudhuri, Azadeh Farzan.
Springer International Publishing : Imprint: Springer,
2016.
{{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 :
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I / Edited By Rupak Majumdar, Viktor Kunak.
Springer International Publishing : Imprint: Springer,
2017.
{{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 :
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II / Edited By Rupak Majumdar, Viktor Kunak.
Springer International Publishing : Imprint: Springer,
2017.
{{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.
Computer Algebra in Scientific Computing :
19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
Computer Algebra In Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings / Edited By Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov.
Springer International Publishing : Imprint: Springer,
2017.
{{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.
Computer Science Theory and Applications :
12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
Computer Science Theory And Applications : 12th International Computer Science Symposium In Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings / Edited By Pascal Weil.
Springer International Publishing : Imprint: Springer,
2017.
{{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 Science Theory and Applications :
13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 610, 2018, Proceedings
Computer Science Theory And Applications : 13th International Computer Science Symposium In Russia, CSR 2018, Moscow, Russia, June 610, 2018, Proceedings / Edited By Fedor V. Fomin, Vladimir V. Podolskii.
Springer International Publishing : Imprint: Springer,
2018.
{{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.
Concurrency, Security, and Puzzles :
Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Concurrency, Security, And Puzzles : Essays Dedicated To Andrew William Roscoe On The Occasion Of His 60th Birthday / Edited By Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazi.
Springer International Publishing : Imprint: Springer,
2017.
{{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.
Coordination Models and Languages :
18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Coordination Models And Languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held As Part Of The 11th International Federated Conference On Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / Edited By Alberto Lluch Lafuente, José Proença.
Springer International Publishing : Imprint: Springer,
2016.
{{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.
Coordination, Organizations, Institutions, and Normes in Agent Systems XI :
COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers
Coordination, Organizations, Institutions, And Normes In Agent Systems XI : COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers / Edited By Virginia Dignum, Pablo Noriega, Murat Sensoy, Jaime Simão Sichman.
Springer International Publishing : Imprint: Springer,
2016.
{{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.
Critical Systems: Formal Methods and Automated Verification :
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Critical Systems: Formal Methods And Automated Verification : Joint 21st International Workshop On Formal Methods For Industrial Critical Systems And 16th International Workshop On Automated Verification Of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / Edited By Maurice H. Ter Beek, Stefania Gnesi, Alexander Knapp.
Springer International Publishing : Imprint: Springer,
2016.
{{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.
Critical Systems: Formal Methods and Automated Verification :
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 1820, 2017, Proceedings
Critical Systems: Formal Methods And Automated Verification : Joint 22nd International Workshop On Formal Methods For Industrial Critical Systems And 17th International Workshop On Automated Verification Of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 1820, 2017, Proceedings / Edited By Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti.
Springer International Publishing : Imprint: Springer,
2017.
{{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.
Cyber Physical Systems. Design, Modeling, and Evaluation :
6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Cyber Physical Systems. Design, Modeling, And Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers / Edited By Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski.
Springer International Publishing : Imprint: Springer,
2017.
{{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.
Decision points :
Boolean logic for computer users and beginning online searchers
Decision Points : Boolean Logic For Computer Users And Beginning Online Searchers / Janaye M. Houghton And Robert S. Houghton.
Houghton, Janaye Matteson.
Libraries Unlimited,
1999.
{{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.
Deductive Software Verification The KeY Book :
From Theory to Practice
Deductive Software Verification The KeY Book : From Theory To Practice / Edited By Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich.
Springer International Publishing : Imprint: Springer,
2016.