Results
1841.
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.
1842.
1843.
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.
1844.
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.
1845.
1846.
1847.
1848.
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.
1849.
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.
1850.
1851.
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
1852.
1853.
1854.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers / edited by Andreas Brandstadt, Dieter Kratsch, Haiko M{u}ller. by Series: Lecture notes in computer science ; 4769 | LNCS sublibrary . SL 1, Theoretical computer science and general issues
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
1855.
1856.
Semantic multimedia [electronic resource] : Second International Conference on Semantic and Digital Media Technologies, SAMT 2007, Genoa, Italy, December 5-7, 2007 : proceedings / Bianca Falcidieno ... [et al.] (eds.). by Series: Lecture notes in computer science ; 4816 | LNCS sublibrary . SL 3, Information systems and applications, incl. internet/web, and HCI
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Other title:
International Conference on Semantic and Digital Media Technologies
Semantic and digital media technologies
SAMT 2007
In:
Springer eBooks
Availability: No items available.
1857.
Selected areas in cryptography [electronic resource] : 14th international workshop, SAC 2007, Ottawa, Canada, August 16-17, 2007 : revised selected papers / Carlisle Adams, Ali Miri, Michael Wiener (eds.). by Series: Lecture notes in computer science ; 4876 | LNCS sublibrary . SL 4, Security and cryptology
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
1858.
1859.
Sequences, subsequences, and consequences [electronic resource] : international workshop, SSC 2007, Los Angeles, CA, USA, May 31-June 2, 2007 : revised invited papers / Solomon W. Golomb ... [et al.] (eds.). by Series: Lecture notes in computer science ; 4893 | LNCS sublibrary . SL 4, Security and cryptology
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
1860.
