03.12.2012 Views

Key Index

Key Index

Key Index

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Lecture KEY INDEX<br />

2003 2484<br />

(Editors) 2003a:68007 68–06 (03–06, 03B35, 51–06, 68T15)<br />

⋆ CONCUR 2001—concurrencytheory. Proceedings of the 12th International<br />

Conference held in Aalborg, August 20–25, 2001. Edited byKim G. Larsen and Mogens<br />

Nielsen. Lecture Notes in Computer Science, 2154. Springer-Verlag, Berlin, 2001.<br />

xii+583 pp. ISBN 3-540-42497-0 (Editors) 2003a:68008 68–06 (68Q85)<br />

⋆ Computational intelligence. Theoryand applications. Proceedings of the International<br />

Conference (7th FuzzyDays) held in Dortmund, October 1–3, 2001. Edited byBernd<br />

Reusch. Lecture Notes in Computer Science, 2206. Springer-Verlag, Berlin, 2001.<br />

xviii+1003 pp. ISBN 3-540-42732-5 (Editors) 2003a:68010 68–06 (03E72, 68T37, 90C70,<br />

93C42)<br />

⋆ Computer science logic. Proceedings of the 15th International Workshop (CSL 2001)<br />

held at the Annual Conference of the European Association for Computer Science Logic<br />

(EACSL) in Paris, September 10–13, 2001. Edited byLaurent Fribourg. Lecture Notes in<br />

Computer Science, 2142. Springer-Verlag, Berlin, 2001. xii+615 pp. ISBN 3-540-42554-3<br />

(Editors) 2003a:68012 68–06 (03–06, 03B70)<br />

⋆ DNA computing. Papers from the 6th International Workshop on DNA-based<br />

Computers (DNA 2000) held at the Universityof Leiden, Leiden, June 13–17, 2000.<br />

Edited byAnne Condon and Grzegorz Rozenberg. Lecture Notes in Computer<br />

Science, 2054. Springer-Verlag, Berlin, 2001. x+271 pp. ISBN 3-540-42076-2 (Editors)<br />

2003a:68013 68–06 (68Q05)<br />

⋆ Fundamentals of computation theory. Proceedings of the 13th International<br />

Symposium (FCT 2001) held in Riga, August 22-24, 2001. Edited by RūsiņˇsFreivalds.<br />

Lecture Notes in Computer Science, 2138. Springer-Verlag, Berlin, 2001. xiv+542 pp.<br />

ISBN 3-540-42487-3 (Editors) 2003a:68014 68–06<br />

⋆ Graph-theoretic concepts in computer science. Proceedings of the 27th International<br />

Workshop (WG 2001) held in Boltenhagen, June 14–16, 2001. Edited byAndreas<br />

Brandstädt and Van Bang Le. Lecture Notes in Computer Science, 2204. Springer-Verlag,<br />

Berlin, 2001. x+329 pp. ISBN 3-540-42707-4 (Editors) 2003a:68015 68–06 (05–06,<br />

05C85, 68R10)<br />

⋆ Logic programming. Proceedings of the 17th International Conference (ICLP 2001)<br />

held in Paphos, November 26–December 1, 2001. Edited byPhilippe Codognet. Lecture<br />

Notes in Computer Science, 2237. Springer-Verlag, Berlin, 2001. xii+365 pp. ISBN<br />

3-540-42935-2 (Editors) 2003a:68016 68–06 (68N17)<br />

⋆ Logic programming and nonmonotonic reasoning. Proceedings of the 6th International<br />

Conference (LPNMR 2001) held in Vienna, September 17–19, 2001. Edited by<br />

Thomas Eiter, Wolfgang Faber and Mirosław Truszczyński. Lecture Notes in Computer<br />

Science, 2173. Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2001.<br />

xii+444 pp. ISBN 3-540-42593-4 (Editors) 2003a:68017 68–06 (03B60, 68N17, 68T27)<br />

⋆ Symbolic and quantitative approaches to reasoning with uncertainty. Proceedings of<br />

the 6th European Conference (ECSQARU 2001) held in Toulouse, September 19–21,<br />

2001. Edited bySalem Benferhat and Philippe Besnard. Lecture Notes in Computer<br />

Science, 2143. Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2001.<br />

xiv+818 pp. ISBN 3-540-42464-4 (Editors) 2003a:68018 68–06 (68T27, 68T37)<br />

⋆ Theorem proving in higher order logics. Proceedings of the 14th International<br />

Conference (TPHOLs 2001) held in Edinburgh, September 3–6, 2001. Edited by<br />

Richard J. Boulton and Paul B. Jackson. Lecture Notes in Computer Science, 2152.<br />

Springer-Verlag, Berlin, 2001. x+393 pp. ISBN 3-540-42525-X (Editors) 2003a:68019<br />

68–06 (03–06, 03B35, 68T15)<br />

⋆ Theoretical aspects of computer software. Proceedings of the 4th International<br />

Symposium (TACS 2001) held at Tohoku University, Sendai, October 29–31, 2001.<br />

Edited byNaoki Kobayashi and Benjamin C. Pierce. Lecture Notes in Computer<br />

Science, 2215. Springer-Verlag, Berlin, 2001. xvi+561 pp. ISBN 3-540-42736-8 (Editors)<br />

2003a:68020 68–06<br />

⋆ Applied algebra, algebraic algorithms and error-correcting codes. Proceedings of<br />

the 14th International Symposium (AAECC-14) held in Melbourne, November 26–30,<br />

2001. Edited bySerdar Boztas¸ and Igor E. Shparlinski. Lecture Notes in Computer<br />

Science, 2227. Springer-Verlag, Berlin, 2001. xii+398 pp. ISBN 3-540-42911-5 (Editors)<br />

2003a:94002 94–06 (94Bxx)<br />

⋆ Topics in cryptology—CT-RSA 2001. Proceedings of the Cryptographers’ Track at<br />

the RSA Conference held in San Francisco, CA, April 8–12, 2001. Edited byDavid<br />

Naccache. Lecture Notes in Computer Science, 2020. Springer-Verlag, Berlin, 2001.<br />

xii+473 pp. ISBN 3-540-41898-9 (Editors) 2003a:94039 94A60<br />

⋆ Algorithms and computation. Proceedings of the 12th Annual International<br />

Symposium (ISAAC 2001) held in Christchurch, December 19–21, 2001. Edited by Peter<br />

Eades and Tadao Takaoka. Lecture Notes in Computer Science, 2223. Springer-Verlag,<br />

Berlin, 2001. xiv+780 pp. ISBN 3-540-42985-9 (Editors) 2003b:68003 68–06<br />

⋆ KI 2001: Advances in artificial intelligence. Proceedings of the Joint Conference on<br />

Artificial Intelligence (24th German and 9th Austrian) held in Vienna, September 19–21,<br />

2001. Edited byFranz Baader, Gerhard Brewka and Thomas Eiter. Lecture Notes in<br />

Computer Science, 2174. Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin,<br />

2001. xiv+471 pp. ISBN 3-540-42612-4 (Editors) 2003b:68004 68–06 (68Txx)<br />

⋆ Theoretical computer science. Proceedings of the 7th Italian Conference (ICTCS2001)<br />

held in Torino, October 4–6, 2001. Edited byAntonio Restivo, Simona Ronchi Della<br />

Rocca and Luca Roversi. Lecture Notes in Computer Science, 2202. Springer-Verlag,<br />

Berlin, 2001. xii+440 pp. ISBN 3-540-42672-8 (Editors) 2003b:68006 68–06<br />

⋆ Logic for programming, artificial intelligence, and reasoning. Papers from the 8th International<br />

Conference (LPAR 2001) held at the Universityof Havana, Havana, December<br />

3–7, 2001. Edited byRobert Nieuwenhuis and Andrei Voronkov. Lecture Notes in<br />

Computer Science, 2250. Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin,<br />

2001. xvi+738 pp. ISBN 3-540-42957-3 (Editors) 2003d:68004 68–06 (03–06)<br />

⋆ Advances in cryptology—ASIACRYPT 2001. Proceedings of the 7th International<br />

Conference on the Theoryand Application of Cryptologyand Information Security<br />

held on the Gold Coast, December 9–13, 2001. Edited byColin Boyd. Lecture Notes in<br />

Computer Science, 2248. Springer-Verlag, Berlin, 2001. xii+603 pp. ISBN 3-540-42987-5<br />

(Editors) 2003d:94001 94–06 (94A60)<br />

⋆ Advances in cryptology—CRYPTO 2001. Proceedings of the 21st Annual International<br />

Crypotology Conference held in Santa Barbara, CA, August 19–23, 2001. Edited<br />

byJoe Kilian. Lecture Notes in Computer Science, 2139. Springer-Verlag, Berlin, 2001.<br />

xii+599 pp. ISBN 3-540-42456-3 (Editors) 2003d:94002 94–06 (94A60, 94A62)<br />

⋆ Numerical analysis and its applications. Papers from the 2nd International Conference<br />

(NAA 2000) held at the Universityof Rousse, Rousse, June 11–15, 2000. Edited by<br />

Lubin Vulkov, JerzyWa´sniewski and Plamen Yalamov. Lecture Notes in Computer<br />

Science, 1988. Springer-Verlag, Berlin, 2001. xiv+782 pp. ISBN 3-540-41814-8 (Editors)<br />

2003e:65003 65–06<br />

⋆ Computing and combinatorics. Proceedings of the 7th Annual International<br />

Conference (COCOON 2001) held in Guilin, August 20–23, 2001. Edited byJie Wang.<br />

Lecture Notes in Computer Science, 2108. Springer-Verlag, Berlin, 2001. xiv+602 pp.<br />

ISBN 3-540-42494-6 (Editors) 2003e:68005 68–06 (05–06)<br />

⋆ Algorithms and data structures. Proceedings of the 7th International Workshop<br />

(WADS 2001) held in Providence, RI, August 8–10, 2001. Edited byFrank Dehne,<br />

Jörg-Rüdiger Sack and Roberto Tamassia. Lecture Notes in Computer Science, 2125.<br />

Springer-Verlag, Berlin, 2001. xii+484 pp. ISBN 3-540-42423-7 (Editors) 2003f:68001<br />

68–06 (68P05, 68Wxx)<br />

⋆ Principles and practice of constraint programming—CP 2001. Proceedings of the 7th<br />

International Conference held in Paphos, November 26–December 1, 2001. Edited by<br />

TobyWalsh. Lecture Notes in Computer Science, 2239. Springer-Verlag, Berlin, 2001.<br />

xiv+788 pp. ISBN 3-540-42863-1 (Editors) 2003f:68003 68–06 (68N17, 68T20, 90–06)<br />

⋆ Algorithms in bioinformatics. Proceedings of the 1st International Workshop (WABI<br />

2001) held in ˚Arhus, August 28–31, 2001. Edited byOlivier Gascuel and Bernard M.<br />

E. Moret. Lecture Notes in Computer Science, 2149. Springer-Verlag, Berlin, 2001.<br />

x+307 pp. ISBN 3-540-42516-0 (Editors) 2003f:92001 92–06 (62–06, 62P10)<br />

⋆ Progress in cryptology—INDOCRYPT 2001. Proceedings of the 2nd International<br />

Conference on Cryptology in India held in Chennai, December 16–20, 2001. Edited<br />

byC. Pandu Rangan and Cunsheng Ding. Lecture Notes in Computer Science, 2247.<br />

Springer-Verlag, Berlin, 2001. xiv+351 pp. ISBN 3-540-43010-5 (Editors) 2003f:94001<br />

94–06 (94A60)<br />

⋆ Functional and logic programming. Proceedings of the 5th International Symposium<br />

(FLOPS 2001) held in Tokyo, March 7–9, 2001. Edited by Herbert Kuchen and Kazunori<br />

Ueda. Lecture Notes in Computer Science, 2024. Springer-Verlag, Berlin, 2001. x+391 pp.<br />

ISBN 3-540-41739-7 (Editors) 2003g:68002 68–06 (68N17, 68N18)<br />

⋆ Cryptographic hardware and embedded systems—CHES 2001. Proceedings of the 3rd<br />

International Workshop held in Paris, May14–16, 2001. Edited byÇetinK.Koç, David<br />

Naccache and Christof Paar. Lecture Notes in Computer Science, 2162. Springer-Verlag,<br />

Berlin, 2001. xiv+411 pp. ISBN 3-540-42521-7 (Editors) 2003g:94002 94–06 (94A60)<br />

⋆ Frontiers of combining systems. Proceedings of the 4th International Workshop<br />

(FroCoS 2002) held in Santa Margherita Ligure, April 8–10, 2002. Edited byAlessandro<br />

Armando. Lecture Notes in Computer Science, 2309. Lecture Notes in Artificial<br />

Intelligence. Springer-Verlag, Berlin, 2002. viii+255 pp. ISBN 3-540-43381-3 (Editors)<br />

2003i:68001 68–06<br />

⋆ Inference control in statistical databases. From theoryto practice. Edited byJosep<br />

Domingo-Ferrer. Lecture Notes in Computer Science, 2316. Springer-Verlag, Berlin,<br />

2002. viii+231 pp. ISBN 3-540-43614-6 (Editors) 2003j:62004 62–06 (68P15)<br />

⋆ Developments in language theory. Revised papers from the 5th International<br />

Conference (DLT 2001) held at Technische Universität Wien, Vienna, July16–21, 2001.<br />

Edited byWerner Kuich, Grzegorz Rozenberg and Arto Salomaa. Lecture Notes in<br />

Computer Science, 2295. Springer-Verlag, Berlin, 2002. x+389 pp. ISBN 3-540-43453-4<br />

(Editors) 2003j:68002 68–06 (68Q42, 68Q45)<br />

⋆ Foundations of software science and computation structures. Proceedings of the<br />

5th International Conference (FOSSACS 2002) held as part of the Joint European<br />

Conference on Theoryand Practice of Software (ETAPS 2002) in Grenoble, April<br />

10–12, 2002. Edited byMogens Nielsen and Uffe Engberg. Lecture Notes in Computer<br />

Science, 2303. Springer-Verlag, Berlin, 2002. xiv+435 pp. ISBN 3-540-43366-X (Editors)<br />

2003j:68003 68–06<br />

⋆ Implementation of functional languages. Selected papers from the 13th International<br />

Workshop (IFL 2001) held in Stockholm, September 24–26, 2001. Edited byThomas<br />

Arts and Markus Mohnen. Lecture Notes in Computer Science, 2312. Springer-Verlag,<br />

Berlin, 2002. viii+187 pp. ISBN 3-540-43537-9 (Editors) 2003j:68005 68–06 (68N17)<br />

⋆ LATIN 2002: Theoretical informatics. Proceedings of the 5th Latin American<br />

Symposium held in Cancun, April 3–6, 2002. Edited by Sergio Rajsbaum. Lecture<br />

Notes in Computer Science, 2286. Springer-Verlag, Berlin, 2002. xiv+630 pp. ISBN<br />

3-540-43400-3 (Editors) 2003j:68006 68–06<br />

⋆ Theoretical aspects of computer science. Advanced lectures. Lectures from the 1st<br />

Summer School held in Tehran, July 3–10, 2000. Edited byGholamreza B. Khosrovshahi,<br />

Ali Shokoufandeh and Amin Shokrollahi. Lecture Notes in Computer Science, 2292.<br />

Springer-Verlag, Berlin, 2002. viii+221 pp. ISBN 3-540-43328-7 (Editors) 2003j:68007<br />

68–06<br />

⋆ Diagrammatic representation and inference. Proceedings of the 2nd International<br />

Conference (Diagrams 2002) held in CallawayGardens, GA, April 18–20, 2002. Edited<br />

byMaryHegarty, Bernd Meyer and N. Hari Narayanan. Lecture Notes in Computer<br />

Science, 2317. Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2002.<br />

xiv+362 pp. ISBN 3-540-43561-1 (Editors) 2003k:03007 03–06 (03B35, 68–06, 68R05,<br />

68T15)<br />

⋆ Compiler construction. Proceedings of the 11th International Conference (CC 2002)<br />

held as part of the Joint European Conferences on Theoryand Practice of Software<br />

(ETAPS 2002) in Grenoble, April 8–12, 2002. Edited byR. Nigel Horspool. Lecture<br />

Notes in Computer Science, 2304. Springer-Verlag, Berlin, 2002. xii+343 pp. ISBN<br />

3-540-43369-4 (Editors) 2003k:68003 68–06 (68N20, 68Q55)<br />

⋆ Graph drawing. Selected papers from the 9th International Symposium (GD 2001)<br />

held in Vienna, September 23–26, 2001. Edited byPetra Mutzel, Michael Jünger and<br />

Sebastian Leipert. Lecture Notes in Computer Science, 2265. Springer-Verlag, Berlin,<br />

2002. xvi+524 pp. ISBN 3-540-43309-0 (Editors) 2003k:68004 68–06 (05–06, 68R10)<br />

⋆ MICAI 2002: Advances in artificial intelligence. Proceedings of the 2nd Mexican<br />

International Conference on Artificial Intelligence held in Mérida, April 22–26, 2002.<br />

Edited byCarlos A. Coello Coello, Alvaro de Albornoz, Luis Enrique Sucar and Osvaldo<br />

Cairó Battistutti. Lecture Notes in Computer Science, 2313. Lecture Notes in Artificial<br />

Intelligence. Springer-Verlag, Berlin, 2002. xiv+548 pp. ISBN 3-540-43475-5 (Editors)<br />

2003k:68005 68–06 (68Txx)<br />

⋆ Information security and cryptology—ICISC 2001. Proceedings of the 4th International<br />

Conference held in Seoul, December, 6–7, 2001. Edited byKwangjo Kim. Lecture<br />

Notes in Computer Science, 2288. Springer-Verlag, Berlin, 2002. xiv+457 pp. ISBN

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!