Your search returned 21 results.

Not what you expected? Check for suggestions
1.
All about Maude-- a high-performance logical framework : how to specify, program and verify systems in rewriting logic / Manuel Clavel [and others].

by Clavel, Manuel, 1969-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Transactions on aspect-oriented software development. III / Awais Rashid, Mehmet Aksit (eds.).

by Rashid, Awais | Akşit, Mehmet.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers / Martin Leucker (Ed.).

by RV (Workshop) (8th : 2008 : Budapest, Hungary) | Leucker, Martin.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
HCI and usability for education and work : 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008, proceedings / Andreas Holzinger (ed.).

by USAB (Symposium) (4th : 2008 : Graz, Austria) | Holzinger, Andreas.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Software process and product measurement : international conferences IWSM 2008, MetriKon 2008, and Mensura 2008, Munich, Germany, November 18-19, 2008 : proceedings / Reiner R. Dumke [and others] (eds.).

by International Workshop on Software Measurement (2008 : Munich, Germany) | Dumke, Reiner | MetriKon 2008 (2008 : Munich, Germany) | Mensura (Conference) (2008 : Munich, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Automated technology for verification and analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings / Sungdeok (Steve) Cha [and others], eds.

by ATVA (Symposium) (6th : 2008 : Seoul, Korea) | Cha, Sungdeok.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2008Other title: ATVA 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Software-intensive systems and new computing paradigms : challenges and visions / Martin Wirsing [and others] (eds.).

by Wirsing, M. (Martin).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Service-oriented computing - ICSOC 2008 : 6th International Conference, Sydney, Australia, December 1-5, 2008 : proceedings / Athman Bouguettaya, Ingolf Krueger, Tiziana Margaria (eds.).

by ICSOC (Conference) (6th : 2008 : Sydney, N.S.W.) | Bouguettaya, Athman | Krüger, Ingolf H | Margaria-Steffen, Tiziana, 1964-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Practical aspects of declarative languages : 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009 : proceedings / Andy Gill, Terrance Swift (eds.).

by PADL 2009 (2009 : Savannah, Ga.) | Gill, Andy (Functional programmer) [editor.] | Swift, Terrance [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Computer performance evaluation and benchmarking : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009 : proceedings / David Kaeli, Kai Sachs (eds.).

by SPEC Benchmark Workshop (2009 : Austin, Tex.) | Kaeli, David R | Sachs, Kai.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Methods, models and tools for fault tolerance / Michael Butler [and others] (eds.).

by Butler, Michael, 1967-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: [Berlin] : Springer-Verlag, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Component-based software engineering : 12th international symposium, CBSE 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings / Grace A. Lewis, Iman Poernomo, Christine Hofmeister, (eds.).

by CBSE 2009 (2009 : East Stroudsburg, Pa.) | Lewis, Grace A | Poernomo, Iman Hafiz, 1976- | Hofmeister, Christine.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2009Other title: CBSE 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Runtime verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, selected papers / Saddek Bensalem, Doron A. Peled (eds.).

by RV (Workshop) (9th : 2009 : Grenoble, France) | Bensalem, Saddek | Peled, Doron A, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2009Other title: RV 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings / Zhiming Liu, Anders P. Ravn (eds.).

by ATVA (Symposium) (7th : 2009 : Macau, China) | Liu, Zhiming, 1961- | Ravn, Anders P.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2009Other title: ATVA 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Programming languages and systems : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings / Zhenjiang Hu (ed.).

by APLAS (Symposium) (7th : 2009 : Seoul, Korea) | Hu, Zhenjiang, 1966-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Approaches and applications of inductive programming : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers / Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (Eds.).

by AAIP 2009 (3rd : 2009 : Edinburgh, Scotland) | Schmid, U. (Ute) | Kitzelmann, Emanuel | Plasmeijer, M. J. (Marinus Jacobus).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag, ©2010Other title: AAIP 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
New modeling concepts for today's software processes : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings / Jürgen Münch, Ye Yang, Wilhelm Schäfer (Eds.).

by International Conference on the Software Process (2010 : Paderborn, Germany) | Münch, Jürgen, 1968- | Yang, Ye, Ph.D | Schäfer, Wilhelm.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag, ©2010Other title: ICSP 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
A 25-Year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP / Agostino Dovier, Enrico Pontelli (Eds.).

by Dovier, Agostino | Pontelli, Enrico, 1967-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag, ©2010Other title: Twenty-five year perspective on logic programming.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Self-organizing architectures : first international workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised selected and invited papers / Danny Weyns [and others] (Eds.).

by SOAR 2009 (2009 : Cambridge, England) | Weyns, Danny.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag, ©2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Testing techniques in software engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / Paulo Borba [and others] (Eds.).

by Pernambuco Summer School on Software Engineering (2nd : 2007 : Recife, Brazil) | Borba, Paulo.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag, ©2010Other title: PSSE 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha