Limit Search Results
Author
SpringerLink (Online service)
(70)
Bramer, Max. author.
(2)
Noble, James. editor.
(2)
Voronkov, Andrei. editor.
(2)
Abreu, Salvador. editor.
(1)
Language
Publication Date
-
2013
(68)
2015
(2)
Subject
Computer science.
(68)
Software engineering.
(43)
Programming Languages, Compilers, Interpreters.
(37)
Logic design.
(23)
Logics and Meanings of Programs.
(23)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
70 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for The Deductive Spreadsheet
The Deductive Spreadsheet
Author 
Cervesato, Iliano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334475.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37747-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Author 
Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334552.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38197-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
Author 
Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334683.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38856-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
Author 
Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334870.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39955-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Author 
Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334962.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40537-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
Author 
Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334968.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40561-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings
Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings
Author 
Perny, Patrice. editor. Pirlot, Marc. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335124.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41575-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Author 
Hinze, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335126.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41582-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Ada 2012 Rationale The Language, The Standard Libraries
Ada 2012 Rationale The Language, The Standard Libraries
Author 
Barnes, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335195.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45210-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Pointers in C A Hands on Approach
Pointers in C A Hands on Approach
Author 
Toppo, Naveen. author. Dewan, Hrishikesh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330727.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5912-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Java Quick Syntax Reference
Java Quick Syntax Reference
Author 
Olsson, Mikael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330770.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6287-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Guide to Cloud Computing Principles and Practice
Guide to Cloud Computing Principles and Practice
Author 
Hill, Richard. author. Hirsch, Laurie. author. Lake, Peter. author. Moshiri, Siavash. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331022.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4603-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action