Limit Search Results
Author
SpringerLink (Online service)
(143)
Csuhaj-Varjú, Ersébet. editor.
(3)
Paschos, Vangelis Th.
(3)
Shi, Yuhui. editor.
(3)
Bonato, Anthony. editor.
(2)
Language
English
(154)
Subject
Computer science—Mathematics.
(108)
Algorithms.
(47)
Computer mathematics.
(41)
Artificial intelligence.
(31)
Computers.
(27)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
154 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings
Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings
Author 
Jürjens, Jan. editor. Piessens, Frank. editor. Bielova, Nataliia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04897-0
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Modelling and Simulation of Diffusive Processes Methods and Applications
Modelling and Simulation of Diffusive Processes Methods and Applications
Author 
Basu, S.K. editor. Kumar, Naveen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05657-9
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
Author 
Hirsch, Edward. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pin, Jean-Éric. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06686-8
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
Author 
Höfner, Peter. editor. Jipsen, Peter. editor. Kahl, Wolfram. editor. Müller, Martin Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06251-8
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Multivariate Network Visualization Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions
Multivariate Network Visualization Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions
Author 
Kerren, Andreas. editor. Purchase, Helen. editor. Ward, Matthew O. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06793-3
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Information Visualization An Introduction
Information Visualization An Introduction
Author 
Spence, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07341-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Author 
Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08587-6
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Author 
Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08615-6
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Author 
Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09284-3
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Structural Information and Communication Complexity 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014, Proceedings
Structural Information and Communication Complexity 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014, Proceedings
Author 
Halldórsson, Magnús M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09620-9
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Parallel Problem Solving from Nature -- PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17,2014, Proceedings
Parallel Problem Solving from Nature -- PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17,2014, Proceedings
Author 
Bartz-Beielstein, Thomas. editor. Branke, Juergen. editor. Filipič, Bogdan. editor. (orcid)0000-0003-4428-4255 Smith, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10762-2
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings
DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings
Author 
Murata, Satoshi. editor. Kobayashi, Satoshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11295-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets