Lecture Notes in Computer Science (LNCS), Volumes 6100-6199
6100Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (Eds.): Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers. Springer 2011 ISBN 978-3-642-16276-3 [ contents ]- 6101Alessandro Acquisti, Sean W. Smith, Ahmad-Reza Sadeghi (Eds.): Trust and Trustworthy Computing, Third International Conference, TRUST 2010, Berlin, Germany, June 21-23, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13868-3 [ contents ]
- 6102Gobinda G. Chowdhury, Chris Koo, Jane Hunter (Eds.): The Role of Digital Libraries in a Time of Global Change, 12th International Conference on Asia-Pacific Digital Libraries, ICADL 2010, Gold Coast, Australia, June 21-25, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13653-5 [ contents ]
- 6103…. ...
- 6104Paolo Bellavista, Ruay-Shiung Chang, Han-Chieh Chao, Shin-Feng Lin, Peter M. A. Sloot (Eds.): Advances in Grid and Pervasive Computing, 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13066-3 [ contents ]
- 6105Robert Winter, J. Leon Zhao, Stephan Aier (Eds.): Global Perspectives on Design Science Research, 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13334-3 [ contents ]
- 6106Jorge Real, Tullio Vardanega (Eds.): Reliable Software Technologiey - Ada-Europe 2010, 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13549-1 [ contents ]
- 6107Hamish Cunningham, Allan Hanbury, Stefan M. Rüger (Eds.): Advances in Multidisciplinary Retrieval, First Information Retrieval Facility Conference, IRFC 2010, Vienna, Austria, May 31, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13083-0 [ contents ]
- 6108Jan Kratochvíl, Angsheng Li, Jirí Fiala, Petr Kolman (Eds.): Theory and Applications of Models of Computation, 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13561-3 [ contents ]
- 6109Bart De Decker, Ingrid Schaumüller-Bichl (Eds.): Communications and Multimedia Security, 11th IFIP TC 6/TC 11 International Conference, CMS 2010, Linz, Austria, May 31 - June 2, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13240-7 [ contents ]
- 6110Henri Gilbert (Ed.): Advances in Cryptology - EUROCRYPT 2010, 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, French Riviera, May 30 - June 3, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13189-9 [ contents ]
- 6111Aurélio C. Campilho, Mohamed S. Kamel (Eds.): Image Analysis and Recognition, 7th International Conference, ICIAR 2010, Póvoa de Varzim, Portugal, June 21-23, 2010. Proceedings, Part I. Springer 2010 ISBN 978-3-642-13771-6 [ contents ]
- 6112Aurélio C. Campilho, Mohamed S. Kamel (Eds.): Image Analysis and Recognition, 7th International Conference, ICIAR 2010, Póvoa de Varzim, Portugal, June 21-23, 2010, Proceedings, Part II. Springer 2010 ISBN 978-3-642-13774-7 [ contents ]
- 6113Leszek Rutkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada (Eds.): Artificial Intelligence and Soft Computing, 10th International Conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010, Part I. Springer 2010 ISBN 978-3-642-13207-0 [ contents ]
- 6114Leszek Rutkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada (Eds.): Artifical Intelligence and Soft Computing, 10th International Conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010, Part II. Springer 2010 ISBN 978-3-642-13231-5 [ contents ]
- 6115Frank Eliassen, Rüdiger Kapitza (Eds.): Distributed Applications and Interoperable Systems, 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. 2010 ISBN 978-3-642-13644-3 [ contents ]
- 6116Dave Clarke, Gul A. Agha (Eds.): Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13413-5 [ contents ]
- 6117John Hatcliff, Elena Zucca (Eds.): Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13463-0 [ contents ]
- 6118Mohammed Javeed Zaki, Jeffrey Xu Yu, B. Ravindran, Vikram Pudi (Eds.): Advances in Knowledge Discovery and Data Mining, 14th Pacific-Asia Conference, PAKDD 2010, Hyderabad, India, June 21-24, 2010. Proceedings. Part I. Springer 2010 ISBN 978-3-642-13656-6 [ contents ]
- 6119Mohammed Javeed Zaki, Jeffrey Xu Yu, B. Ravindran, Vikram Pudi (Eds.): Advances in Knowledge Discovery and Data Mining, 14th Pacific-Asia Conference, PAKDD 2010, Hyderabad, India, June 21-24, 2010. Proceedings. Part II. Springer 2010 ISBN 978-3-642-13671-9 [ contents ]
- 6120Claude Bolduc, Jules Desharnais, Béchir Ktari (Eds.): Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13320-6 [ contents ]
- 6121Lachlan M. MacKinnon (Ed.): Data Security and Security Data - 27th British National Conference on Databases, BNCOD 27, Dundee, UK, June 29 - July 1, 2010. Revised Selected Papers. Springer 2012 ISBN 978-3-642-25703-2 [ contents ]
- 6122Hsinchun Chen, Michael Chau, Shu-Hsing Li, Shalini R. Urs, Srinath Srinivasa, G. Alan Wang (Eds.): Intelligence and Security Informatics, Pacific Asia Workshop, PAISI 2010, Hyderabad, India, June 21, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13600-9 [ contents ]
- 6123Jianying Zhou, Moti Yung (Eds.): Applied Cryptography and Network Security, 8th International Conference, ACNS 2010, Beijing, China, June 22-25, 2010. Proceedings. 2010 ISBN 978-3-642-13707-5 [ contents ]
- 6124
- 6125Agostino Dovier, Enrico Pontelli (Eds.): A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. Springer 2010 ISBN 978-3-642-14308-3 [ contents ]
- 6126…. ...
- 6127…. ...
- 6128Johan Lilius, Wojciech Penczek (Eds.): Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13674-0 [ contents ]
- 6129Amihood Amir, Laxmi Parida (Eds.): Combinatorial Pattern Matching, 21st Annual Symposium, CPM 2010, New York, NY, USA, June 21-23, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13508-8 [ contents ]
- 6130Bernard Mourrain, Scott Schaefer, Guoliang Xu (Eds.): Advances in Geometric Modeling and Processing, 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13410-4 [ contents ]
- 6131Rajmohan Rajaraman, Thomas Moscibroda, Adam Dunkels, Anna Scaglione (Eds.): Distributed Computing in Sensor Systems, 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13650-4 [ contents ]
- 6132Mitsuhisa Sato, Toshihiro Hanawa, Matthias S. Müller, Barbara M. Chapman, Bronis R. de Supinski (Eds.): Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More, 6th Internationan Workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010, Proceedings. Springer 2010 ISBN 978-3-642-13216-2 [ contents ]
- 6133Robyn Taylor, Pierre Boulanger, Antonio Krüger, Patrick Olivier (Eds.): Smart Graphics, 10th International Symposium on Smart Graphics, Banff, Canada, June 24-26, 2010, Proceedings. Springer 2010 ISBN 978-3-642-13543-9 [ contents ]
- 6134Abderrahim Elmoataz, Olivier Lezoray, Fathallah Nouboud, Driss Mammass, Jean Meunier (Eds.): Image and Signal Processing, 4th International Conference, ICISP 2010, Trois-Rivières, QC, Canada, June 30-July 2, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13680-1 [ contents ]
- 6135Nassir Navab, Pierre Jannin (Eds.): Information Processing in Computer-Assisted Interventions, First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13710-5 [ contents ]
- 6136Joan Martí, Arnau Oliver, Jordi Freixenet, Robert Marti (Eds.): Digital Mammography, 10th International Workshop, IWDM 2010, Girona, Catalonia, Spain, June 16-18, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13665-8 [ contents ]
- 6137Thomas Ploug, Per F. V. Hasle, Harri Oinas-Kukkonen (Eds.): Persuasive Technology, 5th International Conference, PERSUASIVE 2010, Copenhagen, Denmark, June 7-10, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13225-4 [ contents ]
- 6138Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier (Eds.): Modelling Foundations and Applications, 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13594-1 [ contents ]
- 6139Haim Kaplan (Ed.): Algorithm Theory - SWAT 2010, 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13730-3 [ contents ]
- 6140Andrea Lodi, Michela Milano, Paolo Toth (Eds.): Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings. Springer 2010 [ contents ]
- 6141
- 6142Laurence Tratt, Martin Gogolla (Eds.): Theory and Practice of Model Transformations, Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13687-0 [ contents ]
- 6143Gordon Fraser, Angelo Gargantini (Eds.): Tests and Proofs, 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13976-5 [ contents ]
- 6144Benoit Baudry, Eric Wohlstadter (Eds.): Software Composition, 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings. Springer 2010 ISBN 978-3-642-14045-7 [ contents ]
- 6145Ying Tan, Yuhui Shi, Kay Chen Tan (Eds.): Advances in Swarm Intelligence, First International Conference, ICSI 2010, Beijing, China, June 12-15, 2010, Proceedings, Part I. Springer 2010 ISBN 978-3-642-13494-4 [ contents ]
- 6146Ying Tan, Yuhui Shi, Kay Chen Tan (Eds.): Advances in Swarm Intelligence, First International Conference, ICSI 2010, Beijing, China, June 12-15, 2010, Proceedings, Part II. Springer 2010 ISBN 978-3-642-13497-5 [ contents ]
- 6147Seokhie Hong, Tetsu Iwata (Eds.): Fast Software Encryption, 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010, Revised Selected Papers. Springer 2010 ISBN 978-3-642-13857-7 [ contents ]
- 6148Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (Eds.): Analytical and Stochastic Modeling Techniques and Applications, 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13567-5 [ contents ]
- 6149Christian Ebert, Gerhard Jäger, Jens Michaelis (Eds.): The Mathematics of Language, 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers. Springer 2010 ISBN 978-3-642-14321-2 [ contents ]
- 6150Holger Giese (Ed.): Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings. Springer 2010 ISBN 978-3-642-13555-2 [ contents ]
- 6151Feng Bao, Moti Yung, Dongdai Lin, Jiwu Jing (Eds.): Information Security and Cryptology - 5th International Conference, Inscrypt 2009, Beijing, China, December 12-15, 2009. Revised Selected Papers. Springer 2011 ISBN 978-3-642-16341-8 [ contents ]
- 6152Arne-Jørgen Berre, Asunción Gómez-Pérez, Kurt Tutschku, Dieter Fensel (Eds.): Future Internet - FIS 2010 - Third Future Internet Symposium, Berlin, Germany, September 20-22, 2010. Proceedings. Springer 2010 ISBN 978-3-642-15876-6 [ contents ]
- 6153Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (Eds.): Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures. Springer 2010 ISBN 978-3-642-14334-2 [ contents ]
- 6154Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (Eds.): Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures. Springer 2010 ISBN 978-3-642-13677-1 [ contents ]
- 6155Burkhard Stiller, Filip De Turck (Eds.): Mechanisms for Autonomous Management of Networks and Services, 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13985-7 [ contents ]
- 6156Muhammad Ali Babar, Matias Vierimaa, Markku Oivo (Eds.): Product-Focused Software Process Improvement, 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13791-4 [ contents ]
- 6157Sherali Zeadally, Eduardo Cerqueira, Marilia Curado, Mikolaj Leszczuk (Eds.): Future Multimedia Networking, Third International Workshop, FMN 2010, Krakow, Poland, June 17-18, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13788-4 [ contents ]
- 6158Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes (Eds.): Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13961-1 [ contents ]
- 6159Yeunsook Lee, Z. Zenn Bien, Mounir Mokhtari, Jeong Tai Kim, Mignon Park, Jongbae Kim, Heyoung Lee, Ismail Khalil (Eds.): Aging Friendly Technology for Health and Independence, 8th International Conference on Smart Homes and Health Telematics, ICOST 2010, Seoul, Korea, June 22-24, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13777-8 [ contents ]
- 6160Francesco Masulli, Leif E. Peterson, Roberto Tagliaferri (Eds.): Computational Intelligence Methods for Bioinformatics and Biostatistics, 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, Revised Selected Papers. Springer 2010 ISBN 978-3-642-14570-4 [ contents ]
- 6161Ana Lucia Varbanescu, Anca Mariana Molnos, Rob van Nieuwpoort (Eds.): Computer Architecture - ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers. Springer 2012 ISBN 978-3-642-24321-9 [ contents ]
- 6162Zoé Lacroix (Ed.): Resource Discovery, Second International Workshop, RED 2009, Lyon, France, August 28, 2009. Revised Papers. Springer 2010 ISBN 978-3-642-14414-1 [ contents ]
- 6163Liqun Chen, Moti Yung (Eds.): Trusted Systems, First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009. Revised Selected Papers. Springer 2010 ISBN 978-3-642-14596-4 [ contents ]
- 6164Finn Arve Aagesen, Svein J. Knapskog (Eds.): Networked Services and Applications - Engineering, Control and Management, 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13970-3 [ contents ]
- 6165David Zhang, Milan Sonka (Eds.): Medical Biometrics, Second International Conference, ICMB 2010, Hong Kong, China, June 28-30, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13922-2 [ contents ]
- 6166Sara Foresti, Sushil Jajodia (Eds.): Data and Applications Security and Privacy XXIV, 24th Annual IFIP WG 11.3 Working Conference, Rome, Italy, June 21-23, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13738-9 [ contents ]
- 6167Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton (Eds.): Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings. Springer 2010 ISBN 978-3-642-14127-0 [ contents ]
- 6168Ron Steinfeld, Philip Hawkes (Eds.): Information Security and Privacy - 15th Australasian Conference, ACISP 2010, Sydney, Australia, July 5-7, 2010. Proceedings. Springer 2010 ISBN 978-3-642-14080-8 [ contents ]
- 6169Francisco J. Perales López, Robert B. Fisher (Eds.): Articulated Motion and Deformable Objects, 6th International Conference, AMDO 2010, Port d'Andratx, Mallorca, Spain, July 7-9, 2010. Proceedings. Springer 2010 ISBN 978-3-642-14060-0 [ contents ]
- 6170Ashok K. Goel, Mateja Jamnik, N. Hari Narayanan (Eds.): Diagrammatic Representation and Inference, 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings. Springer 2010 ISBN 978-3-642-14599-5 [ contents ]
- 6171Petra Perner (Ed.): Advances in Data Mining. Applications and Theoretical Aspects, 10th Industrial Conference, ICDM 2010, Berlin, Germany, July 12-14, 2010. Proceedings. Springer 2010 ISBN 978-3-642-14399-1 [ contents ]
- 6172Matt Kaufmann, Lawrence C. Paulson (Eds.): Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. Springer 2010 ISBN 978-3-642-14051-8 [ contents ]
- 6173Jürgen Giesl, Reiner Hähnle (Eds.): Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Springer 2010 ISBN 978-3-642-14202-4 [ contents ]
- 6174Tayssir Touili, Byron Cook, Paul Jackson (Eds.): Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Springer 2010 ISBN 978-3-642-14294-9 [ contents ]
- 6175Ofer Strichman, Stefan Szeider (Eds.): Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. Springer 2010 ISBN 978-3-642-14185-0 [ contents ]
- 6176Isabelle Bichindaritz, Stefania Montani (Eds.): Case-Based Reasoning. Research and Development, 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings. Springer 2010 ISBN 978-3-642-14273-4 [ contents ]
- 6177Christina J. Hopfe, Yacine Rezgui, Elisabeth Métais, Alun D. Preece, Haijiang Li (Eds.): Natural Language Processing and Information Systems, 15th International Conference on Applications of Natural Language to Information Systems, NLDB 2010, Cardiff, UK, June 23-25, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13880-5 [ contents ]
- 6178Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann (Eds.): Computational Intelligence for Knowledge-Based Systems Design, 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings. Springer 2010 ISBN 978-3-642-14048-8 [ contents ]
- 6179Klaus Miesenberger, Joachim Klaus, Wolfgang L. Zagler, Arthur I. Karshmer (Eds.): Computers Helping People with Special Needs, 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings, Part I. Springer 2010 ISBN 978-3-642-14096-9 [ contents ]
- 6180Klaus Miesenberger, Joachim Klaus, Wolfgang L. Zagler, Arthur I. Karshmer (Eds.): Computers Helping People with Special Needs, 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010, Proceedings, Part II. Springer 2010 ISBN 978-3-642-14099-0 [ contents ]
- 6181Guido Governatori, Giovanni Sartor (Eds.): Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings. Springer 2010 ISBN 978-3-642-14182-9 [ contents ]
- 6182Roel Wieringa, Anne Persson (Eds.): Requirements Engineering: Foundation for Software Quality, 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30 - July 2, 2010. Proceedings. Springer 2010 ISBN 978-3-642-14191-1 [ contents ]
- 6183Theo D'Hondt (Ed.): ECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings. Springer 2010 ISBN 978-3-642-14106-5 [ contents ]
- 6184Lei Chen, Changjie Tang, Jun Yang, Yunjun Gao (Eds.): Web-Age Information Management, 11th International Conference, WAIM 2010, Jiuzhaigou, China, July 15-17, 2010. Proceedings. Springer 2010 ISBN 978-3-642-14245-1 [ contents ]
- 6185Heng Tao Shen, Jian Pei, M. Tamer Özsu, Lei Zou, Jiaheng Lu, Tok Wang Ling, Ge Yu, Yi Zhuang, Jie Shao (Eds.): Web-Age Information Management - WAIM 2010 International Workshops: IWGD 2010, XMLDM 2010, WCMT 2010, Jiuzhaigou Valley, China, July 15-17, 2010, Revised Selected Papers. Springer 2010 ISBN 978-3-642-16719-5 [ contents ]
- 6186Alessandro Armando, Gavin Lowe (Eds.): Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers. Springer 2011 ISBN 978-3-642-16073-8 [ contents ]
- 6187Michael Gertz, Bertram Ludäscher (Eds.): Scientific and Statistical Database Management, 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30 - July 2, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13817-1 [ contents ]
- 6188Anuj Dawar, Ruy J. G. B. de Queiroz (Eds.): Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13823-2 [ contents ]
- 6189Boualem Benatallah, Fabio Casati, Gerti Kappel, Gustavo Rossi (Eds.): Web Engineering, 10th International Conference, ICWE 2010, Vienna, Austria, July 5-9, 2010. Proceedings. Springer 2010 ISBN 978-3-642-13910-9 [ contents ]
- 6190James F. Peters, Andrzej Skowron, Roman Slowinski, Pawan Lingras, Duoqian Miao, Shusaku Tsumoto (Eds.): Transactions on Rough Sets XII. Springer 2010 ISBN 978-3-642-14466-0 [ contents ]
- 6191Astrid M. L. Kappers, Jan B. F. van Erp, Wouter M. Bergmann Tiest, Frans C. T. van der Helm (Eds.): Haptics: Generating and Perceiving Tangible Sensations, International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings, Part I. Springer 2010 ISBN 978-3-642-14063-1 [ contents ]
- 6192Astrid M. L. Kappers, Jan B. F. van Erp, Wouter M. Bergmann Tiest, Frans C. T. van der Helm (Eds.): Haptics: Generating and Perceiving Tangible Sensations, International Conference, EuroHaptics 2010, Amsterdam, The Netherlands, July 8-10, 2010. Proceedings, Part II. Springer 2010 ISBN 978-3-642-14074-7 [ contents ]
- 6193Masatoshi Yoshikawa, Xiaofeng Meng, Takayuki Yumoto, Qiang Ma, Lifeng Sun, Chiemi Watanabe (Eds.): Database Systems for Advanced Applications, 15th International Conference, DASFAA 2010, International Workshops: GDM, BenchmarX, MCIS, SNSMW, DIEW, UDM, Tsukuba, Japan, April 1-4, 2010, Revised Selected Papers. Springer 2010 ISBN 978-3-642-14588-9 [ contents ]
- 6194Cosimo Laneve, Jianwen Su (Eds.): Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers. Springer 2010 ISBN 978-3-642-14457-8 [ contents ]
- 6195Jürgen Münch, Ye Yang, Wilhelm Schäfer (Eds.): New Modeling Concepts for Today's Software Processes, International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings. Springer 2010 ISBN 978-3-642-14346-5 [ contents ]
- 6196My T. Thai, Sartaj Sahni (Eds.): Computing and Combinatorics, 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010. Proceedings. Springer 2010 ISBN 978-3-642-14030-3 [ contents ]
- 6197Guillaume Hanrot, François Morain, Emmanuel Thomé (Eds.): Algorithmic Number Theory, 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings. Springer 2010 ISBN 978-3-642-14517-9 [ contents ]
- 6198Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (Eds.): Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I. Springer 2010 ISBN 978-3-642-14164-5 [ contents ]
- 6199Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (Eds.): Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II. Springer 2010 ISBN 978-3-642-14161-4 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team