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