Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
7 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for Automation, Communication and Cybernetics in Science and Engineering 2011/2012
Automation, Communication and Cybernetics in Science and Engineering 2011/2012
Author 
Jeschke, Sabina. editor. Isenhardt, Ingrid. editor. Hees, Frank. editor. Henning, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333703.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33389-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Particle Filters for Random Set Models
Particle Filters for Random Set Models
Author 
Ristic, Branko. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332002.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6316-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Author 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334724.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39071-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Game Theoretic Problems in Network Economics and Mechanism Design Solutions
Game Theoretic Problems in Network Economics and Mechanism Design Solutions
Author 
Prakash, Hastagiri. author. Narayanam, Ramasuri. author. Garg, Dinesh. author. Narahari, Y. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-938-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Author 
Kauers, Manuel. editor. Kerber, Manfred. editor. Miner, Robert. editor. Windsteiger, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73086-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings
Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings
Author 
Borwein, Jonathan M. editor. Farmer, William M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11812289
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Author 
Kohlhase, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11618027
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets