Limit Search Results
Author
SpringerLink (Online service)
(104)
Maciaszek, Leszek A. editor.
(3)
Aalst, Wil M. P. editor.
(2)
Boer, Frank S. editor.
(2)
Bonacina, Maria Paola. editor.
(2)
Language
English
(104)
Publication Date
-
2013
(104)
Subject
Logic design.
(104)
Computer science.
(103)
Software engineering.
(77)
Mathematical Logic and Formal Languages.
(55)
Programming Languages, Compilers, Interpreters.
(48)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
104 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
Author 
Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334821.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39614-4
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
Author 
Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.
Preferred Shelf Number 
ONLINE(334822.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39617-5
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Author 
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334825.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39634-2
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
Author 
Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334832.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39666-3
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334840.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39718-9
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
Author 
Sharygina, Natasha. editor. Veith, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334851.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39799-8
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Author 
Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335003.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40787-1
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Social Semantics The Search for Meaning on the Web
Social Semantics The Search for Meaning on the Web
Author 
Halpin, Harry. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331289.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1885-6
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333558.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32341-6
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Author 
Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334034.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35705-3
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
Author 
Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Preferred Shelf Number 
ONLINE(334041.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35737-4
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 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 
Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334348.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37036-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action