Limit Search Results
Author
SpringerLink (Online service)
(76)
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
-
2019
(42)
2014
(34)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
76 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Diagrammatic Representation and Inference 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014, Proceedings
Diagrammatic Representation and Inference 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014, Proceedings
Author 
Dwyer, Tim. editor. Purchase, Helen. editor. Delaney, Aidan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44043-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Author 
Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08587-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Author 
Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08615-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Intelligent Computer Mathematics CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
Intelligent Computer Mathematics CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
Author 
Watt, Stephen M. editor. Sexton, Alan. editor. Davenport, James H. editor. Sojka, Petr. editor. Urban, Josef. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08434-3
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Computing and Combinatorics 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings
Computing and Combinatorics 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings
Author 
Du, Ding-Zhu. editor. Duan, Zhenhua. editor. Tian, Cong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-26176-4
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Numerical Methods and Applications 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers
Numerical Methods and Applications 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers
Author 
Nikolov, Geno. editor. (orcid)0000-0001-5608-2488 Kolkovska, Natalia. editor. Georgiev, Krassimir. editor. (orcid)0000-0001-5277-2887 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10692-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Learning and Intelligent Optimization 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers
Learning and Intelligent Optimization 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers
Author 
Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Brunato, Mauro. editor. (orcid)0000-0002-7885-4255 Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383 Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05348-2
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
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:
21. 
Cover image for Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV
Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV
Author 
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22747-0
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V
Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V
Author 
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22750-0
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings
Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings
Author 
Chung, Albert C. S. editor. (orcid)0000-0003-4400-9261 Gee, James C. editor. (orcid)0000-0002-2258-0187 Yushkevich, Paul A. editor. (orcid)0000-0001-8543-4016 Bao, Siqi. editor. (orcid)0000-0003-3885-125X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20351-1
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers
Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers
Author 
Bykadorov, Igor. editor. (orcid)0000-0002-2740-3905 Strusevich, Vitaly. editor. (orcid)0000-0002-4602-8573 Tchemisova, Tatiana. editor. (orcid)0000-0002-2678-2552 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33394-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action