Limit Search Results
Author
SpringerLink (Online service)
(39)
Csuhaj-Varjú, Ersébet. editor.
(2)
Dietzfelbinger, Martin. editor.
(2)
Ésik, Zoltán. editor.
(2)
Abraham, Erika. editor.
(1)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
40 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Author 
Iemhoff, Rosalie. editor. Moortgat, Michael. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-59533-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Author 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12988-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings
Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings
Author 
Seki, Hirosato. editor. Nguyen, Canh Hao. editor. Huynh, Van-Nam. editor. Inuiguchi, Masahiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14815-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22348-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings
Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings
Author 
Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Batyrshin, Ildar. editor. Marín-Hernández, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33749-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Author 
Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32079-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
Author 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17601-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
Author 
Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06089-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
Author 
Hirsch, Edward. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pin, Jean-Éric. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06686-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Author 
Diaz, Josep. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 Sangiorgi, Davide. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44602-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
Author 
Giese, Holger. editor. König, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09108-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers
Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers
Author 
van den Herik, H. Jaap. editor. Iida, Hiroyuki. editor. Plaat, Aske. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09165-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action