Limit Search Results
Author
SpringerLink (Online service)
(232)
Rozenberg, Grzegorz. editor.
(7)
Fages, François. editor.
(5)
Potapov, Igor. editor.
(5)
Rossi, Francesca. editor.
(5)
Language
Publication Date
-
Subject
Computer science.
(221)
Logic design.
(201)
Software engineering.
(101)
Artificial intelligence.
(63)
Computational complexity.
(61)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
235 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings
Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings
Author 
Li, Lian. editor. Lu, Pinyan. editor. He, Kun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2712-4
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Author 
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00359-3
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05051-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
Author 
Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92402-1
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
Author 
Tian, Cong. editor. Nagoya, Fumiko. editor. Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90104-6
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for 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
Author 
Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91268-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05057-3
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Author 
Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91271-4
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96145-3
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96142-2
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Concise Guide to Software Engineering From Fundamentals to Application Methods
Concise Guide to Software Engineering From Fundamentals to Application Methods
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57750-0
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for More Math Into LaTeX
More Math Into LaTeX
Author 
Grätzer, George. author. (orcid)0000-0002-5149-3883 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23796-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action