Limit Search Results
Author
SpringerLink (Online service)
(180)
Raś, Zbigniew W. editor.
(6)
Aldini, Alessandro. editor.
(4)
Gorrieri, Roberto. editor.
(4)
Nerode, Anil. editor.
(4)
Language
English
(187)
Publication Date
-
Subject
Logic design.
(58)
Software engineering.
(51)
Artificial intelligence.
(47)
Computer software.
(31)
Computational complexity.
(29)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
187 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
Author 
Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334925.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40313-2
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
Author 
Iyoda, Juliano. editor. Moura, Leonardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335052.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41071-0
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Foundations of Augmented Cognition 7th International Conference, AC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings
Foundations of Augmented Cognition 7th International Conference, AC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings
Author 
Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334801.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39454-6
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
Author 
Raynal, Michel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333514.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32027-9
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Author 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334038.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35722-0
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings
Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings
Author 
Vallecillo, Antonio. editor. Tolvanen, Juha-Pekka. editor. Kindler, Ekkart. editor. Störrle, Harald. editor. Kolovos, Dimitris. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31491-9
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Author 
Gheyi, Rohit. editor. Naumann, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33296-8
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Outdoor and Large-Scale Real-World Scene Analysis 15th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, June 26 - July 1, 2011. Revised Selected Papers
Outdoor and Large-Scale Real-World Scene Analysis 15th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, June 26 - July 1, 2011. Revised Selected Papers
Author 
Dellaert, Frank. editor. Frahm, Jan-Michael. editor. Pollefeys, Marc. editor. Leal-Taixé, Laura. editor. Rosenhahn, Bodo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34091-8
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Foundations of Intelligent Systems 20th International Symposium, ISMIS 2012, Macau, China, December 4-7, 2012. Proceedings
Foundations of Intelligent Systems 20th International Symposium, ISMIS 2012, Macau, China, December 4-7, 2012. Proceedings
Author 
Chen, Li. editor. Felfernig, Alexander. editor. Liu, Jiming. editor. Raś, Zbigniew W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34624-8
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday
Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday
Author 
Düsterhöft, Antje. editor. Klettke, Meike. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28279-9
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Author 
Birkedal, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28729-9
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings
Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings
Author 
Lukasiewicz, Thomas. editor. Sali, Attila. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28472-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action