Limit Search Results
Author
Uszkoreit, Hans. editor.
(33)
Rehm, Georg. editor.
(32)
Peters, Carol. editor.
(8)
Gelbukh, Alexander. editor.
(5)
Gonzalo, Julio. editor.
(5)
Language
Publication Date
-
Subject
Translators (Computer programs).
(247)
Computer science.
(212)
Artificial intelligence.
(140)
Computational linguistics.
(87)
Information storage and retrieval systems.
(66)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
265 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Learning Basic Genetics with Interactive Computer Programs
Learning Basic Genetics with Interactive Computer Programs
Author 
Tseng, Charles C. author. Yang, Xiaoli. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331943.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6083-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Algorithmic Differentiation of Pragma-Defined Parallel Regions Differentiating Computer Programs Containing OpenMP
Algorithmic Differentiation of Pragma-Defined Parallel Regions Differentiating Computer Programs Containing OpenMP
Author 
Förster, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-07597-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Viruses in all Dimensions How an Information Code Controls Viruses, Software and Microorganisms
Viruses in all Dimensions How an Information Code Controls Viruses, Software and Microorganisms
Author 
Ball, Rafael. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520393.1)
Electronic Access 
https://doi.org/10.1007/978-3-658-38826-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Author 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520889.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
Author 
Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520898.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Mobile and Ubiquitous Systems: Computing, Networking and Services 19th EAI International Conference, MobiQuitous 2022, Pittsburgh, PA, USA, November 14-17, 2022, Proceedings
Mobile and Ubiquitous Systems: Computing, Networking and Services 19th EAI International Conference, MobiQuitous 2022, Pittsburgh, PA, USA, November 14-17, 2022, Proceedings
Author 
Longfei, Shangguan. editor. Bodhi, Priyantha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520473.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34776-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Bioinformatics An Introductory Textbook
Bioinformatics An Introductory Textbook
Author 
Dandekar, Thomas. author. Kunz, Meik. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520293.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-65036-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Parallel Computing Technologies 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings
Parallel Computing Technologies 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521070.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-41673-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Programs as Diagrams From Categorical Computability to Computable Categories
Programs as Diagrams From Categorical Computability to Computable Categories
Author 
Pavlovic, Dusko. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520627.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34827-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Guide to Mobile Data Analytics in Refugee Scenarios The 'Data for Refugees Challenge' Study
Guide to Mobile Data Analytics in Refugee Scenarios The 'Data for Refugees Challenge' Study
Author 
Salah, Albert Ali. editor. Pentland, Alex. editor. Lepri, Bruno. editor. Letouzé, Emmanuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12554-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Social Manufacturing: Fundamentals and Applications
Social Manufacturing: Fundamentals and Applications
Author 
Jiang, Pingyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72986-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action