Limit Search Results
Author
SpringerLink (Online service)
(3724)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(38)
Apduhan, Bernady O. editor.
(37)
Dongarra, Jack. editor.
(29)
Language
Publication Date
-
2018
(422)
2011
(392)
2012
(364)
2010
(340)
2009
(328)
Subject
Computer science.
(2979)
Computer Communication Networks.
(1161)
Artificial intelligence.
(976)
Information systems.
(822)
Logic design.
(742)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3724 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Author 
Fontaine, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29436-6
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Precision Assembly in the Digital Age 8th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2018, Chamonix, France, January 14—16, 2018, Revised Selected Papers
Precision Assembly in the Digital Age 8th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2018, Chamonix, France, January 14—16, 2018, Revised Selected Papers
Author 
Ratchev, Svetan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05931-6
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
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:
28. 
Cover image for Using Microsoft Dynamics 365 for Finance and Operations Learn and understand the functionality of Microsoft's enterprise solution
Using Microsoft Dynamics 365 for Finance and Operations Learn and understand the functionality of Microsoft's enterprise solution
Author 
Luszczak, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-24107-0
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Introduction to Software Design with Java
Introduction to Software Design with Java
Author 
Robillard, Martin P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24094-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Distributed Real-Time Systems Theory and Practice
Distributed Real-Time Systems Theory and Practice
Author 
Erciyes, K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22570-4
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Author 
Hutton, Graham. editor. (orcid)0000-0001-9584-5150 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33636-3
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Multi-Disciplinary Digital Signal Processing A Functional Approach Using Matlab
Multi-Disciplinary Digital Signal Processing A Functional Approach Using Matlab
Author 
Gopi, E. S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57430-1
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Implantable Sensors and Systems From Theory to Practice
Implantable Sensors and Systems From Theory to Practice
Author 
Yang, Guang-Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69748-2
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming
Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming
Author 
Kormanyos, Christopher. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-56718-0
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for TraceME: A Traceability-Based Method for Conceptual Model Evolution Model-Driven Techniques, Tools, Guidelines, and Open Challenges in Conceptual Model Evolution
TraceME: A Traceability-Based Method for Conceptual Model Evolution Model-Driven Techniques, Tools, Guidelines, and Open Challenges in Conceptual Model Evolution
Author 
Ruiz, Marcela. author. (orcid)0000-0002-0592-1779 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89716-5
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Author 
Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99725-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action