Limit Search Results
Author
SpringerLink (Online service)
(93)
Dastani, Mehdi. editor.
(3)
Wiley InterScience (Online service)
(3)
Duan, Zhenhua. editor.
(2)
Filipe, Joaquim. editor.
(2)
Language
English
(146)
Publication Date
-
Subject
Software engineering.
(21)
Computer science.
(20)
Engineering.
(12)
Systems engineering.
(12)
Logic design.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
148 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Author 
Schlingloff, Bernd-Holger. editor. Vogel, Thomas. editor. Skowron, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26651-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Security Policy in System-on-Chip Designs Specification, Implementation and Verification
Security Policy in System-on-Chip Designs Specification, Implementation and Verification
Author 
Ray, Sandip. author. Basak, Abhishek. author. Bhunia, Swarup. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93464-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for High Efficiency Video Coding Coding Tools and Specification
High Efficiency Video Coding Coding Tools and Specification
Author 
Wien, Mathias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44276-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi
Author 
Iida, Shusaku. editor. Meseguer, José. editor. Ogata, Kazuhiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54624-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Recent Advances and Future Directions in Causality, Prediction, and Specification Analysis Essays in Honor of Halbert L. White Jr
Recent Advances and Future Directions in Causality, Prediction, and Specification Analysis Essays in Honor of Halbert L. White Jr
Author 
Chen, Xiaohong. editor. Swanson, Norman R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331278.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1653-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for An ASIC Low Power Primer Analysis, Techniques and Specification
An ASIC Low Power Primer Analysis, Techniques and Specification
Author 
Chadha, Rakesh. author. Bhasker, J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331464.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4271-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Autonomic networking-on-chip bio-inspired specification, development, and verification
Autonomic networking-on-chip bio-inspired specification, development, and verification
Author 
Cong-Vinh, Phan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Manual of engineering drawing technical product specification and documentation to British and international standards
Manual of engineering drawing technical product specification and documentation to British and international standards
Author 
Simmons, C. H. (Colin H.) Phelps, Neil. Maguire, Dennis E.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780080966526
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for System Specification and Design Languages Selected Contributions from FDL 2010
System Specification and Design Languages Selected Contributions from FDL 2010
Author 
Kaźmierski, Tom J. editor. Morawiec, Adam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1427-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
Cover image for Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes
Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes
Author 
Storm, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2381-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation
SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation
Author 
Molter, H. Gregor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-00397-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action