default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLecture Notes in Computer Science (LNCS), Volumes 6300-6399
6300Andreas Blass, Nachum Dershowitz, Wolfgang Reisig:
Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 6300, Springer 2010, ISBN 978-3-642-15024-1 [contents]- 6301Thomas Sturm, Christoph Zengler:
Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers. Lecture Notes in Computer Science 6301, Springer 2011, ISBN 978-3-642-21045-7 [contents] - 6302Maria J. Serna
, Ronen Shaltiel, Klaus Jansen, José D. P. Rolim:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010. Proceedings. Lecture Notes in Computer Science 6302, Springer 2010, ISBN 978-3-642-15368-6 [contents] - 6303Leonardo Bottaci, Gordon Fraser:
Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings. Lecture Notes in Computer Science 6303, Springer 2010, ISBN 978-3-642-15584-0 [contents] - 6304Darina Dicheva, Danail Dochev:
Artificial Intelligence: Methodology, Systems, and Applications, 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10, 2010. Proceedings. Lecture Notes in Computer Science 6304, Springer 2010, ISBN 978-3-642-15430-0 [contents] - 6305Rainer Keller, Edgar Gabriel, Michael M. Resch, Jack J. Dongarra:
Recent Advances in the Message Passing Interface - 17th European MPI Users' Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings. Lecture Notes in Computer Science 6305, Springer 2010, ISBN 978-3-642-15645-8 [contents] - 6306Rolf Nordahl, Stefania Serafin, Federico Fontana, Stephen A. Brewster:
Haptic and Audio Interaction Design - 5th International Workshop, HAID 2010, Copenhagen, Denmark, September 16-17, 2010. Proceedings. Lecture Notes in Computer Science 6306, Springer 2010, ISBN 978-3-642-15840-7 [contents] - 6307Somesh Jha, Robin Sommer, Christian Kreibich:
Recent Advances in Intrusion Detection, 13th International Symposium, RAID 2010, Ottawa, Ontario, Canada, September 15-17, 2010. Proceedings. Lecture Notes in Computer Science 6307, Springer 2010, ISBN 978-3-642-15511-6 [contents] - 6308David Cohen:
Principles and Practice of Constraint Programming - CP 2010 - 16th International Conference, CP 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings. Lecture Notes in Computer Science 6308, Springer 2010, ISBN 978-3-642-15395-2 [contents] - 6309Mong-Li Lee, Jeffrey Xu Yu, Zohra Bellahsene, Rainer Unland:
Database and XML Technologies - 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings. Lecture Notes in Computer Science 6309, Springer 2010, ISBN 978-3-642-15683-0 [contents] - 6310Rainer Keller, David Kramer, Jan-Philipp Weiss:
Facing the Multicore-Challenge - Aspects of New Paradigms and Technologies in Parallel Computing [Proceedings of a conference held at the Heidelberger Akademie der Wissenschaften, March 17-19, 2010]. Lecture Notes in Computer Science 6310, Springer 2011, ISBN 978-3-642-16232-9 [contents] - 6311Kostas Daniilidis, Petros Maragos, Nikos Paragios:
Computer Vision - ECCV 2010, 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part I. Lecture Notes in Computer Science 6311, Springer 2010, ISBN 978-3-642-15548-2 [contents] - 6312Kostas Daniilidis, Petros Maragos, Nikos Paragios:
Computer Vision - ECCV 2010, 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part II. Lecture Notes in Computer Science 6312, Springer 2010, ISBN 978-3-642-15551-2 [contents] - 6313Kostas Daniilidis, Petros Maragos, Nikos Paragios:
Computer Vision - ECCV 2010, 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part III. Lecture Notes in Computer Science 6313, Springer 2010, ISBN 978-3-642-15557-4 [contents] - 6314Kostas Daniilidis, Petros Maragos, Nikos Paragios:
Computer Vision - ECCV 2010, 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV. Lecture Notes in Computer Science 6314, Springer 2010, ISBN 978-3-642-15560-4 [contents] - 6315Kostas Daniilidis, Petros Maragos, Nikos Paragios:
Computer Vision - ECCV 2010 - 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part V. Lecture Notes in Computer Science 6315, Springer 2010, ISBN 978-3-642-15554-3 [contents] - 6316Kostas Daniilidis, Petros Maragos, Nikos Paragios:
Computer Vision - ECCV 2010 - 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part VI. Lecture Notes in Computer Science 6316, Springer 2010, ISBN 978-3-642-15566-6 [contents] - 6317Philipp Cimiano, Helena Sofia Pinto:
Knowledge Engineering and Management by the Masses - 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings. Lecture Notes in Computer Science 6317, Springer 2010, ISBN 978-3-642-16437-8 [contents] - 6318Fu Lee Wang, Zhiguo Gong, Xiangfeng Luo, Jingsheng Lei:
Web Information Systems and Mining - International Conference, WISM 2010, Sanya, China, October 23-24, 2010. Proceedings. Lecture Notes in Computer Science 6318, Springer 2010, ISBN 978-3-642-16514-6 [contents] - 6319Fu Lee Wang, Hepu Deng, Yang Gao, Jingsheng Lei:
Artificial Intelligence and Computational Intelligence - International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I. Lecture Notes in Computer Science 6319, Springer 2010, ISBN 978-3-642-16529-0 [contents] - 6320Fu Lee Wang, Hepu Deng, Yang Gao, Jingsheng Lei:
Artificial Intelligence and Computational Intelligence - International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II. Lecture Notes in Computer Science 6320, Springer 2010, ISBN 978-3-642-16526-9 [contents] - 6321José L. Balcázar, Francesco Bonchi, Aristides Gionis, Michèle Sebag:
Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2010, Barcelona, Spain, September 20-24, 2010, Proceedings, Part I. Lecture Notes in Computer Science 6321, Springer 2010, ISBN 978-3-642-15879-7 [contents] - 6322José L. Balcázar, Francesco Bonchi, Aristides Gionis, Michèle Sebag:
Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2010, Barcelona, Spain, September 20-24, 2010, Proceedings, Part II. Lecture Notes in Computer Science 6322, Springer 2010, ISBN 978-3-642-15882-7 [contents] - 6323José L. Balcázar, Francesco Bonchi, Aristides Gionis, Michèle Sebag:
Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2010, Barcelona, Spain, September 20-24, 2010, Proceedings, Part III. Lecture Notes in Computer Science 6323, Springer 2010, ISBN 978-3-642-15938-1 [contents] - 6324Marko C. J. D. van Eekelen, Olha Shkaravska:
Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6324, Springer 2010, ISBN 978-3-642-15330-3 [contents] - 6325Uwe Aßmann, Andreas Bartho, Christian Wende:
Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures. Lecture Notes in Computer Science 6325, Springer 2010, ISBN 978-3-642-15542-0 [contents] - 6326Hongen Liao, Eddie Edwards, Xiaochuan Pan, Yong Fan, Guang-Zhong Yang:
Medical Imaging and Augmented Reality - 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010. Proceedings. Lecture Notes in Computer Science 6326, Springer 2010, ISBN 978-3-642-15698-4 [contents] - 6327Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama:
Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings. Lecture Notes in Computer Science 6327, Springer 2010, ISBN 978-3-642-15581-9 [contents] - 6328Kang Li, Minrui Fei, Li Jia, George W. Irwin:
Life System Modeling and Intelligent Computing, International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part I. Lecture Notes in Computer Science 6328, Springer 2010, ISBN 978-3-642-15620-5 [contents] - 6329Kang Li, Minrui Fei, Li Jia, George W. Irwin:
Life System Modeling and Intelligent Computing, International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II. Lecture Notes in Computer Science 6329, Springer 2010, ISBN 978-3-642-15596-3 [contents] - 6330Kang Li, Li Jia, Xin Sun, Minrui Fei, George W. Irwin:
Life System Modeling and Intelligent Computing - International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part III. Lecture Notes in Computer Science 6330, Springer 2010, ISBN 978-3-642-15614-4 [contents] - 6331Marcus Hutter, Frank Stephan, Vladimir Vovk, Thomas Zeugmann:
Algorithmic Learning Theory, 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings. Lecture Notes in Computer Science 6331, Springer 2010, ISBN 978-3-642-16107-0 [contents] - 6332Bernhard Pfahringer, Geoffrey Holmes, Achim G. Hoffmann:
Discovery Science - 13th International Conference, DS 2010, Canberra, Australia, October 6-8, 2010. Proceedings. Lecture Notes in Computer Science 6332, Springer 2010, ISBN 978-3-642-16183-4 [contents] - 6333Pascal Hitzler, Thomas Lukasiewicz:
Web Reasoning and Rule Systems - Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings. Lecture Notes in Computer Science 6333, Springer 2010, ISBN 978-3-642-15917-6 [contents] - 6334Yiyu Yao, Ron Sun, Tomaso A. Poggio, Jiming Liu, Ning Zhong, Jimmy X. Huang:
Brain Informatics, International Conference, BI 2010, Toronto, ON, Canada, August 28-30, 2010. Proceedings. Lecture Notes in Computer Science 6334, Springer 2010, ISBN 978-3-642-15313-6 [contents] - 6335Aijun An, Pawan Lingras, Sheila Petty, Runhe Huang:
Active Media Technology, 6th International Conference, AMT 2010, Toronto, Canada, August 28-30, 2010. Proceedings. Lecture Notes in Computer Science 6335, Springer 2010, ISBN 978-3-642-15469-0 [contents] - 6336Richard Hull, Jan Mendling, Stefan Tai:
Business Process Management - 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings. Lecture Notes in Computer Science 6336, Springer 2010, ISBN 978-3-642-15617-5 [contents] - 6337Radhia Cousot, Matthieu Martel:
Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings. Lecture Notes in Computer Science 6337, Springer 2010, ISBN 978-3-642-15768-4 [contents] - 6338Claude Carlet, Alexander Pott:
Sequences and Their Applications - SETA 2010 - 6th International Conference, Paris, France, September 13-17, 2010. Proceedings. Lecture Notes in Computer Science 6338, Springer 2010, ISBN 978-3-642-15873-5 [contents] - 6339José M. Sempere, Pedro García:
Grammatical Inference: Theoretical Results and Applications, 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010. Proceedings. Lecture Notes in Computer Science 6339, Springer 2010, ISBN 978-3-642-15487-4 [contents] - 6340Marina L. Gavrilova, Chih Jeng Kenneth Tan, Edward D. Moreno:
Transactions on Computational Science X - Special Issue on Security in Computing, Part I. Lecture Notes in Computer Science 6340, Springer 2010, ISBN 978-3-642-17498-8 [contents] - 6341Tomi Janhunen, Ilkka Niemelä:
Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings. Lecture Notes in Computer Science 6341, Springer 2010, ISBN 978-3-642-15674-8 [contents] - 6342Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa:
Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings. Lecture Notes in Computer Science 6342, Springer 2010, ISBN 978-3-642-15783-7 [contents] - 6343Nancy A. Lynch, Alexander A. Shvartsman:
Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings. Lecture Notes in Computer Science 6343, Springer 2010, ISBN 978-3-642-15762-2 [contents] - 6344Josep Domingo-Ferrer, Emmanouil Magkos:
Privacy in Statistical Databases - UNESCO Chair in Data Privacy, International Conference, PSD 2010, Corfu, Greece, September 22-24, 2010. Proceedings. Lecture Notes in Computer Science 6344, Springer 2010, ISBN 978-3-642-15837-7 [contents] - 6345Dimitris Gritzalis, Bart Preneel, Marianthi Theoharidou:
Computer Security - ESORICS 2010, 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings. Lecture Notes in Computer Science 6345, Springer 2010, ISBN 978-3-642-15496-6 [contents] - 6346Mark de Berg, Ulrich Meyer:
Algorithms - ESA 2010, 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part I. Lecture Notes in Computer Science 6346, Springer 2010, ISBN 978-3-642-15774-5 [contents] - 6347Mark de Berg, Ulrich Meyer:
Algorithms - ESA 2010, 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part II. Lecture Notes in Computer Science 6347, Springer 2010, ISBN 978-3-642-15780-6 [contents] - 6348Alan Dearle, Roberto V. Zicari:
Objects and Databases - Third International Conference, ICOODB 2010, Frankfurt/Main, Germany, September 28-30, 2010. Proceedings. Lecture Notes in Computer Science 6348, Springer 2010, ISBN 978-3-642-16091-2 [contents] - 6349Jaco van de Pol, Michael Weber:
Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. Lecture Notes in Computer Science 6349, Springer 2010, ISBN 978-3-642-16163-6 [contents] - 6350Stefania Bandini, Sara Manzoni, Hiroshi Umeo, Giuseppe Vizzari:
Cellular Automata - 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010. Proceedings. Lecture Notes in Computer Science 6350, Springer 2010, ISBN 978-3-642-15978-7 [contents] - 6351Erwin Schoitsch:
Computer Safety, Reliability, and Security, 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings. Lecture Notes in Computer Science 6351, Springer 2010, ISBN 978-3-642-15650-2 [contents] - 6352Konstantinos I. Diamantaras, Wlodek Duch, Lazaros S. Iliadis:
Artificial Neural Networks - ICANN 2010 - 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part I. Lecture Notes in Computer Science 6352, Springer 2010, ISBN 978-3-642-15818-6 [contents] - 6353Konstantinos I. Diamantaras, Wlodek Duch, Lazaros S. Iliadis:
Artificial Neural Networks - ICANN 2010, 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part II. Lecture Notes in Computer Science 6353, Springer 2010, ISBN 978-3-642-15821-6 [contents] - 6354Konstantinos I. Diamantaras, Wlodek Duch, Lazaros S. Iliadis:
Artificial Neural Networks - ICANN 2010 - 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part III. Lecture Notes in Computer Science 6354, Springer 2010, ISBN 978-3-642-15824-7 [contents] - 6355Edmund M. Clarke, Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6355, Springer 2010, ISBN 978-3-642-17510-7 [contents] - 6356Jan M. Allbeck, Norman I. Badler, Timothy W. Bickmore, Catherine Pelachaud, Alla Safonova:
Intelligent Virtual Agents, 10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010. Proceedings. Lecture Notes in Computer Science 6356, Springer 2010, ISBN 978-3-642-15891-9 [contents] - 6357Fei Wang, Pingkun Yan, Kenji Suzuki, Dinggang Shen:
Machine Learning in Medical Imaging, First International Workshop, MLMI 2010, Held in Conjunction with MICCAI 2010, Beijing, China, September 20, 2010. Proceedings. Lecture Notes in Computer Science 6357, Springer 2010, ISBN 978-3-642-15947-3 [contents] - 6358Willem Jonker, Milan Petkovic:
Secure Data Management, 7th VLDB Workshop, SDM 2010, Singapore, September 17, 2010. Proceedings. Lecture Notes in Computer Science 6358, Springer 2010, ISBN 978-3-642-15545-1 [contents] - 6359Rüdiger Dillmann, Jürgen Beyerer, Uwe D. Hanebeck, Tanja Schultz:
KI 2010: Advances in Artificial Intelligence, 33rd Annual German Conference on AI, Karlsruhe, Germany, September 21-24, 2010. Proceedings. Lecture Notes in Computer Science 6359, Springer 2010, ISBN 978-3-642-16110-0 [contents] - 6360Maristella Agosti, Nicola Ferro, Carol Peters, Maarten de Rijke, Alan F. Smeaton:
Multilingual and Multimodal Information Access Evaluation, International Conference of the Cross-Language Evaluation Forum, CLEF 2010, Padua, Italy, September 20-23, 2010. Proceedings. Lecture Notes in Computer Science 6360, Springer 2010, ISBN 978-3-642-15997-8 [contents] - 6361Tianzi Jiang, Nassir Navab, Josien P. W. Pluim, Max A. Viergever:
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2010, 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part I. Lecture Notes in Computer Science 6361, Springer 2010, ISBN 978-3-642-15704-2 [contents] - 6362Tianzi Jiang, Nassir Navab, Josien P. W. Pluim, Max A. Viergever:
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2010, 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part II. Lecture Notes in Computer Science 6362, Springer 2010, ISBN 978-3-642-15744-8 [contents] - 6363Tianzi Jiang, Nassir Navab, Josien P. W. Pluim, Max A. Viergever:
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2010, 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part III. Lecture Notes in Computer Science 6363, Springer 2010, ISBN 978-3-642-15710-3 [contents] - 6364Oscar Camara, Mihaela Pop, Kawal S. Rhode, Maxime Sermesant, Nic Smith, Alistair A. Young:
Statistical Atlases and Computational Models of the Heart, First International Workshop, STACOM 2010, and Cardiac Electrophysiological Simulation Challenge, CESC 2010, Held in Conjunction with MICCAI 2010, Beijing, China, September 20, 2010. Proceedings. Lecture Notes in Computer Science 6364, Springer 2010, ISBN 978-3-642-15834-6 [contents] - 6365Vincent Vigneron, Vicente Zarzoso, Eric Moreau, Rémi Gribonval, Emmanuel Vincent:
Latent Variable Analysis and Signal Separation - 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010. Proceedings. Lecture Notes in Computer Science 6365, Springer 2010, ISBN 978-3-642-15994-7 [contents] - 6366Shlomi Dolev, Jorge Arturo Cobb, Michael J. Fischer, Moti Yung:
Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings. Lecture Notes in Computer Science 6366, Springer 2010, ISBN 978-3-642-16022-6 [contents] - 6367Anant Madabhushi, Jason Dowling, Pingkun Yan, Aaron Fenster, Purang Abolmaesumi, Nobuhiko Hata:
Prostate Cancer Imaging. Computer-Aided Diagnosis, Prognosis, and Intervention - International Workshop, Held in Conjunction with MICCAI 2010, Beijing, China, September 24, 2010. Proceedings. Lecture Notes in Computer Science 6367, Springer 2010, ISBN 978-3-642-15988-6 [contents] - 6368Ella E. Roubtsova, Ashley T. McNeile, Ekkart Kindler, Christian Gerth:
Behavior Modeling - Foundations and Applications, International Workshops, BM-FA 2009-2014, Revised Selected Papers. Lecture Notes in Computer Science 6368, Springer 2015, ISBN 978-3-319-21911-0 [contents] - 6369Arne-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] - 6370Siddika Berna Örs Yalçin:
Radio Frequency Identification: Security and Privacy Issues - 6th International Workshop, RFIDSec 2010, Istanbul, Turkey, June 8-9, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6370, Springer 2010, ISBN 978-3-642-16821-5 [contents] - 6371Stefan Kowalewski, Marco Roveri:
Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings. Lecture Notes in Computer Science 6371, Springer 2010, ISBN 978-3-642-15897-1 [contents] - 6372Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr:
Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings. Lecture Notes in Computer Science 6372, Springer 2010, ISBN 978-3-642-15927-5 [contents] - 6373Maria J. Blesa, Christian Blum, Günther R. Raidl, Andrea Roli, Michael Sampels:
Hybrid Metaheuristics - 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings. Lecture Notes in Computer Science 6373, Springer 2010, ISBN 978-3-642-16053-0 [contents] - 6374Leonard Bolc, Ryszard Tadeusiewicz, Leszek J. Chmielewski, Konrad W. Wojciechowski:
Computer Vision and Graphics - International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, Proceedings, Part I. Lecture Notes in Computer Science 6374, Springer 2010, ISBN 978-3-642-15909-1 [contents] - 6375Leonard Bolc, Ryszard Tadeusiewicz, Leszek J. Chmielewski, Konrad W. Wojciechowski:
Computer Vision and Graphics - International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, Proceedings, Part II. Lecture Notes in Computer Science 6375, Springer 2010, ISBN 978-3-642-15906-0 [contents] - 6376Michael Goesele, Stefan Roth, Arjan Kuijper, Bernt Schiele, Konrad Schindler:
Pattern Recognition - 32nd DAGM Symposium, Darmstadt, Germany, September 22-24, 2010. Proceedings. Lecture Notes in Computer Science 6376, Springer 2010, ISBN 978-3-642-15985-5 [contents] - 6377Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu:
Information Computing and Applications - First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings. Lecture Notes in Computer Science 6377, Springer 2010, ISBN 978-3-642-16166-7 [contents] - 6378Deborah L. McGuinness, James Michaelis, Luc Moreau:
Provenance and Annotation of Data and Processes - Third International Provenance and Annotation Workshop, IPAW 2010, Troy, NY, USA, June 15-16, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6378, Springer 2010, ISBN 978-3-642-17818-4 [contents] - 6379Amol Deshpande, Anthony Hunter:
Scalable Uncertainty Management - 4th International Conference, SUM 2010, Toulouse, France, September 27-29, 2010. Proceedings. Lecture Notes in Computer Science 6379, Springer 2010, ISBN 978-3-642-15950-3 [contents] - 6380Abdelkader Hameurlain, Josef Küng, Roland R. Wagner, Torben Bach Pedersen, A Min Tjoa:
Transactions on Large-Scale Data- and Knowledge-Centered Systems II. Lecture Notes in Computer Science 6380, Springer 2010, ISBN 978-3-642-16174-2 [contents] - 6381Peter Csaba Ölveczky:
Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6381, Springer 2010, ISBN 978-3-642-16309-8 [contents] - 6382Zhihua Cai, Chengyu Hu, Zhuo Kang, Yong Liu:
Advances in Computation and Intelligence - 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings. Lecture Notes in Computer Science 6382, Springer 2011, ISBN 978-3-642-16492-7 [contents] - 6383Martin Wolpers, Paul A. Kirschner, Maren Scheffel, Stefanie N. Lindstaedt, Vania Dimitrova:
Sustaining TEL: From Innovation to Learning and Practice - 5th European Conference on Technology Enhanced Learning, EC-TEL 2010, Barcelona, Spain, September 28 - October 1, 2010. Proceedings. Lecture Notes in Computer Science 6383, Springer 2010, ISBN 978-3-642-16019-6 [contents] - 6384Javier Larrosa, Barry O'Sullivan:
Recent Advances in Constraints - 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6384, Springer 2011, ISBN 978-3-642-19485-6 [contents] - 6385Florian Daniel, Federico Michele Facca:
Current Trends in Web Engineering - 10th International Conference on Web Engineering, ICWE 2010 Workshops, Vienna, Austria, July 2010, Revised Selected Papers. Lecture Notes in Computer Science 6385, Springer 2010, ISBN 978-3-642-16984-7 [contents] - 6386Spyros C. Kontogiannis, Elias Koutsoupias, Paul G. Spirakis:
Algorithmic Game Theory - Third International Symposium, SAGT 2010, Athens, Greece, October 18-20, 2010. Proceedings. Lecture Notes in Computer Science 6386, Springer 2010, ISBN 978-3-642-16169-8 [contents] - 6387Rainer Böhme, Philip W. L. Fong, Reihaneh Safavi-Naini:
Information Hiding - 12th International Conference, IH 2010, Calgary, AB, Canada, June 28-30, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6387, Springer 2010, ISBN 978-3-642-16434-7 [contents] - 6388Devrim Ünay, Zehra Çataltepe, Selim Aksoy:
Recognizing Patterns in Signals, Speech, Images and Videos - ICPR 2010 Contests, Istanbul, Turkey, August 23-26, 2010, Contest Reports. Lecture Notes in Computer Science 6388, Springer 2010, ISBN 978-3-642-17710-1 [contents] - 6389Gerhard Leitner, Martin Hitz, Andreas Holzinger:
HCI in Work and Learning, Life and Leisure - 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings. Lecture Notes in Computer Science 6389, Springer 2010, ISBN 978-3-642-16606-8 [contents] - 6390Oded Goldreich:
Property Testing - Current Research and Surveys. Lecture Notes in Computer Science 6390, Springer 2010, ISBN 978-3-642-16366-1 [contents] - 6391Fabio Martinelli, Bart Preneel:
Public Key Infrastructures, Services and Applications - 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6391, Springer 2010, ISBN 978-3-642-16440-8 [contents] - 6392Gary Geunbae Lee, Joseph Mariani, Wolfgang Minker, Satoshi Nakamura:
Spoken Dialogue Systems for Ambient Environments - Second International Workshop on Spoken Dialogue Systems Technology, IWSDS 2010, Gotemba, Shizuoka, Japan, October 1-2, 2010. Proceedings. Lecture Notes in Computer Science 6392, Springer 2010, ISBN 978-3-642-16201-5 [contents] - 6393Edgar Chávez, Stefano Lonardi:
String Processing and Information Retrieval - 17th International Symposium, SPIRE 2010, Los Cabos, Mexico, October 11-13, 2010. Proceedings. Lecture Notes in Computer Science 6393, Springer 2010, ISBN 978-3-642-16320-3 [contents] - 6394Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen:
Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. Lecture Notes in Computer Science 6394, Springer 2010, ISBN 978-3-642-16144-5 [contents] - 6395Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen:
Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II. Lecture Notes in Computer Science 6395, Springer 2010, ISBN 978-3-642-16128-5 [contents] - 6396Dominique Méry, Stephan Merz:
Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture Notes in Computer Science 6396, Springer 2010, ISBN 978-3-642-16264-0 [contents] - 6397Christian G. Fermüller, Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings. Lecture Notes in Computer Science 6397, Springer 2010, ISBN 978-3-642-16241-1 [contents] - 6398Eric Tannier:
Comparative Genomics - International Workshop, RECOMB-CG 2010, Ottawa, Canada, October 9-11, 2010. Proceedings. Lecture Notes in Computer Science 6398, Springer 2010, ISBN 978-3-642-16180-3 [contents] - 6399Sang Lyul Min, Robert G. Pettit IV, Peter P. Puschner, Theo Ungerer:
Software Technologies for Embedded and Ubiquitous Systems - 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings. Lecture Notes in Computer Science 6399, Springer 2010, ISBN 978-3-642-16255-8 [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-12 21:07 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:
