Limit Search Results
Author
SpringerLink (Online service)
(38)
El-Alfy, El-Sayed M. editor.
(3)
Li, Yuanqing. editor.
(3)
Liu, Derong. editor.
(3)
Xie, Shengli. editor.
(3)
Language
Publication Date
-
Subject
Artificial intelligence.
(15)
Computer networks .
(11)
Software engineering.
(9)
Computer science.
(8)
Computer vision.
(8)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
46 Results Found Subscribe to search results
0000000000DEFAULT
Print
37. 
Cover image for Architecture of Computing Systems -- ARCS 2016 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings
Architecture of Computing Systems -- ARCS 2016 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings
Author 
Hannig, Frank. editor. (orcid)0000-0003-3663-6484 Cardoso, João M.P. editor. Pionteck, Thilo. editor. Fey, Dietmar. editor. (orcid)0000-0002-6077-4732 Schröder-Preikschat, Wolfgang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30695-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains
A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains
Author 
Göbel, Susanne. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-11765-8
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Advanced Analysis and Learning on Temporal Data First ECML PKDD Workshop, AALTD 2015, Porto, Portugal, September 11, 2015, Revised Selected Papers
Advanced Analysis and Learning on Temporal Data First ECML PKDD Workshop, AALTD 2015, Porto, Portugal, September 11, 2015, Revised Selected Papers
Author 
Douzal-Chouakria, Ahlame. editor. Vilar, José A. editor. Marteau, Pierre-François. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44412-3
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Author 
Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30734-3
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Theory of Cryptography 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I
Theory of Cryptography 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I
Author 
Hirt, Martin. editor. Smith, Adam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53641-4
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Hybrid Artificial Intelligent Systems 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings
Hybrid Artificial Intelligent Systems 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings
Author 
Martínez-Álvarez, Francisco. editor. (orcid)0000-0002-6309-1785 Troncoso, Alicia. editor. Quintián, Héctor. editor. Corchado, Emilio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32034-2
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for GPS Theory, Algorithms and Applications
GPS Theory, Algorithms and Applications
Author 
Xu, Guochang. author. Xu, Yan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-50367-6
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Limits of Computation From a Programming Perspective
Limits of Computation From a Programming Perspective
Author 
Reus, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27889-6
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Simulation and Synthesis in Medical Imaging First International Workshop, SASHIMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings
Simulation and Synthesis in Medical Imaging First International Workshop, SASHIMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings
Author 
Tsaftaris, Sotirios A. editor. Gooya, Ali. editor. Frangi, Alejandro F. editor. Prince, Jerry L. editor. (orcid)0000-0002-6553-0876 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46630-9
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Data classification : algorithms and applications
Data classification : algorithms and applications
Author 
Aggarwal, Charu C., editor.
Preferred Shelf Number 
QA76.9 .F5 D38 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action