Results
10601.
10602.
10603.
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.
10604.
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.
10605.
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.
10606.
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.
10607.
10608.
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
10609.
10610.
10611.
10612.
10613.
10614.
10615.
10616.
10617.
10618.
10619.
10620.
