|
|
| |
Software business : , First International Conference, ICSOB 2010, Jyvaskyla, Finland, June 21-23, 2010 : proceedings /
Publication:
Berlin : Springer-Verlag, 2010
. xi, 222 p. :
25 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Advances in systems safety : , proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011 /
Publication:
London : Springer, 2010
. x, 313, [1] p. :
15.5 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Reliable and autonomous computational science : , international conference, RACS 2010, Atlanta, Ga, USA, October 27-30, 2010 /
Publication:
[Basel] : Springer Basel AG, 2011
. 408 p. :
23 cm.
Date:2011
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Testing techniques in software engineering : , second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures /
Publication:
Berlin : Springer, 2010
. viii, 312 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Systems, software and services process improvement : , 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xv, 301 p.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Advances in software engineering: , International Conference on Advanced Software Engineering and its Applications, ASEA 2009, held as part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings /
Publication:
Berlin : Springer, 2009
. xiv, 348 p. :
Date:2009
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Agents and artificial intelligence : , international conference, ICAART 2009, Porto, Portugal, January 19-21, 2009 : revised selected papers /
Publication:
Berlin : Springer, 2010
. xii, 296 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
Theory and practice of model transformations : , Third International Conference, Icmt 2010, Malaga, Spain, June 28-July 2, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. x, 275 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Formal methods for industrial critical systems : , 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Publication:
Berlin : Springer, 2010
. xii, 230 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Tests and proofs : , 4th International Conference, Tap 2010, Malaga Spin, July, 1-2,2010, proceedings /
Publication:
Berlin : Springer, 2010
. x, 182 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Mathematical software - ICMS 2010 : , Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xvi, 368 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Model checking software : , 17th International Spin Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings /
Publication:
Berlin : Springer, 2010
. x, 261 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Software language engineering : , second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers /
Publication:
Berlin : Springer, 2010
. xiii, 383 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Foundational and practical aspects of resource analysis : , First International Workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2010, revised selected papers /
Publication:
Berlin : Springer, 2010
. viii, 162 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Collaboration and technology : , 16th International Conference, CRIWG 2010, Mastricht, the Netherlands, September 20-23, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. iii, 364 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Software Composition : , 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. x, 153 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
New modeling concepts for today's software processes : , International Conference on Software Process, Icsp 2010, Paderborn, Germany, July 8-9, 2010, proceeding /
Publication:
Berlin : Springer, 2010
. xiv, 382 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Model driven engineering languages and systems : , 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, proceedings, part II /
Publication:
Berlin : Springer, 2010
. v. 2 (443) p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Product-focused software process improvement : , 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010, Proceedings /
Publication:
Berlin : Springer, 2010
. xiii, 410 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Computer aided verification : 22nd international conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings / , 22nd International Conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xvi, 676 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
