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
English
(121)
Publication Date
-
Subject
Intelligence artificielle.
(37)
Computational intelligence.
(29)
Electronic books.
(22)
Computer science.
(18)
COMPUTERS.
(17)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
121 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Author 
Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71734-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings
Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings
Author 
Voros, Nikolaos. editor. Huebner, Michael. editor. Keramidas, Georgios. editor. Goehringer, Diana. editor. Antonopoulos, Christos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78890-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89963-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Society 5.0 : industry of the future, technologies, methods and tools
Society 5.0 : industry of the future, technologies, methods and tools
Author 
Salgues, Bruno, author.
Preferred Shelf Number 
HD45
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119507314
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 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:
9. 
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:
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