Limit Search Results
Author
SpringerLink (Online service)
(98)
Lankhorst, Marc. author.
(3)
Bjørner, Dines. author.
(2)
Calisti, Monique. editor.
(2)
Cockton, Gilbert. editor.
(2)
Language
English
(109)
Publication Date
-
Subject
Computer science.
(60)
Artificial intelligence.
(18)
Logic design.
(11)
User Interfaces and Human Computer Interaction.
(10)
Application software.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
111 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for A pragmatic programmer for machine learning : engineering analytics and data science solutions
A pragmatic programmer for machine learning : engineering analytics and data science solutions
Author 
Scutari, Marco, author. Malvestio, Mauro, author.
Preferred Shelf Number 
Q325.5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429292835
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Process Algebras for Petri Nets The Alphabetization of Distributed Systems
Process Algebras for Petri Nets The Alphabetization of Distributed Systems
Author 
Gorrieri, Roberto. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55559-1
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Models of Computation
Models of Computation
Author 
Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42900-7
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
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:
53. 
Cover image for Pragmatic Evaluation of Software Architectures
Pragmatic Evaluation of Software Architectures
Author 
Knodel, Jens. author. Naab, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-34177-4
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Aligning Organizations Through Measurement The GQM+Strategies Approach
Aligning Organizations Through Measurement The GQM+Strategies Approach
Author 
Basili, Victor. author. Trendowicz, Adam. author. Kowalczyk, Martin. author. Heidrich, Jens. author. Seaman, Carolyn. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05047-8
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development
Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development
Author 
Trendowicz, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333358.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30764-5
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Autonomous Sensor Networks Collective Sensing Strategies for Analytical Purposes
Autonomous Sensor Networks Collective Sensing Strategies for Analytical Purposes
Author 
Filippini, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333878.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34648-4
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Foundations of Algebraic Specification and Formal Software Development
Foundations of Algebraic Specification and Formal Software Development
Author 
Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17336-3
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Software Process Definition and Management
Software Process Definition and Management
Author 
Münch, Jürgen. author. Armbrust, Ove. author. Kowalczyk, Martin. author. Soto, Martín. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24291-5
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Temporal Logic and State Systems
Temporal Logic and State Systems
Author 
Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68635-4
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Unfoldings A Partial-Order Approach to Model Checking
Unfoldings A Partial-Order Approach to Model Checking
Author 
Esparza, Javier. author. Heljanko, Keijo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77426-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action