Limit Search Results
Author
SpringerLink (Online service)
(63)
Chen, Hsinchun. author.
(3)
Rattz, Joseph C. author.
(3)
Ayala, José L. editor.
(2)
Hooker, John N. author.
(2)
Language
Publication Date
-
Subject
Software engineering.
(17)
Logic design.
(14)
Systems engineering.
(14)
Management information systems.
(12)
Information systems.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
64 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Comparative E-Government
Comparative E-Government
Author 
Reddick, Christopher G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6536-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for SAT-Based Scalable Formal Verification Solutions
SAT-Based Scalable Formal Verification Solutions
Author 
Ganai, Malay K. author. Gupta, Aarti. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69167-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Design for Manufacturability and Yield for Nano-Scale CMOS
Design for Manufacturability and Yield for Nano-Scale CMOS
Author 
Chiang, Charles C. author. Kawa, Jamil. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5188-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Intelligence and Security Informatics for International Security Information Sharing and Data Mining
Intelligence and Security Informatics for International Security Information Sharing and Data Mining
Author 
Chen, Hsinchun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30332-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Semantic Web and Education
Semantic Web and Education
Author 
Devedžić, Vladan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-35417-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for A Practical Introduction to PSL
A Practical Introduction to PSL
Author 
Eisner, Cindy. author. Fisman, Dana. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36123-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Logical Data Modeling What it is and How to do it
Logical Data Modeling What it is and How to do it
Author 
Chmura, Alan. author. Heumann, J. Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b100064
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Designing and Evaluating E-Management Decision Tools The Integration of Decision and Negotiation Models into Internet-Multimedia Technologies
Designing and Evaluating E-Management Decision Tools The Integration of Decision and Negotiation Models into Internet-Multimedia Technologies
Author 
Beroggi, Giampiero E. G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b100802
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Legal Programming Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond
Legal Programming Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond
Author 
Subirana, Brian. author. Bain, Malcolm. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b101542
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Digital Twins for Vessel Life Cycle Service Innovation in Maritime Industry
Digital Twins for Vessel Life Cycle Service Innovation in Maritime Industry
Author 
Zhang, Houxiang. author. (orcid)0000-0003-0122-0964 Li, Guoyuan. author. (orcid)0000-0001-7553-0899 Hildre, Hans Petter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-4768-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for On Sets and Graphs Perspectives on Logic and Combinatorics
On Sets and Graphs Perspectives on Logic and Combinatorics
Author 
Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54981-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Author 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52228-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action