Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
8 Results Found Subscribe to search results
00000000DEFAULT
Print
1. 
Cover image for Conceptual Modeling Perspectives
Conceptual Modeling Perspectives
Author 
Cabot, Jordi. editor. Gómez, Cristina. editor. Pastor, Oscar. editor. Sancho, Maria Ribera. editor. Teniente, Ernest. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67271-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers
Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers
Author 
Kotsireas, Ilias S. editor. (orcid)0000-0003-2126-8383 Rump, Siegfried M. editor. Yap, Chee K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32859-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Decision Procedures An Algorithmic Point of View
Decision Procedures An Algorithmic Point of View
Author 
Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-50497-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Artificial General Intelligence 9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016, Proceedings
Artificial General Intelligence 9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016, Proceedings
Author 
Steunebrink, Bas. editor. Wang, Pei. editor. Goertzel, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41649-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Recent Developments in the Numerics of Nonlinear Hyperbolic Conservation Laws Lectures Presented at a Workshop at the Mathematical Research Institute Oberwolfach, Germany, Jan 15 – 21, 2012
Recent Developments in the Numerics of Nonlinear Hyperbolic Conservation Laws Lectures Presented at a Workshop at the Mathematical Research Institute Oberwolfach, Germany, Jan 15 – 21, 2012
Author 
Ansorge, Rainer. editor. Bijl, Hester. editor. Meister, Andreas. editor. Sonar, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333681.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33221-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Requirements Engineering and Management for Software Development Projects
Requirements Engineering and Management for Software Development Projects
Author 
Chemuturi, Murali. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331756.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5377-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Reinforcement and systemic machine learning for decision making
Reinforcement and systemic machine learning for decision making
Author 
Kulkarni, Parag.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6266787
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computer, network, software, and hardware engineering with applications
Computer, network, software, and hardware engineering with applications
Author 
Schneidewind, Norman.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEEXplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884
Format: 
Availability 
Online Library~1
Available:
Copies: