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
(197)
Publication Date
-
Subject
Software engineering.
(22)
Computer science.
(20)
LANGUAGE ARTS & DISCIPLINES / Linguistics / General.
(13)
Engineering.
(12)
Systems engineering.
(12)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
199 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
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 
TK5105.546 .A98 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Tonal Accents in Norwegian : Phonology, morphology and lexical specification
Tonal Accents in Norwegian : Phonology, morphology and lexical specification
Author 
Wetterlin, Allison, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110234381
https://www.degruyter.com/isbn/9783110234381
Cover https://www.degruyter.com/document/cover/isbn/9783110234381/original
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification
Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification
Author 
Gamatie, Abdoulaye. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0941-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip
VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip
Author 
Lin, Youn-Long Steve. author. Kao, Chao-Yang. author. Kuo, Hung-Chih. author. Chen, Jian-Wen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0959-6
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009
Author 
Borrione, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9304-2
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
Author 
Montali, Marco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14538-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Developing Business Application Systems On the Specification and Selection of Software Components and Services
Developing Business Application Systems On the Specification and Selection of Software Components and Services
Author 
Skroch, Oliver. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8349-8858-4
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Theory building for hypothesis specification in organizational studies
Theory building for hypothesis specification in organizational studies
Author 
Pawar, Badrinarayan Shankar, 1962-
Preferred Shelf Number 
ONLINE(369762.1)
Electronic Access 
SAGE knowledge http://sk.sagepub.com/books/theory-building-for-hypothesis-specification-in-organizational-studies
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Author 
Radetzki, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9714-0
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Author 
Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04164-8
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
Author 
Graham, T. C. Nicholas. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70569-7
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Embedded Systems Specification and Design Languages Selected contributions from FDL’07
Embedded Systems Specification and Design Languages Selected contributions from FDL’07
Author 
Villar, Eugenio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8297-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action