dblp.uni-trier.de www.uni-trier.de

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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
4907
...
4908
...
4909
...
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
4915
...
4916
...
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 BibTeX
4918
...
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 BibTeX
4920
...
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 BibTeX
4922
...
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 BibTeX
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 BibTeX
4925
...
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
4935
...
4936
...
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
4943
...
4944
...
4945
...
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
4950
...
4951
...
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
4959
Laurie 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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
4967
...
4968
...
4969
...
4970
...
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
4980
...
4981
...
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 BibTeX
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 BibTeX
4984
...
4985
...
4986
...
4987
...
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 BibTeX
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 BibTeX
4990
...
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
4995
...
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 BibTeX
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 BibTeX
4998
...
4999
...

Copyright © Wed Jun 4 19:25:18 2008 by Michael Ley (ley@uni-trier.de)