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
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 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:
5. 
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:
6. 
Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III
Author 
Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520246.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-2449-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education 16th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2023, Lausanne, Switzerland, October 23-25, 2023, Proceedings
Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education 16th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2023, Lausanne, Switzerland, October 23-25, 2023, Proceedings
Author 
Pellet, Jean-Philippe. editor. Parriaux, Gabriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521212.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44900-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers
Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers
Author 
Pesado, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520411.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34147-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Higher Education Computer Science A Manual of Practical Approaches
Higher Education Computer Science A Manual of Practical Approaches
Author 
Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520416.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29386-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
Cover image for Computer science to the Point Computer Science for Life Sciences Students and Other Non-Computer Scientists
Computer science to the Point Computer Science for Life Sciences Students and Other Non-Computer Scientists
Author 
Tolg, Boris. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520214.1)
Electronic Access 
https://doi.org/10.1007/978-3-658-38443-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets