Results
10741.
10742.
10743.
10744.
10745.
Software process dynamics and agility [electronic resource] : International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007 : proceedings / Qing Wang, Dietmar Pfahl, David M. Raffo (eds.). by Series: Lecture notes in computer science ; 4470
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Other title:
International Conference on Software Process
ICSP 2007
In:
Springer e-books
Availability: No items available.
10746.
10747.
Ubiquitous convergence technology [electronic resource] : first international conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006 : revised selected papers / Frank Stajano ... [et al.] (eds.). by Series: Lecture notes in computer science ; 4412 | LNCS sublibrary . SL 3, Information systems and applications, incl. internet/web, and HCI
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer e-books
Availability: No items available.
10748.
10749.
10750.
10751.
Fundamental approaches to software engineering [electronic resource] : 10th international conference, FASE 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / Matthew B. Dwyer, Antonia Lopes. by Series: Lecture notes in computer science ; 4422
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Other title:
European Joint Conferences on Theory and Practice of Software
Software engineering
FASE 2007
Joint European Conferences on Theory and Practice of Software
ETAPS 2007
In:
Springer e-books
Availability: No items available.
10752.
Compiler construction [electronic resource] : 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings / Shriram Krishnamurthi, Martin Odersky (eds.). by Series: Lecture notes in computer science ; 4420
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer e-books
Availability: No items available.
10753.
Tools and algorithms for the construction and analysis of systems [electronic resource] : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / Orna Grumberg, Michael Huth (eds.). by Series: Lecture notes in computer science ; 4424
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Other title:
European Joint Conferences on Theory and Practice of Software 2007
TACAS 2007
Joint European Conferences on Theory and Practice of Software
ETAPS 2007
In:
Springer e-books
Availability: No items available.
10754.
New frontiers in artificial intelligence [electronic resource] : JSAI 2003 and JSAI 2004 conferences and workshops, Niigata, Japan, June 23-27, 2003 and Kanazawa, Japan, May 31-June 4, 2004 : revised selected papers / Akito Sakurai, Koiti Hasida, Katsumi Nitta (eds.). by Series: LNCS sublibrary . SL 7, Artificial intelligence | Lecture notes in computer science ; 3609. | Lecture notes in computer science . Lecture notes in artificial intelligence.
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer e-books
Availability: No items available.
10755.
10756.
Verification, model checking, and abstract interpretation [electronic resource] : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings / Byron Cook, Andreas Podelski (eds.). by Series: Lecture notes in computer science ; 4349
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer e-books
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook
10757.
10758.
10759.
10760.
