Limit Search Results
Author
SpringerLink (Online service)
(114)
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
Subject
Computer science—Mathematics.
(96)
Artificial intelligence.
(43)
Algorithms.
(37)
Data structures (Computer science).
(26)
Computer mathematics.
(22)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
118 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Author 
Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29026-9
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Logic Functions and Equations Binary Models for Computer Science
Logic Functions and Equations Binary Models for Computer Science
Author 
Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02420-8
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Functional Imaging and Modeling of the Heart 10th International Conference, FIMH 2019, Bordeaux, France, June 6–8, 2019, Proceedings
Functional Imaging and Modeling of the Heart 10th International Conference, FIMH 2019, Bordeaux, France, June 6–8, 2019, Proceedings
Author 
Coudière, Yves. editor. Ozenne, Valéry. editor. Vigmond, Edward. editor. Zemzemi, Nejib. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21949-9
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Algorithms and Models for the Web Graph 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6–7, 2019, Proceedings
Algorithms and Models for the Web Graph 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6–7, 2019, Proceedings
Author 
Avrachenkov, Konstantin. editor. Prałat, Paweł. editor. Ye, Nan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25070-6
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers
Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers
Author 
Shokin, Yuri. editor. (orcid)0000-0002-5178-8294 Shaimardanov, Zhassulan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12203-4
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Algorithms for Sensor Systems 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 23–24, 2018, Revised Selected Papers
Algorithms for Sensor Systems 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 23–24, 2018, Revised Selected Papers
Author 
Gilbert, Seth. editor. (orcid)0000-0003-3298-7412 Hughes, Danny. editor. (orcid)0000-0001-6227-9500 Krishnamachari, Bhaskar. editor. (orcid)0000-0002-9994-9931 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14094-6
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Planetary Spacecraft Navigation
Planetary Spacecraft Navigation
Author 
Miller, James. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78916-3
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Multi-scale Simulation of Composite Materials Results from the Project MuSiKo
Multi-scale Simulation of Composite Materials Results from the Project MuSiKo
Author 
Diebels, Stefan. editor. Rjasanow, Sergej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-57957-2
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings
Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings
Author 
Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25636-4
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings
Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings
Author 
Ghaffari, Mohsen. editor. Nesterenko, Mikhail. editor. Tixeuil, Sébastien. editor. (orcid)0000-0002-0948-7172 Tucci, Sara. editor. (orcid)0000-0001-9738-9021 Yamauchi, Yukiko. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34992-9
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Author 
Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21571-2
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Business Process Management 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings
Business Process Management 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings
Author 
Hildebrandt, Thomas. editor. (orcid)0000-0002-7435-5563 van Dongen, Boudewijn F. editor. (orcid)0000-0002-3978-6464 Röglinger, Maximilian. editor. (orcid)0000-0003-4743-4511 Mendling, Jan. editor. (orcid)0000-0002-7260-524X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-26619-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets