Limit Search Results
Author
SpringerLink (Online service)
(1027)
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.
(1027)
Software engineering.
(713)
Artificial intelligence.
(317)
Computer Communication Networks.
(284)
Computer software.
(198)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1027 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Design, Analysis and Test of Logic Circuits Under Uncertainty
Design, Analysis and Test of Logic Circuits Under Uncertainty
Author 
Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335669.1)
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9644-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Author 
Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01090-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Author 
Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02450-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II
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-78054-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications
Author 
Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Grosky, William I. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58415-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Author 
Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03592-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Author 
Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94460-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
Author 
Potapov, Igor. editor. Reynier, Pierre-Alain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00250-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings
Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings
Author 
Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829 Padovani, Luca. editor. (orcid)0000-0001-9097-1297 Torquati, Massimo. editor. (orcid)0000-0001-6323-3459 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96983-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Transactions on Computational Science XXXIII
Transactions on Computational Science XXXIII
Author 
Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58039-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
Author 
Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99498-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers
Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers
Author 
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99673-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action