Limit Search Results
Author
SpringerLink (Online service)
(29)
Brooks, David R. author.
(3)
Ayala-Rincón, Mauricio. author.
(1)
Ben-Ari, Mordechai. editor.
(1)
Bijalwan, Anchit, editor.
(1)
Language
Publication Date
-
Subject
Engineering.
(7)
Computer Science Logic and Foundations of Programming.
(6)
Software engineering.
(6)
Computer science -- Mathematics.
(5)
Mathematics.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
32 Results Found Subscribe to search results
00000000DEFAULT
Print
1. 
Cover image for Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Author 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56841-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Provably Correct Systems
Provably Correct Systems
Author 
Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48628-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Author 
Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Eleventh Hour CISSP®
Eleventh Hour CISSP®
Author 
Conrad, Eric, author. Seth Misenar, author. Joshua Feldman, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128112489
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Evolutionary Computer Vision The First Footprints
Evolutionary Computer Vision The First Footprints
Author 
Olague, Gustavo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43693-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings
Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings
Author 
Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Gortsev, Alexander. editor. Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Yakupov, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44615-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks
Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks
Author 
Nikoletseas, Sotiris. editor. Yang, Yuanyuan. editor. Georgiadis, Apostolos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46810-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for IP telephony deploying VoIP protocols and IMS infrastructure
IP telephony deploying VoIP protocols and IMS infrastructure
Author 
Hersent, Olivier.
Preferred Shelf Number 
ONLINE(318961.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=589190
ebrary http://site.ebrary.com/id/10419090
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=339156
John Wiley http://dx.doi.org/10.1002/9780470973080
Format: 
Availability 
Online Library~1
Available:
Copies: