Limit Search Results
Author
SpringerLink (Online service)
(197)
Cordeiro, José. editor.
(4)
Kotzé, Paula. editor.
(4)
Lindgaard, Gitte. editor.
(4)
Marsden, Gary. editor.
(4)
Language
Subject
Computer science.
(197)
Software engineering.
(197)
Logic design.
(54)
Logics and Meanings of Programs.
(54)
Information Systems Applications (incl. Internet).
(51)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
197 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Proceedings of the 2012 International Conference on Information Technology and Software Engineering Software Engineering & Digital Media Technology
Proceedings of the 2012 International Conference on Information Technology and Software Engineering Software Engineering & Digital Media Technology
Author 
Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333861.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34531-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Author 
Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334014.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35632-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings
Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings
Author 
Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334033.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35702-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
Author 
Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334142.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36177-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Author 
Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334077.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35887-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 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 
Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334278.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36742-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers
Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers
Author 
Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.
Preferred Shelf Number 
ONLINE(334280.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36751-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for S-BPM ONE - Running Processes 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedings
S-BPM ONE - Running Processes 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedings
Author 
Fischer, Herbert. editor. Schneeberger, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334281.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36754-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for TV-Anytime Paving the Way for Personalized TV
TV-Anytime Paving the Way for Personalized TV
Author 
Gil Solla, Alberto. author. Sotelo Bovino, Rafael G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334285.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36766-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Seminal Contributions to Information Systems Engineering 25 Years of CAiSE
Seminal Contributions to Information Systems Engineering 25 Years of CAiSE
Author 
Bubenko, Janis. editor. Krogstie, John. editor. Pastor, Oscar. editor. Pernici, Barbara. editor. Rolland, Colette. editor.
Preferred Shelf Number 
ONLINE(334324.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36926-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Author 
Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334327.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36946-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action