Limit Search Results
Author
SpringerLink (Online service)
(157)
Chen, Xilin. editor.
(12)
Ji, Rongrong. editor. (orcid)0000-0003-4739-8936
(12)
Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
(12)
Ma, Zhanyu. editor.
(12)
Language
English
(157)
Publication Date
-
Subject
Computer networks .
(145)
Artificial intelligence.
(67)
Application software.
(57)
Computer and Information Systems Applications.
(57)
Software engineering.
(35)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
157 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings
Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings
Author 
Chaki, Nabendu. editor. Cortesi, Agostino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27245-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Author 
Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12002-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Author 
Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78800-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Modelling and Analysis of Hybrid Supervisory Systems A Petri Net Approach
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:
6. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Author 
Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71209-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
Author 
Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11691372
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Switched and Impulsive Systems Analysis, Design, and Applications
Switched and Impulsive Systems Analysis, Design, and Applications
Author 
Li, Zhengguo. author. Soh, Yengchai. author. Wen, Changyun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b100366
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Author 
Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107194
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Security and Privacy in Social Networks and Big Data 10th International Symposium, SocialSec 2024, Abu Dhabi, United Arab Emirates, November 20-22, 2024, Proceedings
Security and Privacy in Social Networks and Big Data 10th International Symposium, SocialSec 2024, Abu Dhabi, United Arab Emirates, November 20-22, 2024, Proceedings
Author 
Al-kfairy, Mousa. editor. (orcid)0000-0003-3180-3861 Aldwairi, Monther. editor. (orcid)0000-0003-1150-2404 Raymond Choo, Kim-Kwang. editor. (orcid)0000-0001-9208-5336 Tubishat, Mohammad. editor. (orcid)0000-0003-1464-8345 Alrabaee, Saed. editor. (orcid)0000-0001-8842-493X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3774-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computer Security. ESORICS 2024 International Workshops DPM, CBT, and CyberICPS, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part I
Computer Security. ESORICS 2024 International Workshops DPM, CBT, and CyberICPS, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part I
Author 
Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Barker, Ken. editor. Navarro-Arribas, Guillermo. editor. (orcid)0000-0003-3535-942X Pérez-Solà, Cristina. editor. (orcid)0000-0001-7534-1326 Delgado-Segura, Sergi. editor. (orcid)0000-0001-7783-7288
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82349-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Digital Communications
Digital Communications
Author 
Sampaio de Alencar, Marcelo. author. da Rocha, Jr., Valdemar Cardoso. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92397-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action