Your search returned 56 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Fundamentals of software engineering : third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers / Farhad Arbab, Marjan Sirjani (eds.). by Series: Lecture notes in computer science ; 5961. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2010
Other title:
  • FSEN 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Practical aspects of declarative languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, proceedings / Manuel Carro, Ricardo Peña (eds.). by Series: Lecture notes in computer science ; 5937. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2010
Other title:
  • PADL 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Foundations of computer software : future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers / Christine Choppy, Oleg Sokolsky, (eds.). by Series: Lecture notes in computer science ; 6028. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 80012716
Publication details: Berlin ; New York : Springer, ©2010
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Software language engineering : second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 : revised selected papers / Mark van den Brand, Dragan Gašević, Jeff Gray (eds.). by Series: Lecture notes in computer science ; 5969. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 80011361
Publication details: Berlin : Springer, ©2010
Other title:
  • SLE 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
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 Series: Lecture notes in computer science ; 5812. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag, ©2010
Other title:
  • AAIP 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Intelligent tutoring systems : 10th international conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010 ; proceedings. Part 1 / Vincent Aleven, Judy Kay, Jack Mostow (eds.). by Series: Lecture notes in computer science ; 6094. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2010
Other title:
  • ITS 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Theory and practice of model transformations : third international conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010 ; proceedings / Laurence Tratt, Martin Gogolla (eds.). by Series: Lecture notes in computer science ; 6142. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Objects, models, components, patterns : 48th international conference, TOOLS 2010, Malaga, Spain, June 28-July 2, 2010 ; proceedings / Jan Vitek (ed.). by Series: Lecture notes in computer science ; 6141. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
10.
Tests and proofs : 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings / Gordon Fraser, Angelo Gargantini (eds.). by Series: Lecture notes in computer science ; 6143. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
Software composition : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010 ; proceedings / Benoît Baudry, Eric Wohlstadter (eds.). by Series: Lecture notes in computer science ; 6144. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
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 Series: Lecture notes in computer science ; 6195. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag, ©2010
Other title:
  • ICSP 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
Component-based software engineering : 13th international symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010 ; proceedings / Lars Grunske, Ralf Reussner, Frantisek Plasil (eds.). by Series: Lecture notes in computer science ; 6092. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
Modelling foundations and applications : 6th European conference, ECMFA 2010, Paris, France, June 15-18, 2010 : proceedings / Thomas Kühne [and others] (eds.). by Series: Lecture notes in computer science ; 6138. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2010
Other title:
  • ECMFA 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
Analytical and stochastic modeling techniques and applications : 17th international conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010 ; proceedings / Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.). by Series: Lecture notes in computer science ; 6148. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2010
Other title:
  • ASMTA 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
Requirements engineering: foundation for software quality : 16th international working conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010 ; proceedings / Roel Wieringa, Anne Persson (eds.). by Series: Lecture notes in computer science ; 6182. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
A 25-Year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP / Agostino Dovier, Enrico Pontelli (Eds.). by Series: Lecture notes in computer science ; 6125. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag, ©2010
Other title:
  • Twenty-five year perspective on logic programming
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
19.
Intelligent tutoring systems : 10th international conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010 ; proceedings. Part II / Vincent Aleven, Judy Kay, Jack Mostow (eds.). by Series: Lecture notes in computer science ; 6095. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
20.
Coordination models and languages : 12th international conference, COORDINATION 2010, Amsterdam, the Netherlands, June 7-9, 2010 ; proceedings / Dave Clarke, Gul Agha (eds.). by Series: Lecture notes in computer science ; 6116. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha