Limit Search Results
Author
Language
Publication Date
-
Subject
Artificial intelligence.
(8)
Software engineering.
(4)
Theory of Computation.
(4)
Application software.
(3)
Bioinformatics.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
15 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Digital Decision Making Back to the Future
Digital Decision Making Back to the Future
Author 
Corrigan, Ray. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-673-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers
From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers
Author 
Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87217-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
Author 
Czekster, Ricardo M. editor. (orcid)0000-0002-6636-4398 Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87908-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Asian Digital Libraries. Looking Back 10 Years and Forging New Frontiers 10th International Conference on Asian Digital Libraries, ICADL 2007, Hanoi, Vietnam, December 10-13, 2007. Proceedings
Asian Digital Libraries. Looking Back 10 Years and Forging New Frontiers 10th International Conference on Asian Digital Libraries, ICADL 2007, Hanoi, Vietnam, December 10-13, 2007. Proceedings
Author 
Goh, Dion Hoe-Lian. editor. Cao, Tru Hoang. editor. Sølvberg, Ingeborg Torvik. editor. Rasmussen, Edie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77094-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for WITTGENSTEIN, LANGUAGE AND INFORMATION Back to the Rough Ground
WITTGENSTEIN, LANGUAGE AND INFORMATION Back to the Rough Ground
Author 
BLAIR, DAVID. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4583-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Grammars and automata for string processing : from mathematics and computer science to biology, and back
Grammars and automata for string processing : from mathematics and computer science to biology, and back
Author 
Martin Vide, Carlos. Mitrana, Victor. Paun, Gheorghe, 1950-
Preferred Shelf Number 
QA76 .G6725 2003
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Contemporary Evolution Strategies
Contemporary Evolution Strategies
Author 
Bäck, Thomas. author. Foussette, Christophe. author. Krause, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334897.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40137-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Handbook of Natural Computing
Handbook of Natural Computing
Author 
Rozenberg, Grzegorz. editor. Bäck, Thomas. editor. Kok, Joost N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92910-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Transactions on Computational Systems Biology XIII
Transactions on Computational Systems Biology XIII
Author 
Priami, Corrado. editor. Back, Ralph-Johan. editor. Petre, Ion. editor. Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19748-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Transactions on Computational Systems Biology XI
Transactions on Computational Systems Biology XI
Author 
Priami, Corrado. editor. Back, Ralph-Johan. editor. Petre, Ion. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04186-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Informatics and machine learning : from Martingales to metaheuristics
Informatics and machine learning : from Martingales to metaheuristics
Author 
Winters-Hilt, Stephen, author.
Preferred Shelf Number 
Q325.5 .W558 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for String Analysis for Software Verification and Security
String Analysis for Software Verification and Security
Author 
Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68670-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets