Limit Search Results
Author
SpringerLink (Online service)
(23)
Alexander, Michael. editor.
(1)
Amann, Michael. editor.
(1)
Arabnia, Hamid R. editor.
(1)
Badia, Rosa Maria. editor.
(1)
Language
Publication Date
-
Subject
Computer science.
(16)
Computer Systems Organization and Communication Networks.
(9)
Computer software.
(9)
Algorithm Analysis and Problem Complexity.
(8)
Software engineering.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
24 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Analysis of Computer and Communication Networks
Analysis of Computer and Communication Networks
Author 
Gebali, Fayez. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-74437-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Signals and Transforms in Linear Systems Analysis
Signals and Transforms in Linear Systems Analysis
Author 
Wasylkiwskyj, Wasyl. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331330.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3287-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Analysis and Synthesis of Networked Control Systems
Analysis and Synthesis of Networked Control Systems
Author 
Xia, Yuanqing. author. Fu, Mengyin. author. Liu, Guo-Ping. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17925-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Vulnerability Analysis and Defense for the Internet
Vulnerability Analysis and Defense for the Internet
Author 
Singh, Abhishek. editor. Singh, Baibhav. editor. Joseph, Hirosh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-74390-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings
Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings
Author 
Bu, Lei. editor. (orcid)0000-0003-0517-7801 Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04272-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Constructive Side-Channel Analysis and Secure Design 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings
Constructive Side-Channel Analysis and Secure Design 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings
Author 
Fan, Junfeng. editor. Gierlichs, Benedikt. editor. (orcid)0000-0002-5866-1990 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89641-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89963-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
Author 
Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01042-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings
Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings
Author 
Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74896-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Scalable Multicasting over Next-Generation Internet Design, Analysis and Applications
Scalable Multicasting over Next-Generation Internet Design, Analysis and Applications
Author 
Tian, Xiaohua. author. Cheng, Yu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331234.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0152-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Cryptographic Protocol Security Analysis Based on Trusted Freshness
Cryptographic Protocol Security Analysis Based on Trusted Freshness
Author 
Dong, Ling. author. Chen, Kefei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24073-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Scheduling in Distributed Computing Systems Analysis, Design and Models
Scheduling in Distributed Computing Systems Analysis, Design and Models
Author 
Vidyarthi, Deo Prakash. author. Sarker, Biplab Kumer. author. Tripathi, Anil Kumar. author. Yang, Laurence Tianruo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-74483-4
Format: 
Availability 
Online Library~1
Available:
Copies: