Limit Search Results
Author
SpringerLink (Online service)
(50)
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776
(4)
Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162
(4)
Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940
(3)
Moreno-Díaz, Roberto. editor.
(3)
Language
Publication Date
-
Subject
Software engineering.
(30)
Artificial intelligence.
(21)
Computer science.
(19)
Computer networks .
(13)
Computer Communication Networks.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
57 Results Found Subscribe to search results
000000000DEFAULT
Print
49. 
Cover image for AI*IA 2016 Advances in Artificial Intelligence XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings
AI*IA 2016 Advances in Artificial Intelligence XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings
Author 
Adorni, Giovanni. editor. Cagnoni, Stefano. editor. Gori, Marco. editor. Maratea, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49130-1
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Author 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27683-0
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
Author 
Herdt, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-12680-3
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Author 
Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15201-1
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Foundations of Biomedical Knowledge Representation Methods and Applications
Foundations of Biomedical Knowledge Representation Methods and Applications
Author 
Hommersom, Arjen. editor. Lucas, Peter J.F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28007-3
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Modeling in Event-B system and software engineering
Modeling in Event-B system and software engineering
Author 
Abrial, Jean-Raymond.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Handbook of digital human modeling : research for applied ergonomics and human factors engineering
Handbook of digital human modeling : research for applied ergonomics and human factors engineering
Author 
Duffy, Vincent G.
Preferred Shelf Number 
TA166 .H2735 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Reconfigurable system design and verification
Reconfigurable system design and verification
Author 
Hsiung, Pao-Ann, author. Huang, Chun-Hsian. Santambrogio, Marco D. (Marco Domenico)
Preferred Shelf Number 
TK7895 .E42 H79 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Pharmaceutical process validation
Pharmaceutical process validation
Author 
Berry, Ira R., 1942- Nash, Robert A., 1930-
Preferred Shelf Number 
RS189 .P46 2003
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action