Limit Search Results
Author
SpringerLink (Online service)
(80)
Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964
(5)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(5)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(5)
Lam, Roberto. editor. (orcid)0000-0003-4297-2441
(5)
Language
Publication Date
-
Subject
Artificial intelligence.
(39)
Algorithms.
(31)
Software engineering.
(30)
Computer science—Mathematics.
(21)
Mathematical logic.
(20)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
80 Results Found Subscribe to search results
00000000DEFAULT
Print
73. 
Cover image for Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Author 
Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43652-3
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Applications of Evolutionary Computation 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Applications of Evolutionary Computation 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Author 
Esparcia-Alcázar, Anna I. editor. Mora, Antonio M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45523-4
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings
LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings
Author 
Pardo, Alberto. editor. Viola, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54423-1
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings
Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings
Author 
Beckmann, Arnold. editor. Csuhaj-Varjú, Ersébet. editor. Meer, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08019-2
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
Author 
Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43951-7
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers
Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers
Author 
Bacon, Dave. editor. Martin-Delgado, Miguel. editor. Roetteler, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54429-3
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers
Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers
Author 
Atmanspacher, Harald. editor. Haven, Emmanuel. editor. Kitto, Kirsty. editor. Raine, Derek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54943-4
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers
Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers
Author 
Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sosík, Petr. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14370-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action