Search ResultsOther Libraries
8 Results Found Subscribe to search results
Select All
Switch to list view
Switch to thumbnail view
00000000DEFAULT
Print
2. 
Cover image for Automated Theorem Proving in Software Engineering
Automated Theorem Proving in Software Engineering
Automated Theorem Proving in Software Engineering
Author 
Schumann, Johann M. author. SpringerLink (Online service)
Call Number 
Q334 -342
Electronic Access 
Full Text Available From Springer Nature Computer Science Archive Packages
Format: 
Electronic Resources
Available:
3. 
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
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)
Call Number 
QA76.9 .A43
Electronic Access 
Full Text Available From Springer Nature Computer Science 2018 Packages
Format: 
Electronic Resources
Available:
6. 
Cover image for Verification and Evaluation of Computer and Communication Systems 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings
Verification and Evaluation of Computer and Communication Systems 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings
Verification and Evaluation of Computer and Communication Systems 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings
Author 
Ben Hedia, Belgacem. editor. (orcid)0000-0003-1367-8542 Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Liu, Gaiyun. editor. Yu, Zhenhua. editor. SpringerLink (Online service)
Call Number 
TK7885 -7895
Electronic Access 
Full Text Available From Springer Nature Computer Science 2020 Packages
Format: 
Electronic Resources
Available:
7. 
Cover image for ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
Author 
Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Nikitchenko, Mykola. editor. (orcid)0000-0002-4078-1062 Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133 Zholtkevych, Grygoriy. editor. (orcid)0000-0002-7515-2143
Call Number 
QA76.758
Electronic Access 
Full Text Available From Springer Nature Computer Science 2013 Packages
Format: 
Electronic Resources
Available:
Select All
8 Results Found Subscribe to search results
Limit Search Results
Author
Language
Publication Date
This graph shows the distribution of publication dates for use with a date range slider. Switch to Years view for a more detailed breakdown of search results by year.
-
Subject
Material Type
Shelf Location
Library