Results
2261.
2262.
Functional imaging and modeling of the heart [electronic resource] : 4th international conference, FIMH 2007, Salt Lake City, UT, USA, June 7-9, 2007 : proceedings / Frank B. Sachse, Gunnar Seemann (eds.). by Series: Lecture notes in computer science ; 4466 | LNCS sublibrary . SL 6, Image processing, computer vision, pattern recognition, and graphics
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer e-books
Availability: No items available.
2263.
2264.
2265.
2266.
2267.
2268.
NETWORKING 2007 [electronic resource] : ad hoc and sensor networks, wireless networks, next generation internet : 6th International IFIP-TC6 Networking Conference, Atlanta, GA, USA, May 14-18, 2007 : proceedings / Ian F. Akyildiz ... [et al.] (eds.). by Series: Lecture notes in computer science ; 4479 | LNCS sublibrary . SL 5, Computer communication networks and telecommunications
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Other title:
Ad hoc and sensor networks, wireless networks, next generation internet
6th International IFIP-TC6 Networking Conference
Sixth International IFIP-TC6 Networking Conference
International IFIP-TC6 Networking Conference
In:
Springer e-books
Availability: No items available.
2269.
2270.
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.
2271.
2272.
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.
2273.
2274.
2275.
2276.
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.
2277.
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.
2278.
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.
2279.
2280.
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
