Limit Search Results
Author
SpringerLink (Online service)
(340)
Cao, Longbing. editor. (orcid)0000-0003-1524-9063
(7)
Kumar, Vipin. editor. (orcid)0000-0002-9040-2665
(7)
Li, Keqiu. editor.
(7)
Shi, Yuhui. editor.
(7)
Language
Publication Date
-
Subject
Artificial intelligence.
(154)
Computer science -- Mathematics.
(101)
Design and Analysis of Algorithms.
(93)
Numerical analysis.
(92)
Computer networks .
(80)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
373 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for High-Performance Computing and Big Data Analysis Second International Congress, TopHPC 2019, Tehran, Iran, April 23–25, 2019, Revised Selected Papers
High-Performance Computing and Big Data Analysis Second International Congress, TopHPC 2019, Tehran, Iran, April 23–25, 2019, Revised Selected Papers
Author 
Grandinetti, Lucio. editor. Mirtaheri, Seyedeh Leili. editor. Shahbazian, Reza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33495-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Analysis of Experimental Algorithms Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers
Analysis of Experimental Algorithms Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers
Author 
Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383 Pardalos, Panos. editor. (orcid)0000-0003-2824-101X Parsopoulos, Konstantinos E. editor. Souravlias, Dimitris. editor. Tsokas, Arsenis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34029-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Error-Correction Coding and Decoding Bounds, Codes, Decoders, Analysis and Applications
Error-Correction Coding and Decoding Bounds, Codes, Decoders, Analysis and Applications
Author 
Tomlinson, Martin. author. Tjhai, Cen Jung. author. Ambroze, Marcel A. author. Ahmed, Mohammed. author. Jibril, Mubarak. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51103-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 21st Iberoamerican Congress, CIARP 2016, Lima, Peru, November 8-11, 2016, Proceedings
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 21st Iberoamerican Congress, CIARP 2016, Lima, Peru, November 8-11, 2016, Proceedings
Author 
Beltrán-Castañón, César. editor. Nyström, Ingela. editor. Famili, Fazel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52277-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Numerical Analysis and Its Applications 6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised Selected Papers
Numerical Analysis and Its Applications 6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised Selected Papers
Author 
Dimov, Ivan. editor. (orcid)0000-0003-4198-5830 Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57099-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Author 
Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54580-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Author 
Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65765-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Combinatorial Image Analysis 18th International Workshop, IWCIA 2017, Plovdiv, Bulgaria, June 19-21, 2017, Proceedings
Combinatorial Image Analysis 18th International Workshop, IWCIA 2017, Plovdiv, Bulgaria, June 19-21, 2017, Proceedings
Author 
Brimkov, Valentin E. editor. Barneva, Reneta P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59108-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Author 
Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54577-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Constructive Side-Channel Analysis and Secure Design 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers
Constructive Side-Channel Analysis and Secure Design 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers
Author 
Standaert, François-Xavier. editor. Oswald, Elisabeth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43283-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
Author 
Rival, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53413-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advances in Intelligent Data Analysis XV 15th International Symposium, IDA 2016, Stockholm, Sweden, October 13-15, 2016, Proceedings
Advances in Intelligent Data Analysis XV 15th International Symposium, IDA 2016, Stockholm, Sweden, October 13-15, 2016, Proceedings
Author 
Boström, Henrik. editor. Knobbe, Arno. editor. Soares, Carlos. editor. Papapetrou, Panagiotis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46349-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action