Limit Search Results
Author
SpringerLink (Online service)
(82)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(2)
Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996
(2)
Legay, Axel. editor.
(2)
Liu, Shaoying. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(72)
Software engineering.
(60)
Computer programming.
(53)
Computer Science Logic and Foundations of Programming.
(42)
Compilers (Computer programs).
(38)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
82 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers
Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers
Author 
Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Araujo, Theo. editor. Papadopoulos, Symeon. editor. Law, Effie L.-C. editor. Luger, Ewa. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-54975-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers
High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers
Author 
Kunkel, Julian M. editor. Yokota, Rio. editor. Taufer, Michela. editor. Shalf, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67630-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Author 
Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61467-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
Author 
Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66902-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for 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
Author 
Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51046-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for 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
Author 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Author 
Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68953-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, 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-319-56841-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings
Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings
Author 
de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Terboven, Christian. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65578-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Author 
Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68690-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets