Lecture Notes in Computer Science (LNCS), Volumes 4900-4999

4900

Stefano Spaccapietra (Ed.): Journal on Data Semantics X. Springer 2008, ISBN 978-3-540-77687-1
Contents

4901

David Zhang (Ed.): Medical Biometrics, First International Conference, ICMB 2008, Hong Kong, China, January 4-5, 2008, Proceedings. Springer 2008, ISBN 978-3-540-77410-5
Contents

4902

Paul Hudak, David Scott Warren (Eds.): Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Springer 2008, ISBN 978-3-540-77441-9
Contents

4903

Shin'ichi Satoh, Frank Nack, Minoru Etoh (Eds.): Advances in Multimedia Modeling, 14th International Multimedia Modeling Conference, MMM 2008, Kyoto, Japan, January 9-11, 2008, Proceedings. Springer 2008, ISBN 978-3-540-77407-5
Contents

4904

Shrisha Rao, Mainak Chatterjee, Prasad Jayanti, C. Siva Ram Murthy, Sanjoy Kumar Saha (Eds.): Distributed Computing and Networking, 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Springer 2008, ISBN 978-3-540-77443-3
Contents

4905

Francesco Logozzo, Doron Peled, Lenore D. Zuck (Eds.): Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings. Springer 2008, ISBN 978-3-540-78162-2
Contents

4906

Michael Cebulla (Ed.): Object-Oriented Technology. ECOOP 2007 Workshop Reader, Berlin, Germany, July 30-31, 2007, Final Reports. Springer 2008, ISBN 978-3-540-78194-3
Contents

4907

Elisabetta Di Nitto, Matei Ripeanu (Eds.): Service-Oriented Computing - ICSOC 2007 Workshops, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers. Springer 2009, ISBN 978-3-540-93850-7
Contents

4908

Mehdi Dastani, Amal El Fallah-Seghrouchni, Alessandro Ricci, Michael Winikoff (Eds.): Programming Multi-Agent Systems, 5th International Workshop, ProMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers. Springer 2008, ISBN 978-3-540-79042-6
Contents

4909

Irene Eusgeld, Felix C. Freiling, Ralf Reussner (Eds.): Dependability Metrics: Advanced Lectures [result from a Dagstuhl seminar, October 30 - November 1, 2005]. Springer 2008, ISBN 978-3-540-68946-1
Contents

4910

Viliam Geffert, Juhani Karhumäki, Alberto Bertoni, Bart Preneel, Pavol Návrat, Mária Bieliková (Eds.): SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings. Springer 2008, ISBN 978-3-540-77565-2
Contents

4911

Luc De Raedt, Paolo Frasconi, Kristian Kersting, Stephen Muggleton (Eds.): Probabilistic Inductive Logic Programming - Theory and Applications. Springer 2008, ISBN 978-3-540-78651-1
Contents

4912

Gilles Barthe, Cédric Fournet (Eds.): Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-78662-7
Contents

4913

Roberto Verdone (Ed.): Wireless Sensor Networks, 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008, Proceedings. Springer 2008, ISBN 978-3-540-77689-5
Contents

4914

Ken Satoh, Akihiro Inokuchi, Katashi Nagao, Takahiro Kawamura (Eds.): New Frontiers in Artificial Intelligence, JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-78196-7
Contents

4915

Andy King (Ed.): Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-78768-6
Contents

4916

Stefan Leue, Pedro Merino (Eds.): Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-79706-7
Contents

4917

Per Stenström, Michel Dubois, Manolis Katevenis, Rajiv Gupta, Theo Ungerer (Eds.): High Performance Embedded Architectures and Compilers, Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings. Springer 2008, ISBN 978-3-540-77559-1
Contents

4918

Nozha Boujemaa, Marcin Detyniecki, Andreas Nürnberger (Eds.): Adaptive Multimedial Retrieval: Retrieval, User, and Semantics, 5th International Workshop, AMR 2007, Paris, France, July 5-6, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-79859-0
Contents

4919

Alexander F. Gelbukh (Ed.): Computational Linguistics and Intelligent Text Processing, 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, Proceedings. Springer 2008, ISBN 978-3-540-78134-9
Contents

4920

Yun Q. Shi (Ed.): Transactions on Data Hiding and Multimedia Security III. Springer 2008, ISBN 978-3-540-69016-0
Contents

4921

Shin-Ichi Nakano, Md. Saidur Rahman (Eds.): WALCOM: Algorithms and Computation, Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Springer 2008, ISBN 978-3-540-77890-5
Contents

4922

Manfred Broy, Ingolf H. Krüger, Michael Meisinger (Eds.): Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers. Springer 2008, ISBN 978-3-540-70929-9
Contents

4923

Sadok Ben Yahia, Engelbert Mephu Nguifo, Radim Belohlávek (Eds.): Concept Lattices and Their Applications, Fourth International Conference, CLA 2006, Tunis, Tunisia, October 30 - November 1, 2006, Selected Papers. Springer 2008, ISBN 978-3-540-78920-8
Contents

4924

David Riaño (Ed.): Knowledge Management for Health Care Procedures, From Knowledge to Global Care, AIME 2007 Workshop K4CARE 2007, Amsterdam, The Netherlands, July 7, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-78623-8
Contents

4925

Klaus-Dieter Schewe, Bernhard Thalheim (Eds.): Semantics in Data and Knowledge Bases, Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers. Springer 2008, ISBN 978-3-540-88593-1
Contents

4926

Nicolas Monmarché, El-Ghazali Talbi, Pierre Collet, Marc Schoenauer, Evelyne Lutton (Eds.): Artificial Evolution, 8th International Conference, Evolution Artificielle, EA 2007, Tours, France, October 29-31, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-79304-5
Contents

4927

Christos Kaklamanis, Martin Skutella (Eds.): Approximation and Online Algorithms, 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers. Springer 2008, ISBN 978-3-540-77917-9
Contents

4928

Arthur H. M. ter Hofstede, Boualem Benatallah, Hye-Young Paik (Eds.): Business Process Management Workshops, BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-78237-7
Contents

4929

Malte Helmert: Understanding Planning Tasks: Domain Complexity and Heuristic Decomposition. Lecture Notes in Computer Science Vol. 4929 Springer 2008, ISBN 978-3-540-77722-9
Contents

4930

Ipke Wachsmuth, Günther Knoblich (Eds.): Modeling Communication with Robots and Virtual Humans, Second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers. Springer 2008, ISBN 978-3-540-79036-5
Contents

4931

Gerald Sommer, Reinhard Klette (Eds.): Robot Vision, Second International Workshop, RobVis 2008, Auckland, New Zealand, February 18-20, 2008, Proceedings. Springer 2008, ISBN 978-3-540-78156-1
Contents

4932

Sven Hartmann, Gabriele Kern-Isberner (Eds.): Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings. Springer 2008, ISBN 978-3-540-77683-3
Contents

4933

Raoul Medina, Sergei A. Obiedkov (Eds.): Formal Concept Analysis, 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings. Springer 2008, ISBN 978-3-540-78136-3
Contents

4934

Uwe Brinkschulte, Theo Ungerer, Christian Hochberger, Rainer G. Spallek (Eds.): Architecture of Computing Systems - ARCS 2008, 21st International Conference, Dresden, Germany, February 25-28, 2008, Proceedings. Springer 2008, ISBN 978-3-540-78152-3
Contents

4935

Barbara M. Chapman, Weimin Zheng, Guang R. Gao, Mitsuhisa Sato, Eduard Ayguadé, Dongsheng Wang (Eds.): A Practical Programming Model for the Multi-Core Era, 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007, Proceedings. Springer 2008, ISBN 978-3-540-69302-4
Contents

4936

William Aiello, Andrei Z. Broder, Jeannette C. M. Janssen, Evangelos E. Milios (Eds.): Algorithms and Models for the Web-Graph, Fourth International Workshop, WAW 2006, Banff, Canada, November 30 - December 1, 2006. Revised Papers. Springer 2008, ISBN 978-3-540-78807-2
Contents

4937

Marlon Dumas, Reiko Heckel (Eds.): Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings. Springer 2008, ISBN 978-3-540-79229-1
Contents

4938

Takenobu Tokunaga, Antonio Ortega (Eds.): Large-Scale Knowledge Resources. Construction and Application, Third International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008, Proceedings. Springer 2008, ISBN 978-3-540-78158-5
Contents

4939

Ronald Cramer (Ed.): Public Key Cryptography - PKC 2008, 11th International Workshop on Practice and Theory in Public-Key Cryptography, Barcelona, Spain, March 9-12, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78439-5
Contents

4940

...

4941

Marino Miculan, Ivan Scagnetto, Furio Honsell (Eds.): Types for Proofs and Programs, International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-68084-0
Contents

4942

Eitan Frachtenberg, Uwe Schwiegelshohn (Eds.): Job Scheduling Strategies for Parallel Processing, 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers. Springer 2008, ISBN 978-3-540-78698-6
Contents

4943

Roger F. Woods, Katherine Compton, Christos-Savvas Bouganis, Pedro C. Diniz (Eds.): Reconfigurable Computing: Architectures, Tools and Applications, 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78609-2
Contents

4944

Zbigniew W. Ras, Shusaku Tsumoto, Djamel A. Zighed (Eds.): Mining Complex Data, ECML/PKDD 2007 Third International Workshop, MCD 2007, Warsaw, Poland, September 17-21, 2007, Revised Selected Papers. 2008, ISBN 978-3-540-68415-2
Contents

4945

Stefan Lucks, Ahmad-Reza Sadeghi, Christopher Wolf (Eds.): Research in Cryptology, Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-88352-4
Contents

4946

Iyad Rahwan, Simon Parsons, Chris Reed (Eds.): Argumentation in Multi-Agent Systems, 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and Invited Papers. Springer 2008, ISBN 978-3-540-78914-7
Contents

4947

Jayant R. Haritsa, Kotagiri Ramamohanarao, Vikram Pudi (Eds.): Database Systems for Advanced Applications, 13th International Conference, DASFAA 2008, New Delhi, India, March 19-21, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78567-5
Contents

4948

Ran Canetti (Ed.): Theory of Cryptography, Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008. Springer 2008, ISBN 978-3-540-78523-1
Contents

4949

Robert M. Hierons, Jonathan P. Bowen, Mark Harman (Eds.): Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers. Springer 2008, ISBN 978-3-540-78916-1
Contents

4950

...

4951

Michael Luck, Lin Padgham (Eds.): Agent-Oriented Software Engineering VIII, 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-79487-5
Contents

4952

Christian Floerkemeier, Marc Langheinrich, Elgar Fleisch, Friedemann Mattern, Sanjay E. Sarma (Eds.): The Internet of Things, First International Conference, IOT 2008, Zurich, Switzerland, March 26-28, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78730-3
Contents

4953

Ngoc Thanh Nguyen, GeunSik Jo, Robert J. Howlett, Lakhmi C. Jain (Eds.): Agent and Multi-Agent Systems: Technologies and Applications, Second KES International Symposium, KES-AMSTA 2008, Incheon, Korea, March 26-28, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78581-1
Contents

4954

Cesare Pautasso, Éric Tanter (Eds.): Software Composition, 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78788-4
Contents

4955

Martin Vingron, Limsoon Wong (Eds.): Research in Computational Molecular Biology, 12th Annual International Conference, RECOMB 2008, Singapore, March 30 - April 2, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78838-6
Contents

4956

Craig Macdonald, Iadh Ounis, Vassilis Plachouras, Ian Ruthven, Ryen W. White (Eds.): Advances in Information Retrieval , 30th European Conference on IR Research, ECIR 2008, Glasgow, UK, March 30-April 3, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78645-0
Contents

4957

Eduardo Sany Laber, Claudson F. Bornstein, Loana Tito Nogueira, Luerbio Faria (Eds.): LATIN 2008: Theoretical Informatics, 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings. Springer 2008, ISBN 978-3-540-78772-3
Contents

4958

Valentin E. Brimkov, Reneta P. Barneva, Herbert A. Hauptman (Eds.): Combinatorial Image Analysis, 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78274-2
Contents

4959

Laurie J. Hendren (Ed.): Compiler Construction, 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78790-7
Contents

4960

Sophia Drossopoulou (Ed.): Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78738-9
Contents

4961

José Luiz Fiadeiro, Paola Inverardi (Eds.): Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78742-6
Contents

4962

Roberto M. Amadio (Ed.): Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78497-5
Contents

4963

C. R. Ramakrishnan, Jakob Rehof (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78799-0
Contents

4964

Tal Malkin (Ed.): Topics in Cryptology - CT-RSA 2008, The Cryptographers' Track at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008. Proceedings. Springer 2008, ISBN 978-3-540-79262-8
Contents

4965

Nigel P. Smart (Ed.): Advances in Cryptology - EUROCRYPT 2008, 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13-17, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78966-6
Contents

4966

Bernhard Beckert, Reiner Hähnle (Eds.): Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings. Springer 2008, ISBN 978-3-540-79123-2
Contents

4967

Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski (Eds.): Parallel Processing and Applied Mathematics, 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-68105-2
Contents

4968

Peter Lipp, Ahmad-Reza Sadeghi, Klaus-Michael Koch (Eds.): Trusted Computing - Challenges and Applications, First International Conference on Trusted Computing and Trust in Information Technologies, Trust 2008, Villach, Austria, March 11-12, 2008, Proceedings. Springer 2008, ISBN 978-3-540-68978-2
Contents

4969

Richard Kronland-Martinet, Sølvi Ystad, Kristoffer Jensen (Eds.): Computer Music Modeling and Retrieval. Sense of Sounds, 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers. Springer 2008, ISBN 978-3-540-85034-2
Contents

4970

Manfred Nagl, Wolfgang Marquardt (Eds.): Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support - Results of the IMPROVE Project. Lecture Notes in Computer Science Vol. 4970 Springer 2008, ISBN 978-3-540-70551-2
Contents

4971

Michael O'Neill, Leonardo Vanneschi, Steven Gustafson, Anna Esparcia-Alcázar, Ivanoe De Falco, Antonio Della Cioppa, Ernesto Tarantino (Eds.): Genetic Programming, 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78670-2
Contents

4972

Jano I. van Hemert, Carlos Cotta (Eds.): Evolutionary Computation in Combinatorial Optimization, 8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78603-0
Contents

4973

Elena Marchiori, Jason H. Moore (Eds.): Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78756-3
Contents

4974

Mario Giacobini, Anthony Brabazon, Stefano Cagnoni, Gianni Di Caro, Rolf Drechsler, Anikó Ekárt, Anna Esparcia-Alcázar, Muddassar Farooq, Andreas Fink, Jon McCormack, Michael O'Neill, Juan Romero, Franz Rothlauf, Giovanni Squillero, Sima Uyar, Shengxiang Yang (Eds.): Applications of Evolutionary Computing, EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78760-0
Contents

4975

Falai Chen, Bert Jüttler (Eds.): Advances in Geometric Modeling and Processing, 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008. Proceedings. Springer 2008, ISBN 978-3-540-79245-1
Contents

4976

Yanchun Zhang, Ge Yu, Elisa Bertino, Guandong Xu (Eds.): Progress in WWW Research and Development, 10th Asia-Pacific Web Conference, APWeb 2008, Shenyang, China, April 26-28, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78848-5
Contents

4977

...

4978

Manindra Agrawal, Ding-Zhu Du, Zhenhua Duan, Angsheng Li (Eds.): Theory and Applications of Models of Computation, 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008. Proceedings. Springer 2008, ISBN 978-3-540-79227-7
Contents

4979

Mark Claypool, Steve Uhlig (Eds.): Passive and Active Network Measurement, 9th International Conference, PAM 2008, Cleveland, OH, USA, April 29-30, 2008. Proceedings. Springer 2008, ISBN 978-3-540-79231-4
Contents

4980

...

4981

Magnus Egerstedt, Bud Mishra (Eds.): Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78928-4
Contents

4982

Amitabha Das, Hung Keng Pung, Francis Bu-Sung Lee, Lawrence Wai-Choong Wong (Eds.): NETWORKING 2008, Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet , 7th International IFIP-TC6 Networking Conference, Singapore, May 5-9, 2008, Proceedings. Springer 2008, ISBN 978-3-540-79548-3
Contents

4983

Ion I. Mandoiu, Raj Sunderraman, Alexander Zelikovsky (Eds.): Bioinformatics Research and Applications, Fourth International Symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008. Proceedings. Springer 2008, ISBN 978-3-540-79449-3
Contents

4984

Masumi Ishikawa, Kenji Doya, Hiroyuki Miyamoto, Takeshi Yamakawa (Eds.): Neural Information Processing, 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I. Springer 2008, ISBN 978-3-540-69154-9
Contents

4985

Masumi Ishikawa, Kenji Doya, Hiroyuki Miyamoto, Takeshi Yamakawa (Eds.): Neural Information Processing, 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II. Springer 2008, ISBN 978-3-540-69159-4
Contents

4986

Matthew J. B. Robshaw, Olivier Billet (Eds.): New Stream Cipher Designs - The eSTREAM Finalists. Lecture Notes in Computer Science Vol. 4986 Springer 2008, ISBN 978-3-540-68350-6
Contents

4987

Xiaohong W. Gao, Henning Müller, Martin Loomes, Richard Comley, Shuqian Luo (Eds.): Medical Imaging and Informatics, 2nd International Conference, MIMI 2007, Beijing, China, August 14-16, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-79489-9
Contents

4988

Rudolf Berghammer, Bernhard Möller, Georg Struth (Eds.): Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78912-3
Contents

4989

Jacques Garrigue, Manuel V. Hermenegildo (Eds.): Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings. Springer 2008, ISBN 978-3-540-78968-0
Contents

4990

Dingyi Pei, Moti Yung, Dongdai Lin, Chuankun Wu (Eds.): Information Security and Cryptology, Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-79498-1
Contents

4991

Liqun Chen, Yi Mu, Willy Susilo (Eds.): Information Security Practice and Experience, 4th International Conference, ISPEC 2008, Sydney, Australia, April 21-23, 2008, Proceedings. Springer 2008, ISBN 978-3-540-79103-4
Contents

4992

David Coeurjolly, Isabelle Sivignon, Laure Tougne, Florent Dupont (Eds.): Discrete Geometry for Computer Imagery, 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings. Springer 2008, ISBN 978-3-540-79125-6
Contents

4993

Hang Li, Ting Liu, Wei-Ying Ma, Tetsuya Sakai, Kam-Fai Wong, Guodong Zhou (Eds.): Information Retrieval Technology, 4th Asia Infomation Retrieval Symposium, AIRS 2008, Harbin, China, January 15-18, 2008, Revised Selected Papers. Springer 2008, ISBN 978-3-540-68633-0
Contents

4994

Aijun An, Stan Matwin, Zbigniew W. Ras, Dominik Slezak (Eds.): Foundations of Intelligent Systems, 17th International Symposium, ISMIS 2008, Toronto, Canada, May 20-23, 2008, Proceedings. Springer 2008, ISBN 978-3-540-68122-9
Contents

4995

Alexander Artikis, Gregory M. P. O'Hare, Kostas Stathis, George A. Vouros (Eds.): Engineering Societies in the Agents World VIII, 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-87653-3
Contents

4996

Hans Kleine Büning, Xishun Zhao (Eds.): Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings. Springer 2008, ISBN 978-3-540-79718-0
Contents

4997

Burkhard Monien, Ulf-Peter Schroeder (Eds.): Algorithmic Game Theory, First International Symposium, SAGT 2008, Paderborn, Germany, April 30-May 2, 2008. Proceedings. Springer 2008, ISBN 978-3-540-79308-3
Contents

4998

Jaume Bacardit, Ester Bernadó-Mansilla, Martin V. Butz, Tim Kovacs, Xavier Llorà, Keiki Takadama (Eds.): Learning Classifier Systems, 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-88137-7
Contents

4999

Lutz Maicher, Lars Marius Garshol (Eds.): Scaling Topic Maps, Third International Conference on Topic Maps Research and Applications, TMRA 2007, Leipzig, Germany, October 11-12, 2007, Revised Selected Papers. Springer 2008, ISBN 978-3-540-70873-5
Contents