Limit Search Results
Author
SpringerLink (Online service)
(429)
Kurosu, Masaaki. editor.
(13)
Hashizume, Ayako. editor.
(12)
Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220
(10)
Antona, Margherita. editor.
(8)
Language
English
(473)
Publication Date
-
Subject
Computational intelligence.
(161)
Application software.
(79)
Computer and Information Systems Applications.
(76)
Computer networks .
(74)
Software engineering.
(69)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
473 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Author 
Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48869-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
Author 
Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42019-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Author 
Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29613-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Imprecision and Uncertainty in Information Representation and Processing New Tools Based on Intuitionistic Fuzzy Sets and Generalized Nets
Imprecision and Uncertainty in Information Representation and Processing New Tools Based on Intuitionistic Fuzzy Sets and Generalized Nets
Author 
Angelov, Plamen. editor. Sotirov, Sotir. editor. (orcid)0000-0003-1292-6225 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26302-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Intelligent Systems'2014 Proceedings of the 7th IEEE International Conference Intelligent Systems IS'2014, September 24‐26, 2014, Warsaw, Poland, Volume 2: Tools, Architectures, Systems, Applications
Intelligent Systems'2014 Proceedings of the 7th IEEE International Conference Intelligent Systems IS'2014, September 24‐26, 2014, Warsaw, Poland, Volume 2: Tools, Architectures, Systems, Applications
Author 
Filev, D. editor. Jabłkowski, J. editor. Kacprzyk, J. editor. Krawczak, M. editor. Popchev, I. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11310-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Harmonization and Development of Resources and Tools for Italian Natural Language Processing within the PARLI Project
Harmonization and Development of Resources and Tools for Italian Natural Language Processing within the PARLI Project
Author 
Basili, Roberto. editor. Bosco, Cristina. editor. Delmonte, Rodolfo. editor. Moschitti, Alessandro. editor. Simi, Maria. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14206-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
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:
9. 
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:
10. 
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:
11. 
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:
12. 
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:
Select an Action