Results
1.
2.
Abstract state machines, Alloy, B and Z [electronic resource] : second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings / edited by Marc Frappier ... [et al.]. by Series: Lecture notes in computer science ; 5977
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
In:
Springer eBooks
Availability: No items available.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
Algorithms and computation [electronic resource] : 20th international symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009 : proceedings / edited by Yingfei Dong, Ding-Zhu Du, Oscar Ibarra. by Series: Lecture notes in computer science ; 5878
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
In:
Springer eBooks
Availability: No items available.
13.
14.
15.
16.
Architectures for adaptive software systems [electronic resource] : 5th International Conference on the Quality of Software Architectures, QOSA 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings / edited by Raffaela Mirandola, Ian Gorton, Christine Hofmeister. by Series: Lecture notes in computer science ; 5581
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
In:
Springer eBooks
Availability: No items available.
17.
18.
19.
20.
