Results
20781.
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.
20782.
Artifical [i.e. artificial] intelligence for human computing [electronic resource] : ICMI 2006 and IJCAI 2007 international workshops, Banff, Canada, November 3, 2006 and Hyderabad, India, January 6, 2007 : revised seleced [i.e. selected] and invited papers / Thomas S. Huang ... [et al.] (eds.). by Series: LNCS sublibrary . SL 7, Artificial intelligence | Lecture notes in computer science ; 4451. | Lecture notes in computer science . Lecture notes in artificial intelligence. | Lecture notes in computer science . State-of-the-art survey.
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Other title:
Artificial intelligence for human computing : ICMI 2006 and IJCAI 2007 International Workshops, Banff, Canada, November 3, 2006 Hyderabad, India, January 6, 2007 Revised Selected Papers
Human computing
ICMI 2006 and IJCAI 2007 international workshops
ICMI 2006
IJCAI 2007
In:
Springer e-books
Availability: No items available.
20783.
20784.
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.
20785.
20786.
20787.
20788.
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.
20789.
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.
20790.
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.
20791.
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.
20792.
20793.
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
20794.
20795.
20796.
20797.
20798.
20799.
20800.
