Limit Search Results
Author
SpringerLink (Online service)
(63)
Câmpeanu, Cezar. editor.
(2)
Legay, Axel. editor.
(2)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Mousavi, Mohammad Reza. editor.
(2)
Language
Publication Date
-
Subject
Computer Science Logic and Foundations of Programming.
(57)
Computer science.
(57)
Software engineering.
(40)
Formal Languages and Automata Theory.
(39)
Machine theory.
(39)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
63 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for 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
Author 
Weil, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58747-9
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings
Author 
Bozzano, Marco. editor. (orcid)0000-0002-4135-103X Papadopoulos, Yiannis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64119-5
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
Author 
Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55911-7
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Author 
Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65765-3
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications
Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications
Author 
Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55417-4
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for On Sets and Graphs Perspectives on Logic and Combinatorics
On Sets and Graphs Perspectives on Logic and Combinatorics
Author 
Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54981-1
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for 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
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66320-3
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings
Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings
Author 
Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65000-5
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers
Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers
Author 
Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68972-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings
Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings
Author 
Du, Dingzhu. editor. Li, Lian. editor. Zhu, En. editor. He, Kun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6893-5
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency XII
Transactions on Petri Nets and Other Models of Concurrency XII
Author 
Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Kleijn, Jetty. editor. Penczek, Wojciech. editor. Zhang, Mingmin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55862-1
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Author 
Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57288-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action