Limit Search Results
Author
Bernardo, Marco. editor.
(2)
Garcia Diaz, Vicente. editor.
(2)
Geroimenko, Vladimir. editor.
(2)
Geshi, Masaaki. editor.
(2)
Hunt, John. author.
(2)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
97 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Author 
Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519008.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18941-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Author 
Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13678-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Automatic Quantum Computer Programming A Genetic Programming Approach
Automatic Quantum Computer Programming A Genetic Programming Approach
Author 
Spector, Lee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36791-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Programming for Peace Computer-Aided Methods for International Conflict Resolution and Prevention
Programming for Peace Computer-Aided Methods for International Conflict Resolution and Prevention
Author 
Trappl, Robert. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4390-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mathematical and Computer Programming Techniques for Computer Graphics
Mathematical and Computer Programming Techniques for Computer Graphics
Author 
Comninos, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-292-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Parallel Programming for Multicore and Cluster Systems
Parallel Programming for Multicore and Cluster Systems
Author 
Rauber, Thomas. author. Rünger, Gudula. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520312.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28924-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I
Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I
Author 
Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520498.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35078-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II
Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II
Author 
Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520499.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35081-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Advanced Guide to Python 3 Programming
Advanced Guide to Python 3 Programming
Author 
Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520649.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40336-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Autonomous Driving Perception Fundamentals and Applications
Autonomous Driving Perception Fundamentals and Applications
Author 
Fan, Rui. editor. Guo, Sicen. editor. Bocus, Mohammud Junaid. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520694.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-4287-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computer Analysis of Images and Patterns 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25-28, 2023, Proceedings, Part I
Computer Analysis of Images and Patterns 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25-28, 2023, Proceedings, Part I
Author 
Tsapatsoulis, Nicolas. editor. Lanitis, Andreas. editor. Pattichis, Marios. editor. Pattichis, Constantinos. editor. Kyrkou, Christos. editor.
Preferred Shelf Number 
XX(521402.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44237-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Learning and Collaboration Technologies 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
Learning and Collaboration Technologies 10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
Author 
Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521025.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34411-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action