Limit Search Results
Author
SpringerLink (Online service)
(1038)
Voronkov, Andrei. editor.
(15)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Rozenberg, Grzegorz. editor.
(9)
Language
Publication Date
-
2012
(120)
2007
(114)
2011
(110)
2010
(109)
2013
(109)
Subject
Logic design.
(1029)
Software engineering.
(716)
Artificial intelligence.
(320)
Computer Communication Networks.
(284)
Computer software.
(198)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1038 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
Author 
Rusu, Vlad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99840-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings
Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings
Author 
Ciucci, Davide. editor. (orcid)0000-0002-8083-7809 Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170 Vantaggi, Barbara. editor. (orcid)0000-0002-3651-3743 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00461-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers
Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers
Author 
Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00801-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings
DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings
Author 
Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00030-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Author 
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04771-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Author 
Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175 Ö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-02146-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, 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-99639-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings
Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings
Author 
Chen, Liqun. editor. (orcid)0000-0003-2680-4907 Manulis, Mark. editor. (orcid)0000-0002-1512-9670 Schneider, Steve. editor. (orcid)0000-0001-8365-6993 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99136-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
Author 
Fischer, Bernd. editor. (orcid)0000-0002-1815-218X Uustalu, Tarmo. editor. (orcid)0000-0002-1297-0579 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02508-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies
ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies
Author 
Mehta, Ashok B. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59418-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
Author 
Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Keyes, David. editor. Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92040-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
Author 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78024-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action