Limit Search Results
Author
SpringerLink (Online service)
(34)
Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874
(3)
Lee, Roger. editor.
(3)
Oplatkova, Zuzana Kominkova. editor.
(3)
Prokopova, Zdenka. editor.
(3)
Language
Subject
Artificial intelligence.
(18)
Computational intelligence.
(14)
Software engineering.
(12)
Application software.
(5)
Computer and Information Systems Applications.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
34 Results Found Subscribe to search results
0000000000DEFAULT
Print
4393. 
Cover image for Information Systems Design and Intelligent Applications Proceedings of Third International Conference INDIA 2016, Volume 3
Information Systems Design and Intelligent Applications Proceedings of Third International Conference INDIA 2016, Volume 3
Author 
Satapathy, Suresh Chandra. editor. Mandal, Jyotsna Kumar. editor. (orcid)0000-0001-9447-647X Udgata, Siba K. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2757-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4394. 
Cover image for Proceedings of the Mediterranean Conference on Information & Communication Technologies 2015 MedCT 2015 Volume 2
Proceedings of the Mediterranean Conference on Information & Communication Technologies 2015 MedCT 2015 Volume 2
Author 
El Oualkadi, Ahmed. editor. Choubani, Fethi. editor. El Moussati, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30298-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4395. 
Cover image for Proceedings of 4th International Conference in Software Engineering for Defence Applications SEDA 2015
Proceedings of 4th International Conference in Software Engineering for Defence Applications SEDA 2015
Author 
Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924 Sillitti, Alberto. editor. Succi, Giancarlo. editor. Messina, Angelo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27896-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4396. 
Cover image for Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014
Author 
Oppenheimer, Frank. editor. Medina Pasaje, Julio Luis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24457-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4397. 
Cover image for Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015
Author 
Drechsler, Rolf. editor. Wille, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31723-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4398. 
Cover image for Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33810-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4399. 
Cover image for Evaluation of Novel Approaches to Software Engineering 10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30243-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4400. 
Cover image for Deductive Software Verification - The KeY Book From Theory to Practice
Deductive Software Verification - The KeY Book From Theory to Practice
Author 
Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49812-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4401. 
Cover image for Anaphora Resolution Algorithms, Resources, and Applications
Anaphora Resolution Algorithms, Resources, and Applications
Author 
Poesio, Massimo. editor. Stuckardt, Roland. editor. Versley, Yannick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-47909-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4402. 
Cover image for Automation Control Theory Perspectives in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 3
Automation Control Theory Perspectives in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 3
Author 
Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33389-2
Format: 
Availability 
Online Library~1
Available:
Copies: