Limit Search Results
Author
SpringerLink (Online service)
(77)
Bembenik, Robert. editor.
(3)
Dastani, Mehdi. editor.
(3)
Leite, João. editor.
(3)
Bossoufi, Badre. editor.
(2)
Language
Publication Date
-
Subject
Computational intelligence.
(28)
Computer science.
(18)
Software engineering.
(17)
Engineering.
(13)
Logic design.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
79 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Author 
Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12154-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Intelligent Tools for Building a Scientific Information Platform: From Research to Implementation
Intelligent Tools for Building a Scientific Information Platform: From Research to Implementation
Author 
Bembenik, Robert. editor. Skonieczny, Łukasz. editor. Rybiński, Henryk. editor. Kryszkiewicz, Marzena. editor. Niezgódka, Marek. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04714-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Author 
Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54108-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers
Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers
Author 
Magnini, Bernardo. editor. Cutugno, Francesco. editor. Falcone, Mauro. editor. Pianta, Emanuele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334059.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35828-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Intelligent Tools for Building a Scientific Information Platform Advanced Architectures and Solutions
Intelligent Tools for Building a Scientific Information Platform Advanced Architectures and Solutions
Author 
Bembenik, Robert. editor. Skonieczny, Lukasz. editor. Rybinski, Henryk. editor. Kryszkiewicz, Marzena. editor. Niezgodka, Marek. editor.
Preferred Shelf Number 
ONLINE(334019.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35647-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
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:
8. 
Cover image for Virtual and Networked Organizations, Emergent Technologies and Tools First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papers
Virtual and Networked Organizations, Emergent Technologies and Tools First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papers
Author 
Putnik, Goran D. editor. Cruz-Cunha, Maria Manuela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31800-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
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:
11. 
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:
12. 
Cover image for Technology-Enhanced Systems and Tools for Collaborative Learning Scaffolding
Technology-Enhanced Systems and Tools for Collaborative Learning Scaffolding
Author 
Daradoumis, Thanasis. editor. Caballé, Santi. editor. Juan, Angel A. editor. Xhafa, Fatos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19814-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action