Limit Search Results
Author
SpringerLink (Online service)
(65973)
Project Muse.
(12563)
Wiley InterScience (Online service)
(6745)
John Wiley & Sons.
(896)
IGI Global, publisher.
(602)
Language
Publication Date
-
2011
(18883)
2012
(18466)
2013
(15672)
2010
(15251)
2009
(10588)
Subject
Computer science.
(11616)
Engineering.
(7944)
Medicine.
(7535)
Economics.
(7326)
Artificial intelligence.
(6263)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
154032 Results Found Subscribe to search results
000000000000DEFAULT
Print
553. 
Cover image for Concise Guide to Software Verification From Model Checking to Annotation Checking
Concise Guide to Software Verification From Model Checking to Annotation Checking
Author 
Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520525.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30167-4
Format: 
Availability 
Online Library~1
Available:
Copies:
554. 
Cover image for Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers
Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers
Author 
Sokolinsky, Leonid. editor. Zymbler, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520526.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38864-4
Format: 
Availability 
Online Library~1
Available:
Copies:
555. 
Cover image for Trends in Data Protection and Encryption Technologies
Trends in Data Protection and Encryption Technologies
Author 
Mulder, Valentin. editor. Mermoud, Alain. editor. Lenders, Vincent. editor. Tellenbach, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520527.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33386-6
Format: 
Availability 
Online Library~1
Available:
Copies:
556. 
Cover image for Cloud Computing, Big Data & Emerging Topics 11th Conference, JCC-BD&ET 2023, La Plata, Argentina, June 27-29, 2023, Proceedings
Cloud Computing, Big Data & Emerging Topics 11th Conference, JCC-BD&ET 2023, La Plata, Argentina, June 27-29, 2023, Proceedings
Author 
Naiouf, Marcelo. editor. Rucci, Enzo. editor. Chichizola, Franco. editor. De Giusti, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520528.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40942-4
Format: 
Availability 
Online Library~1
Available:
Copies:
557. 
Cover image for Stepping into Virtual Reality
Stepping into Virtual Reality
Author 
Gutiérrez A., Mario A. author. Vexo, Frédéric. author. Thalmann, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520529.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36487-7
Format: 
Availability 
Online Library~1
Available:
Copies:
558. 
Cover image for Fundamentals of Reinforcement Learning
Fundamentals of Reinforcement Learning
Author 
Ris-Ala, Rafael. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520530.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37345-9
Format: 
Availability 
Online Library~1
Available:
Copies:
559. 
Cover image for Mobile Robot Programming Adventures in Python and C
Mobile Robot Programming Adventures in Python and C
Author 
Bräunl, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520531.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32797-1
Format: 
Availability 
Online Library~1
Available:
Copies:
560. 
Cover image for Digital Grid New Internet-Like Multi-directional Power Supply
Digital Grid New Internet-Like Multi-directional Power Supply
Author 
Abe, Rikiya. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520532.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-4280-0
Format: 
Availability 
Online Library~1
Available:
Copies:
561. 
Cover image for Guessing Random Additive Noise Decoding A Hardware Perspective
Guessing Random Additive Noise Decoding A Hardware Perspective
Author 
Abbas, Syed Mohsin. author. Jalaleddine, Marwan. author. Gross, Warren J. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520533.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31663-0
Format: 
Availability 
Online Library~1
Available:
Copies:
562. 
Cover image for Prototyping User eXperience in eXtended Reality
Prototyping User eXperience in eXtended Reality
Author 
Bordegoni, Monica. author. Carulli, Marina. author. Spadoni, Elena. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520534.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39683-0
Format: 
Availability 
Online Library~1
Available:
Copies:
563. 
Cover image for Large-Scale Agile Frameworks Agile Frameworks, Agile Infrastructure and Pragmatic Solutions for Digital Transformation
Large-Scale Agile Frameworks Agile Frameworks, Agile Infrastructure and Pragmatic Solutions for Digital Transformation
Author 
Block, Sascha. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520535.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-67782-7
Format: 
Availability 
Online Library~1
Available:
Copies:
564. 
Cover image for Protein-Protein Interactions Pathophysiological and Therapeutic Aspects: Volume II
Protein-Protein Interactions Pathophysiological and Therapeutic Aspects: Volume II
Author 
Poluri, Krishna Mohan. author. Gulati, Khushboo. author. Tripathi, Deepak Kumar. author. Nagar, Nupur. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520536.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-2423-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action