Limit Search Results
Author
SpringerLink (Online service)
(34)
Karpov, Pavel. editor. (orcid)0000-0003-4786-9806
(4)
Kůrková, Věra. editor. (orcid)0000-0002-8181-2128
(4)
Tetko, Igor V. editor. (orcid)0000-0002-6855-0012
(4)
Theis, Fabian. editor. (orcid)0000-0002-2419-1943
(4)
Language
Publication Date
-
Subject
Computer security.
(31)
Data encryption (Computer science).
(18)
Artificial intelligence.
(12)
Optical data processing.
(9)
Computer science.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
38 Results Found Subscribe to search results
00DEFAULT
Print
37. 
Cover image for Distributed Computing and Internet Technology 10th International Conference, ICDCIT 2014, Bhubaneswar, India, February 6-9, 2014, Proceedings
Distributed Computing and Internet Technology 10th International Conference, ICDCIT 2014, Bhubaneswar, India, February 6-9, 2014, Proceedings
Author 
Natarajan, Raja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04483-5
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Author 
Klein, Gerwin. editor. Gamboa, Ruben. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08970-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets