Limit Search Results
Author
SpringerLink (Online service)
(344)
Pichler, Franz. editor.
(9)
Leung, Chi Sing. editor.
(7)
Moreno-Díaz, Roberto. editor.
(7)
Quesada-Arencibia, Alexis. editor.
(7)
Language
Publication Date
-
Subject
Computer simulation.
(337)
Computer science.
(277)
Software engineering.
(80)
Computer vision.
(69)
Information systems.
(64)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
350 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Author 
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95582-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Author 
Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00151-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Nature Inspired Computing Proceedings of CSI 2015
Nature Inspired Computing Proceedings of CSI 2015
Author 
Panigrahi, Bijaya Ketan. editor. Hoda, M. N. editor. Sharma, Vinod. editor. Goel, Shivendra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6747-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Introduction to EEG- and speech-based emotion recognition
Introduction to EEG- and speech-based emotion recognition
Author 
Abhang, Priyanka A., author. Gawali, Bharti W., author. Mehrotra, Suresh C., author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9780128044902
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers
Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers
Author 
Obaidat, Mohammad S. editor. Koziel, Slawomir. editor. Kacprzyk, Janusz. editor. Leifsson, Leifur. editor. Ören, Tuncer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11457-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Information Systems Design and Intelligent Applications Proceedings of Second International Conference INDIA 2015, Volume 2
Information Systems Design and Intelligent Applications Proceedings of Second International Conference INDIA 2015, Volume 2
Author 
Mandal, J. K. editor. Satapathy, Suresh Chandra. editor. Kumar Sanyal, Manas. editor. Sarkar, Partha Pratim. editor. Mukhopadhyay, Anirban. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2247-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedings
Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedings
Author 
Demazeau, Yves. editor. Zambonelli, Franco. editor. (orcid)0000-0002-6837-8806 Corchado Rodríguez, Juan M. editor. Bajo Pérez, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07551-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Multi-Agent-Based Simulation XIV International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
Multi-Agent-Based Simulation XIV International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
Author 
Alam, Shah Jamal. editor. Parunak, H. Van Dyke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54783-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Advances in Artificial Intelligence -- IBERAMIA 2014 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings
Advances in Artificial Intelligence -- IBERAMIA 2014 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings
Author 
Bazzan, Ana L.C. editor. Pichara, Karim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12027-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Haptics: Neuroscience, Devices, Modeling, and Applications 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part II
Haptics: Neuroscience, Devices, Modeling, and Applications 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part II
Author 
Auvray, Malika. editor. Duriez, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44196-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Multiagent System Technologies 12th German Conference, MATES 2014, Stuttgart, Germany, September 23-25, 2014, Proceedings
Multiagent System Technologies 12th German Conference, MATES 2014, Stuttgart, Germany, September 23-25, 2014, Proceedings
Author 
Müller, Jörg P. editor. Weyrich, Michael. editor. Bazzan, Ana L.C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11584-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Artificial Intelligence: Methodology, Systems, and Applications 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014, Proceedings
Artificial Intelligence: Methodology, Systems, and Applications 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014, Proceedings
Author 
Agre, Gennady. editor. (orcid)0000-0003-4610-7973 Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472 Krisnadhi, Adila A. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10554-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action