Search Results for Analysis.

24 Results Found

000000000000000000000000DEFAULT

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:

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:

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:

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:

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:

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:

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:

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:

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:

10.

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.

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.

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:

13.

Cover image for Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Author

Degano, Pierpaolo. editor. Viganò, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03459-6

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings

Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings

Author

Rettberg, Achim. editor. Zanella, Mauro C. editor. Amann, Michael. editor. Keckeisen, Michael. editor. Rammig, Franz J. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04284-3

Format:

Availability

Online Library~1

Available:
Copies:

15.

Modelling and Analysis of Hybrid Supervisory Systems A Petri Net Approach

Author

Villani, Emilia. author. Miyagi, Paulo E. author. Valette, Robert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-651-3

Format:

Availability

Online Library~1

Available:
Copies:

16.

Hidden link prediction in stochastic social networks

Author

Pandey, Babita, 1976- editor. Khamparia, Aditya, 1988- editor. IGI Global, publisher.

Preferred Shelf Number

ONLINE

Electronic Access

Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-9096-5

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers

Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers

Author

Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.

Preferred Shelf Number

ONLINE(334328.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36949-0

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Language Processing and Intelligent Information Systems 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings

Language Processing and Intelligent Information Systems 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings

Author

Kłopotek, Mieczysław A. editor. Koronacki, Jacek. editor. Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor. Wierzchoń, Sławomir T. editor.

Preferred Shelf Number

ONLINE(334639.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38634-3

Format:

Availability

Online Library~1

Available:
Copies:

19.