Limit Search Results
Author
SpringerLink (Online service)
(58)
Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964
(5)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(5)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(5)
Lam, Roberto. editor. (orcid)0000-0003-4297-2441
(5)
Language
Publication Date
-
Subject
Computer science—Mathematics.
(39)
Computer science -- Mathematics.
(17)
Artificial intelligence.
(16)
Algorithms.
(14)
Mathematics of Computing.
(12)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
58 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Privately and Publicly Verifiable Computing Techniques A Survey
Privately and Publicly Verifiable Computing Techniques A Survey
Author 
Demirel, Denise. author. Schabhüser, Lucas. author. Buchmann, Johannes. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53798-6
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives
Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives
Author 
Chen, Quan. author. Guo, Minyi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6238-4
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers
Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers
Author 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71255-0
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Constructive Side-Channel Analysis and Secure Design 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers
Constructive Side-Channel Analysis and Secure Design 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers
Author 
Standaert, François-Xavier. editor. Oswald, Elisabeth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43283-0
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation
Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation
Author 
Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33786-9
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for System Architecture An Ordinary Engineering Discipline
System Architecture An Ordinary Engineering Discipline
Author 
Paul, Wolfgang J. author. Baumann, Christoph. author. Lutsyk, Petro. author. Schmaltz, Sabine. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43065-2
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers
Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers
Author 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55669-7
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
Author 
Herdt, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-12680-3
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04921-2
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings
Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings
Author 
Jürjens, Jan. editor. Piessens, Frank. editor. Bielova, Nataliia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04897-0
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
Author 
Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09704-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets