Limit Search Results
Author
SpringerLink (Online service)
(2560)
Kim, Tai-hoon. editor.
(35)
Gervasi, Osvaldo. editor.
(27)
Apduhan, Bernady O. editor.
(25)
Yung, Moti. editor.
(25)
Language
Publication Date
-
Subject
Computer software.
(2189)
Computer science.
(2063)
Artificial intelligence.
(999)
Computer Communication Networks.
(938)
Software engineering.
(670)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3211 Results Found Subscribe to search results
000000000000DEFAULT
Print
637. 
Cover image for Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings
Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings
Author 
Du, Dingzhu. editor. Li, Lian. editor. Zhu, En. editor. He, Kun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6893-5
Format: 
Availability 
Online Library~1
Available:
Copies:
638. 
Cover image for Subdivision Surface Modeling Technology
Subdivision Surface Modeling Technology
Author 
Liao, Wenhe. author. Liu, Hao. author. Li, Tao. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3515-9
Format: 
Availability 
Online Library~1
Available:
Copies:
639. 
Cover image for Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Author 
Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54292-8
Format: 
Availability 
Online Library~1
Available:
Copies:
640. 
Cover image for Recent Advances in Information Systems and Technologies Volume 2
Recent Advances in Information Systems and Technologies Volume 2
Author 
Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187 Correia, Ana Maria. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 Reis, Luís Paulo. editor. (orcid)0000-0002-4709-1718 Costanzo, Sandra. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56538-5
Format: 
Availability 
Online Library~1
Available:
Copies:
641. 
Cover image for Current Trends on Knowledge-Based Systems
Current Trends on Knowledge-Based Systems
Author 
Alor-Hernández, Giner. editor. Valencia-García, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51905-0
Format: 
Availability 
Online Library~1
Available:
Copies:
642. 
Cover image for Recent Advances in Information Systems and Technologies Volume 1
Recent Advances in Information Systems and Technologies Volume 1
Author 
Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187 Correia, Ana Maria. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 Reis, Luís Paulo. editor. (orcid)0000-0002-4709-1718 Costanzo, Sandra. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56535-4
Format: 
Availability 
Online Library~1
Available:
Copies:
643. 
Cover image for Security and Trust Management 13th International Workshop, STM 2017, Oslo, Norway, September 14-15, 2017, Proceedings
Security and Trust Management 13th International Workshop, STM 2017, Oslo, Norway, September 14-15, 2017, Proceedings
Author 
Livraga, Giovanni. editor. Mitchell, Chris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68063-7
Format: 
Availability 
Online Library~1
Available:
Copies:
644. 
Cover image for Design, User Experience, and Usability: Understanding Users and Contexts 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part III
Design, User Experience, and Usability: Understanding Users and Contexts 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part III
Author 
Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58640-3
Format: 
Availability 
Online Library~1
Available:
Copies:
645. 
Cover image for Nonlinear Model Predictive Control Theory and Algorithms
Nonlinear Model Predictive Control Theory and Algorithms
Author 
Grüne, Lars. author. Pannek, Jürgen. author. (orcid)0000-0001-5109-9627 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46024-6
Format: 
Availability 
Online Library~1
Available:
Copies:
646. 
Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Author 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
647. 
Cover image for String Analysis for Software Verification and Security
String Analysis for Software Verification and Security
Author 
Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68670-7
Format: 
Availability 
Online Library~1
Available:
Copies:
648. 
Cover image for Guide to Modeling and Simulation of Systems of Systems
Guide to Modeling and Simulation of Systems of Systems
Author 
P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64134-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action