Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
17 Results Found Subscribe to search results
00000DEFAULT
Print
13. 
Cover image for Comparative Genomics RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005. Proceedings
Comparative Genomics RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005. Proceedings
Author 
McLysaght, Aoife. editor. Huson, Daniel H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11554714
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67695-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Information is Energy Definition of a physically based concept of information
Information is Energy Definition of a physically based concept of information
Author 
Pagel, Lienhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-40862-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Formal Grammar 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers
Formal Grammar 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers
Author 
Groote, Philippe. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32024-8
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Formal Grammar 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers
Formal Grammar 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers
Author 
Groote, Philippe. editor. Egg, Markus. editor. Kallmeyer, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20169-1
Format: 
Availability 
Online Library~1
Available:
Copies: