201. Formal approaches to agent-based systems : third international workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004 ; revised papers

by Hinchey, Michael G | Hinchey, Michael G | Rash, James L | Rouff, Christopher A | Truszkowski, Walter F.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.3 HIN] (1).
202. Rationale Management in Software Engineering

by Dutoit, Allen H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 005.1068 DUT] (1).
203. Multiagent engineering : theory and applications in enterprises

by Herzog, Otthein | Kirn, Stefan | Lockemann, Peter | Spaniol, Otto.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 006.3 KIR] (1).
204. Requirements Management : the interface between requirements development and all other systems engineering processes

by Hood, Colin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 005.1068 HOO] (1).
205. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

by Lee, R. Y.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 004 LEE] (1).
206. Empirical Software Engineering Issues : Critical Assessment and Future Directions : International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006 : Revised Papers

by Basili, Victor R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 004 BAS] (1).
207. Software Product Lines in Action : the best industrial practice in product line engineering

by Linden, Frank van der | Rommes, Eelco | Schmid, Klaus.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 005.1 LIN] (1).
208. Decision procedures : an algorithmic point of view

by Kroening, Daniel | Strichman, Ofer.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 518.1 KRO] (2).
209. Rationale-based software engineering

by Burge, Janet E | Carroll, John M | McCall, Raymnd | Mistrik, Ivan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 005.1 BUR] (1).
210. Approach to Modelling Software Evolution Processes

by Li, Tong.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 005.1 LIT] (1).
211. International Symposium on Distributed Computing and Artificial Intelligence 2008 (DCAI 2008)

by Corchado, Juan Manuel.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 005.8 COR] (1).
212. Software process improvement : 15th European conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008, proceedings

by O'Connor, Rory V.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 005.1 OCO] (1).
213. Algorithmic adventures : from knowledge to magic

by Hromkovic, Juraj.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2009Availability: Items available for loan: [Call number: 005.1 HRO] (1).
214. Advances in computer science and engineering : 13th international csi computer conference, CSICC 2008 Kish Island, Iran, March 9-11, 2008 revised selected papers

by Sarbazi-Azad, Hamid.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 005.1 SAR] (1).
215. Touch of class : learning to program well with objects and contracts

by Meyer, Bertrand.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2009Availability: Items available for loan: [Call number: 005.117 MEY] (1).
216. Design requirements engineering : a ten-year perspective : Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007 : revised and invited papers

by Lyytinen, Kalle | Loucopoulos, Pericles | Mylopoulos, John | Robinson, Bill.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 658.4038 LYY] (1).
217. Agile processes in software engineering and extreme programming

by Abrahamsson, Pekka | Marchesi, Michele | Maurer, Frank.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 658.4038 ABR] (1).
218. Software process improvement : 16th european conference, euroSPI 2009

by O'Connor, Rory V.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 005.1 OCO] (1).
219. Future of software engineering

by Nanz, Sebastian.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2011Availability: Items available for loan: [Call number: 005.1 NAN] (1).
220. Theoretical Computer Science : 6th IFIP TC 1/​WG 2.2 International Conference, TCS 2010, held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

by Calude, Cristian S | Sassone, Vladimiro.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 004 CAL] (1).

Powered by Koha