Limit Search Results
Author
SpringerLink (Online service)
(44)
Project Muse.
(3)
Wiley InterScience (Online service)
(3)
Ashmore, Peter.
(2)
Beudert, Peter.
(2)
Language
Subject
Computer science.
(15)
Engineering.
(13)
Software engineering.
(11)
Electronic books.
(9)
Artificial intelligence.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
190 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Business Processes for Business Communities Modeling Languages, Methods, Tools
Business Processes for Business Communities Modeling Languages, Methods, Tools
Author 
Schönthaler, Frank. author. Vossen, Gottfried. author. Oberweis, Andreas. author. Karle, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24791-0
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Intelligent Tools for Building a Scientific Information Platform
Intelligent Tools for Building a Scientific Information Platform
Author 
Bembenik, Robert. editor. Skonieczny, Lukasz. editor. Rybiński, Henryk. editor. Niezgodka, Marek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24809-2
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Towards an Advanced Modelling of Complex Economic Phenomena Pretopological and Topological Uncertainty Research Tools
Towards an Advanced Modelling of Complex Economic Phenomena Pretopological and Topological Uncertainty Research Tools
Author 
Aluja, Jaime Gil. author. Lafuente, Ana Maria Gil. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24812-2
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Author 
Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28756-5
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Advances in Intelligent Modelling and Simulation Simulation Tools and Applications
Advances in Intelligent Modelling and Simulation Simulation Tools and Applications
Author 
Byrski, Aleksander. editor. Oplatková, Zuzana. editor. Carvalho, Marco. editor. Kisiel-Dorohinicki, Marek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28888-3
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden
Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden
Author 
Brunst, Holger. editor. Müller, Matthias S. editor. Nagel, Wolfgang E. editor. Resch, Michael M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31476-6
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Open, Laparoscopic and Robotic Hepatic Transection Tools and Methods
Open, Laparoscopic and Robotic Hepatic Transection Tools and Methods
Author 
Di Carlo, Isidoro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-2622-3
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Analytical Tools for Assessing the Chemical Safety of Meat and Poultry
Analytical Tools for Assessing the Chemical Safety of Meat and Poultry
Author 
Toldrá, Fidel. author. Reig, Milagro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4277-6
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings
Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings
Author 
Furia, Carlo A. editor. Nanz, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30561-0
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Bisociative Knowledge Discovery An Introduction to Concept, Algorithms, Tools, and Applications
Bisociative Knowledge Discovery An Introduction to Concept, Algorithms, Tools, and Applications
Author 
Berthold, Michael R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31830-6
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Earth System Modelling - Volume 5 Tools for Configuring, Building and Running Models
Earth System Modelling - Volume 5 Tools for Configuring, Building and Running Models
Author 
Ford, Rupert. author. Riley, Graham. author. Budich, Reinhard. author. Redler, René. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23932-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Author 
Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27705-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action