Theodore P. Baker, Alain Bui, Sébastien Tixeuil (Eds.):
Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings.
Springer 2008, ISBN 978-3-540-92220-9 Contents
5402
Gérard P. Huet, Amba P. Kulkarni, Peter M. Scharf (Eds.):
Sanskrit Computational Linguistics, First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 Revised Selected and Invited Papers.
Springer 2009, ISBN 978-3-642-00154-3 Contents
5403
Neil D. Jones, Markus Müller-Olm (Eds.):
Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings.
Springer 2009, ISBN 978-3-540-93899-6 Contents
Michael Fisher, Fariba Sadri, Michael Thielscher (Eds.):
Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers.
Springer 2009, ISBN 978-3-642-02733-8 Contents
5406
Amba P. Kulkarni, Gérard P. Huet (Eds.):
Sanskrit Computational Linguistics, Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings.
Springer 2009, ISBN 978-3-540-93884-2 Contents
5407
Sergei N. Artëmov, Anil Nerode (Eds.):
Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings.
Springer 2009, ISBN 978-3-540-92686-3 Contents
5408
Vijay K. Garg, Roger Wattenhofer, Kishore Kothapalli (Eds.):
Distributed Computing and Networking, 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings.
Springer 2009, ISBN 978-3-540-92294-0 Contents
Robert O. Briggs, Pedro Antunes, Gert-Jan de Vreede, Aaron Read (Eds.):
Groupware: Design, Implementation, and Use, 14th International Workshop, CRIWG 2008, Omaha, NE, USA, September 14-18, 2008, Revised Selected Papers.
Springer 2008, ISBN 978-3-540-92830-0 Contents
Andrea De Lucia, Filomena Ferrucci (Eds.):
Software Engineering, International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures.
Springer 2009, ISBN 978-3-540-95887-1 Contents
5414
Toshikazu Wada, Fay Huang, Stephen Lin (Eds.):
Advances in Image and Video Technology, Third Pacific Rim Symposium, PSIVT 2009, Tokyo, Japan, January 13-16, 2009. Proceedings.
Springer 2009, ISBN 978-3-540-92956-7 Contents
Frank Nielsen (Ed.):
Emerging Trends in Visual Computing, LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008. Revised Invited Papers.
Springer 2009, ISBN 978-3-642-00825-2 Contents
5417
Ioannis G. Tollis, Maurizio Patrignani (Eds.):
Graph Drawing, 16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008. Revised Papers.
Springer 2009, ISBN 978-3-642-00218-2 Contents
5418
Andy Gill, Terrance Swift (Eds.):
Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings.
Springer 2009, ISBN 978-3-540-92994-9 Contents
5419
David R. Kaeli, Kai Sachs (Eds.):
Computer Performance Evaluation and Benchmarking, SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings.
Springer 2009, ISBN 978-3-540-93798-2 Contents
5420
Marina Lipshteyn, Vadim E. Levit, Ross M. McConnell (Eds.):
Graph Theory, Computational Intelligence and Thought, Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday.
Springer 2009, ISBN 978-3-642-02028-5 Contents
5421
Michel R. V. Chaudron (Ed.):
Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers.
Springer 2009, ISBN 978-3-642-01647-9 Contents
5422
Peter Bosch, David Gabelaia, Jérôme Lang (Eds.):
Logic, Language, and Computation, 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers.
Springer 2009, ISBN 978-3-642-00664-7 Contents
5423
Michael Leuschel, Heike Wehrheim (Eds.):
Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-00254-0 Contents
5424
Jobst Löffler, Markus Klann (Eds.):
Mobile Response, Second International Workshop on Mobile Information Technology for Emergency Response, MobileResponse 2008. Bonn, Germany, May 29-30, 2008, Revised Selected Papers.
Springer 2009, ISBN 978-3-642-00439-1 Contents
5425
Eitan Altman, Augustin Chaintreau (Eds.):
Network Control and Optimization, Second Euro-NF Workshop, NET-COOP 2008, Paris, France, September 8-10, 2008. Revised Selected Papers.
Springer 2009, ISBN 978-3-642-00392-9 Contents
5426
Evripidis Bampis, Martin Skutella (Eds.):
Approximation and Online Algorithms, 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008. Revised Papers.
Springer 2009, ISBN 978-3-540-93979-5 Contents
5427
Konstantin Avrachenkov, Debora Donato, Nelly Litvak (Eds.):
Algorithms and Models for the Web-Graph, 6th International Workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009. Proceedings.
Springer 2009, ISBN 978-3-540-95994-6 Contents
5428
Jomi Fred Hübner, Eric T. Matson, Olivier Boissier, Virginia Dignum (Eds.):
Coordination, Organizations, Institutions and Norms in Agent Systems IV, COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008. Revised Selected Papers.
Springer 2009, ISBN 978-3-642-00442-1 Contents
5429
Fabio Massacci, Samuel T. Redwine Jr., Nicola Zannone (Eds.):
Engineering Secure Software and Systems, First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-00198-7 Contents
Sandip Das, Ryuhei Uehara (Eds.):
WALCOM: Algorithms and Computation, Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-00201-4 Contents
5432
Utz Roedig, Cormac J. Sreenan (Eds.):
Wireless Sensor Networks, 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-00223-6 Contents
Svetozar Margenov, Lubin G. Vulkov, Jerzy Wasniewski (Eds.):
Numerical Analysis and Its Applications, 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers.
Springer 2009, ISBN 978-3-642-00463-6 Contents
Dietmar Seipel, Michael Hanus, Armin Wolf (Eds.):
Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers.
Springer 2009, ISBN 978-3-642-00674-6 Contents
5438
Michael Hanus (Ed.):
Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers.
Springer 2009, ISBN 978-3-642-00514-5 Contents
Koen V. Hindriks, Alexander Pokahr, Sebastian Sardiña (Eds.):
Programming Multi-Agent Systems, 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers.
Springer 2009, ISBN 978-3-642-03277-6 Contents
5443
Stanislaw Jarecki, Gene Tsudik (Eds.):
Public Key Cryptography - PKC 2009, 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-00467-4 Contents
5444
Omer Reingold (Ed.):
Theory of Cryptography, 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-00456-8 Contents
Sue B. Moon, Renata Teixeira, Steve Uhlig (Eds.):
Passive and Active Network Measurement, 10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-00974-7 Contents
5449
Alexander F. Gelbukh (Ed.):
Computational Linguistics and Intelligent Text Processing, 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-00381-3 Contents
Feng Bao, Hui Li, Guilin Wang (Eds.):
Information Security Practice and Experience, 5th International Conference, ISPEC 2009, Xi'an, China, April 13-15, 2009, Proceedings.
Springer 2009, ISBN 978-3-642-00842-9 Contents
5452
Dragan Gasevic, Ralf Lämmel, Eric Van Wyk (Eds.):
Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers.
Springer 2009, ISBN 978-3-642-00433-9 Contents
5453
Jürgen Becker, Roger Woods, Peter M. Athanas, Fearghal Morgan (Eds.):
Reconfigurable Computing: Architectures, Tools and Applications, 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-00640-1 Contents
Francesco Bonchi, Elena Ferrari, Wei Jiang, Bradley Malin (Eds.):
Privacy, Security, and Trust in KDD, Second ACM SIGKDD International Workshop, PinKDD 2008, Las Vegas, NV, USA, August 24, 2008, Revised Selected Papers.
Springer 2009, ISBN 978-3-642-01717-9 Contents
Wenjie Li, Diego Mollá Aliod (Eds.):
Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy, 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-00830-6 Contents
5460
Kurt Jensen, Wil M. P. van der Aalst (Eds.):
Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems.
Springer 2009, ISBN 978-3-642-00898-6 Contents
5461
Pil Joong Lee, Jung Hee Cheon (Eds.):
Information Security and Cryptology - ICISC 2008, 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers.
Springer 2009, ISBN 978-3-642-00729-3 Contents
5462
Sanguthevar Rajasekaran (Ed.):
Bioinformatics and Computational Biology, First International Conference, BICoB 2009, New Orleans, LA, USA, April 8-10, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-00726-2 Contents
5463
Xiaofang Zhou, Haruo Yokota, Ke Deng, Qing Liu (Eds.):
Database Systems for Advanced Applications, 14th International Conference, DASFAA 2009, Brisbane, Australia, April 21-23, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-00886-3 Contents
5464
Rui Valadas, Paulo Salvador (Eds.):
Traffic Management and Traffic Engineering for the Future Internet, First Euro-NF Workshop, FITraMEn 2008, Porto, Portugal, December 11-12, Revised Selected Papers.
Springer 2009, ISBN 978-3-642-04575-2 Contents
5465
Debbie Richards, Byeong Ho Kang (Eds.):
Knowledge Acquisition: Approaches, Algorithms and Applications, Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected Papers.
Springer 2009, ISBN 978-3-642-01714-8 Contents
5466
Flaminio Squazzoni (Ed.):
Epistemological Aspects of Computer Simulation in the Social Sciences, Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers.
Springer 2009, ISBN 978-3-642-01108-5 Contents
John Domingue, Dieter Fensel, Paolo Traverso (Eds.):
Future Internet - FIS 2008, First Future Internet Symposium, FIS 2008, Vienna, Austria, September 29-30, 2008, Revised Selected Papers.
Springer 2009, ISBN 978-3-642-00984-6 Contents
5469
Rupak Majumdar, Paulo Tabuada (Eds.):
Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-00601-2 Contents
5470
Per Stenström (Ed.):
Transactions on High-Performance Embedded Architectures and Compilers II.
Springer 2009, ISBN 978-3-642-00903-7 Contents
5471
Liqun Chen, Chris J. Mitchell, Andrew Martin (Eds.):
Trusted Computing, Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings.
Springer 2009, ISBN 978-3-642-00586-2 Contents
5472
George Feuerlicht, Winfried Lamersdorf (Eds.):
Service-Oriented Computing - ICSOC 2008 Workshops, ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers.
Springer 2009, ISBN 978-3-642-01246-4 Contents
5473
Marc Fischlin (Ed.):
Topics in Cryptology - CT-RSA 2009, The Cryptographers' Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-00861-0 Contents
5474
Christos Kaklamanis, Flemming Nielson (Eds.):
Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers.
Springer 2009, ISBN 978-3-642-00944-0 Contents
5475
Patrick Eugster (Ed.):
Object-Oriented Technology. ECOOP 2008 Workshop Reader, ECOOP 2008 Workshops, Paphos, Cyprus, July 7-11, 2008, Final Reports.
Springer 2009, ISBN 978-3-642-02046-9 Contents
Antoine Joux (Ed.):
Advances in Cryptology - EUROCRYPT 2009, 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-01000-2 Contents
Carlos Cotta, Peter I. Cowling (Eds.):
Evolutionary Computation in Combinatorial Optimization, 9th European Conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-01008-8 Contents
5483
Clara Pizzuti, Marylyn D. Ritchie, Mario Giacobini (Eds.):
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, 7th European Conference, EvoBIO 2009, Tübingen, Germany, April 15-17, 2009, Proceedings.
Springer 2009, ISBN 978-3-642-01183-2 Contents
Alexander Artikis, Gauthier Picard, Laurent Vercouter (Eds.):
Engineering Societies in the Agents World IX, 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers.
Springer 2009, ISBN 978-3-642-02561-7 Contents
5486
Andrea Corradini, Ugo Montanari (Eds.):
Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers.
Springer 2009, ISBN 978-3-642-03428-2 Contents
5487
Moti Yung, Peng Liu, Dongdai Lin (Eds.):
Information Security and Cryptology, 4th International Conference, Inscrypt 2008, Beijing, China, December 14-17, 2008, Revised Selected Papers.
Springer 2009, ISBN 978-3-642-01439-0 Contents
5488
Francesco Masulli, Roberto Tagliaferri, Gennady Verkhivker (Eds.):
Computational Intelligence Methods for Bioinformatics and Biostatistics, 5th International Meeting, CIBB 2008, Vietri sul Mare, Italy, October 3-4, 2008, Revised Selected Papers.
Springer 2009, ISBN 978-3-642-02503-7 Contents
Sølvi Ystad, Richard Kronland-Martinet, Kristoffer Jensen (Eds.):
Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music, 5th International Symposium, CMMR 2008, Copenhagen, Denmark, May 19-23, 2008, Revised Papers.
Springer 2009, ISBN 978-3-642-02517-4 Contents
Mikko Kolehmainen, Pekka J. Toivanen, Bartlomiej Beliczynski (Eds.):
Adaptive and Natural Computing Algorithms, 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers.
Springer 2009, ISBN 978-3-642-04920-0 Contents
5496
André Gagalowicz, Wilfried Philips (Eds.):
Computer Vision/Computer Graphics Collaboration Techniques, 4th International Conference, MIRAGE 2009, Rocquencourt, France, May 4-6, 2009. Proceedings.
Springer 2009, ISBN 978-3-642-01810-7 Contents
5497
Stefano Berardi, Ferruccio Damiani, Ugo de'Liguoro (Eds.):
Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers.
Springer 2009, ISBN 978-3-642-02443-6 Contents
5498
C. Lee Giles, Marc Smith, John Yen, Haizheng Zhang (Eds.):
Advances in Social Network Mining and Analysis, Second International Workshop, SNAKDD 2008, Las Vegas, NV, USA, August 24-27, 2008, Revised Selected Papers.
Springer 2010, ISBN 978-3-642-14928-3 Contents
5499
Giovanni Pezzulo, Martin V. Butz, Olivier Sigaud, Gianluca Baldassarre (Eds.):
Anticipatory Behavior in Adaptive Learning Systems, From Psychological Theories to Artificial Cognitive Systems [4th Workshop on Anticipatory Behavior in Adaptive Learning Systems, ABiALS 2008, Munich, Germany, June 26-27, 2008].
Springer 2009, ISBN 978-3-642-02564-8 Contents
data released under the ODC-BY 1.0 license
