Limit Search Results
Author
SpringerLink (Online service)
(35)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(3)
Liang, Qilian. editor.
(3)
Liu, Xin. editor.
(3)
Na, Zhenyu. editor.
(3)
Language
Publication Date
-
Subject
Computer Engineering and Networks.
(31)
Computer networks .
(31)
Computer science.
(21)
Computer Science Logic and Foundations of Programming.
(17)
Software engineering.
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
39 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings
SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings
Author 
Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68015-6
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Author 
Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63121-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains
A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains
Author 
Göbel, Susanne. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-11765-8
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Security of Industrial Control Systems and Cyber Physical Systems First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21-22, 2015 Revised Selected Papers
Security of Industrial Control Systems and Cyber Physical Systems First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21-22, 2015 Revised Selected Papers
Author 
Bécue, Adrien. editor. Cuppens-Boulahia, Nora. editor. Cuppens, Frédéric. editor. Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40385-4
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Author 
Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45477-1
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Author 
Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41540-6
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
Author 
Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41528-4
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Collaborative Design for Embedded Systems Co-modelling and Co-simulation
Collaborative Design for Embedded Systems Co-modelling and Co-simulation
Author 
Fitzgerald, John. editor. Larsen, Peter Gorm. editor. Verhoef, Marcel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54118-6
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for The Unknown Component Problem Theory and Applications
The Unknown Component Problem Theory and Applications
Author 
Villa, Tiziano. author. Yevtushenko, Nina. author. Brayton, Robert K. author. Mishchenko, Alan. author. Petrenko, Alexandre. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68759-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Computer organization, design, and architecture
Computer organization, design, and architecture
Author 
Shiva, Sajjan G., author. Shiva, Sajjan G. Computer design and architecture.
Preferred Shelf Number 
TK7885 .S525 2008
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Digital design and fabrication
Digital design and fabrication
Author 
Oklobdzija, Vojin G.
Preferred Shelf Number 
TK7885 .D54 2008
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets