Limit Search Results
Author
SpringerLink (Online service)
(49)
Artho, Cyrille. editor.
(2)
Geshi, Masaaki. editor.
(2)
Sobolev, Sergey. editor.
(2)
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
(2)
Language
Publication Date
-
Subject
Computer Modelling.
(43)
Software engineering.
(34)
Computer Science Logic and Foundations of Programming.
(32)
Computer science.
(32)
Computer programming.
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
53 Results Found Subscribe to search results
00000DEFAULT
Print
49. 
Cover image for Models@run.time Foundations, Applications, and Roadmaps
Models@run.time Foundations, Applications, and Roadmaps
Author 
Bencomo, Nelly. editor. France, Robert B. editor. Cheng, Betty H.C. editor. Aßmann, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08915-7
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
Author 
Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09099-3
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Emotion Modeling Towards Pragmatic Computational Models of Affective Processes
Emotion Modeling Towards Pragmatic Computational Models of Affective Processes
Author 
Bosse, Tibor. editor. Broekens, Joost. editor. Dias, João. editor. (orcid)0000-0002-1653-1821 van der Zwaan, Janneke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12973-0
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Bayesian programming
Bayesian programming
Author 
Bessiere, Pierre.
Preferred Shelf Number 
QA76.6 B4764 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
53. 
Cover image for Object-oriented simulation reusability, adaptability, maintainability
Object-oriented simulation reusability, adaptability, maintainability
Author 
Zobrist, George W. (George Winston), 1934- Leonard, James V.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263105
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action