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
187 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334358.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37075-5
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Foundations and Practice of Security 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers
Foundations and Practice of Security 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers
Author 
Garcia-Alfaro, Joaquin. editor. Cuppens, Frédéric. editor. Cuppens-Boulahia, Nora. editor. Miri, Ali. editor. Tawbi, Nadia. editor.
Preferred Shelf Number 
ONLINE(334365.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37119-6
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for SemProM Foundations of Semantic Product Memories for the Internet of Things
SemProM Foundations of Semantic Product Memories for the Internet of Things
Author 
Wahlster, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334416.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37377-0
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
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:
53. 
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:
54. 
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:
55. 
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:
56. 
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:
57. 
Cover image for Guide to Computational Geometry Processing Foundations, Algorithms, and Methods
Guide to Computational Geometry Processing Foundations, Algorithms, and Methods
Author 
Bærentzen, Jakob Andreas. author. Gravesen, Jens. author. Anton, François. author. Aanæs, Henrik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4075-7
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
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:
59. 
Cover image for Foundations of Health Informatics Engineering and Systems First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers
Foundations of Health Informatics Engineering and Systems First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers
Author 
Liu, Zhiming. editor. Wassyng, Alan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32355-3
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
Author 
Rovan, Branislav. editor. Sassone, Vladimiro. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32589-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets