default search action
Lecture Notes in Computer Science (LNCS), Volumes 7900-7999
- 7900Mitsuko Aramaki, Mathieu Barthet, Richard Kronland-Martinet, Sølvi Ystad:
From Sounds to Music and Emotions - 9th International Symposium, CMMR 2012, London, UK, June 19-22, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7900, Springer 2013, ISBN 978-3-642-41247-9 [contents] - 7901Yunjun Gao, Kyuseok Shim, Zhiming Ding, Peiquan Jin, Zujie Ren, Yingyuan Xiao, An Liu, Shaojie Qiao:
Web-Age Information Management - WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June 14-16, 2013. Proceedings. Lecture Notes in Computer Science 7901, Springer 2013, ISBN 978-3-642-39526-0 [contents] - 7902Ignacio Rojas, Gonzalo Joya Caparrós, Joan Cabestany:
Advances in Computational Intelligence - 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part I. Lecture Notes in Computer Science 7902, Springer 2013, ISBN 978-3-642-38678-7 [contents] - 7903Ignacio Rojas, Gonzalo Joya Caparrós, Joan Cabestany:
Advances in Computational Intelligence - 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part II. Lecture Notes in Computer Science 7903, Springer 2013, ISBN 978-3-642-38681-7 [contents] - 7904Michael Huth, N. Asokan, Srdjan Capkun, Ivan Flechais, Lizzie Coles-Kemp:
Trust and Trustworthy Computing - 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings. Lecture Notes in Computer Science 7904, Springer 2013, ISBN 978-3-642-38907-8 [contents] - 7905Julian M. Kunkel, Thomas Ludwig, Hans Werner Meuer:
Supercomputing - 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings. Lecture Notes in Computer Science 7905, Springer 2013, ISBN 978-3-642-38749-4 [contents] - 7906Moonis Ali, Tibor Bosse, Koen V. Hindriks, Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur:
Recent Trends in Applied Artificial Intelligence, 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings. Lecture Notes in Computer Science 7906, Springer 2013, ISBN 978-3-642-38576-6 [contents] - 7907Marie-Pierre Béal, Olivier Carton:
Developments in Language Theory - 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings. Lecture Notes in Computer Science 7907, Springer 2013, ISBN 978-3-642-38770-8 [contents] - 7908Camille Salinesi, Moira C. Norrie, Oscar Pastor:
Advanced Information Systems Engineering - 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings. Lecture Notes in Computer Science 7908, Springer 2013, ISBN 978-3-642-38708-1 [contents] - 7909Keith Duddy, Gerti Kappel:
Theory and Practice of Model Transformations - 6th International Conference, ICMT@STAF 2013, Budapest, Hungary, June 18-19, 2013. Proceedings. Lecture Notes in Computer Science 7909, Springer 2013, ISBN 978-3-642-38882-8 [contents] - 7910Jit Biswas, Hisato Kobayashi, Lawrence Wai-Choong Wong, Bessam Abdulrazak, Mounir Mokhtari:
Inclusive Society: Health and Wellbeing in the Community, and Care at Home - 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings. Lecture Notes in Computer Science 7910, Springer 2013, ISBN 978-3-642-39469-0 [contents] - 7911Thomas Drugman, Thierry Dutoit:
Advances in Nonlinear Speech Processing - 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013. Proceedings. Lecture Notes in Computer Science 7911, Springer 2013, ISBN 978-3-642-38846-0 [contents] - 7912Mieczyslaw A. Klopotek, Jacek Koronacki, Malgorzata Marciniak, Agnieszka Mykowiecka, Slawomir T. Wierzchon:
Language Processing and Intelligent Information Systems - 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings. Lecture Notes in Computer Science 7912, Springer 2013, ISBN 978-3-642-38633-6 [contents] - 7913Andrei A. Bulatov, Arseny M. Shur:
Computer Science - Theory and Applications - 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings. Lecture Notes in Computer Science 7913, Springer 2013, ISBN 978-3-642-38535-3 [contents] - 7914Jesús Ariel Carrasco-Ochoa, José Francisco Martínez Trinidad, Joaquín Salas Rodríguez, Gabriella Sanniti di Baja:
Pattern Recognition - 5th Mexican Conference, MCPR 2013, Querétaro, Mexico, June 26-29, 2013. Proceedings. Lecture Notes in Computer Science 7914, Springer 2013, ISBN 978-3-642-38988-7 [contents] - 7915Dean C. Barratt, Stephane Cotin, Gabor Fichtinger, Pierre Jannin, Nassir Navab:
Information Processing in Computer-Assisted Interventions - 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings. Lecture Notes in Computer Science 7915, Springer 2013, ISBN 978-3-642-38567-4 [contents] - 7916Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed:
SDL 2013: Model-Driven Dependability Engineering - 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings. Lecture Notes in Computer Science 7916, Springer 2013, ISBN 978-3-642-38910-8 [contents] - 7917James C. Gee, Sarang C. Joshi, Kilian M. Pohl, William M. Wells III, Lilla Zöllei:
Information Processing in Medical Imaging - 23rd International Conference, IPMI 2013, Asilomar, CA, USA, June 28-July 3, 2013. Proceedings. Lecture Notes in Computer Science 7917, Springer 2013, ISBN 978-3-642-38867-5 [contents] - 7918Amr M. Youssef, Abderrahmane Nitaj, Aboul Ella Hassanien:
Progress in Cryptology - AFRICACRYPT 2013, 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings. Lecture Notes in Computer Science 7918, Springer 2013, ISBN 978-3-642-38552-0 [contents] - 7919Maria J. Blesa, Christian Blum, Paola Festa, Andrea Roli, Michael Sampels:
Hybrid Metaheuristics - 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings. Lecture Notes in Computer Science 7919, Springer 2013, ISBN 978-3-642-38515-5 [contents] - 7920Giuseppe Castagna:
ECOOP 2013 - Object-Oriented Programming - 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings. Lecture Notes in Computer Science 7920, Springer 2013, ISBN 978-3-642-39037-1 [contents] - 7921Paola Bonizzoni, Vasco Brattka, Benedikt Löwe:
The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings. Lecture Notes in Computer Science 7921, Springer 2013, ISBN 978-3-642-39052-4 [contents] - 7922Johannes Fischer, Peter Sanders:
Combinatorial Pattern Matching, 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings. Lecture Notes in Computer Science 7922, Springer 2013, ISBN 978-3-642-38904-7 [contents] - 7923Jianyong Wang, Hui Xiong, Yoshiharu Ishikawa, Jianliang Xu, Junfeng Zhou:
Web-Age Information Management - 14th International Conference, WAIM 2013, Beidaihe, China, June 14-16, 2013. Proceedings. Lecture Notes in Computer Science 7923, Springer 2013, ISBN 978-3-642-38561-2 [contents] - 7924Michael R. Fellows, Xuehou Tan, Binhai Zhu:
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management, Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings. Lecture Notes in Computer Science 7924, Springer 2013, ISBN 978-3-642-38755-5 [contents] - 7925John M. Favaro, Maurizio Morisio:
Safe and Secure Software Reuse - 13th International Conference on Software Reuse, ICSR 2013, Pisa, Italy, June 18-20. Proceedings. Lecture Notes in Computer Science 7925, Springer 2013, ISBN 978-3-642-38976-4 [contents] - 7926H. Chad Lane, Kalina Yacef, Jack Mostow, Philip I. Pavlik:
Artificial Intelligence in Education - 16th International Conference, AIED 2013, Memphis, TN, USA, July 9-13, 2013. Proceedings. Lecture Notes in Computer Science 7926, Springer 2013, ISBN 978-3-642-39111-8 [contents] - 7927José Manuel Colom, Jörg Desel:
Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings. Lecture Notes in Computer Science 7927, Springer 2013, ISBN 978-3-642-38696-1 [contents] - 7928Ying Tan, Yuhui Shi, Hongwei Mo:
Advances in Swarm Intelligence, 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I. Lecture Notes in Computer Science 7928, Springer 2013, ISBN 978-3-642-38702-9 [contents] - 7929Ying Tan, Yuhui Shi, Hongwei Mo:
Advances in Swarm Intelligence, 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II. Lecture Notes in Computer Science 7929, Springer 2013, ISBN 978-3-642-38714-2 [contents] - 7930José Manuel Ferrández de Vicente, José Ramón Álvarez Sánchez, Félix de la Paz López, F. Javier Toledo-Moreo:
Natural and Artificial Models in Computation and Biology - 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I. Lecture Notes in Computer Science 7930, Springer 2013, ISBN 978-3-642-38636-7 [contents] - 7931José Manuel Ferrández de Vicente, José Ramón Álvarez Sánchez, Félix de la Paz López, F. Javier Toledo-Moreo:
Natural and Artificial Computation in Engineering and Medical Applications - 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II. Lecture Notes in Computer Science 7931, Springer 2013, ISBN 978-3-642-38621-3 [contents] - 7932Philippe Gaborit:
Post-Quantum Cryptography - 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013. Proceedings. Lecture Notes in Computer Science 7932, Springer 2013, ISBN 978-3-642-38615-2 [contents] - 7933Vincenzo Bonifaci, Camil Demetrescu, Alberto Marchetti-Spaccamela:
Experimental Algorithms, 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings. Lecture Notes in Computer Science 7933, Springer 2013, ISBN 978-3-642-38526-1 [contents] - 7934Elisabeth Métais, Farid Meziane, Mohamad Saraee, Vijayan Sugumaran, Sunil Vadera:
Natural Language Processing and Information Systems - 18th International Conference on Applications of Natural Language to Information Systems, NLDB 2013, Salford, UK, June 19-21, 2013. Proceedings. Lecture Notes in Computer Science 7934, Springer 2013, ISBN 978-3-642-38823-1 [contents] - 7935Francesco Logozzo, Manuel Fähndrich:
Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings. Lecture Notes in Computer Science 7935, Springer 2013, ISBN 978-3-642-38855-2 [contents] - 7936Ding-Zhu Du, Guochuan Zhang:
Computing and Combinatorics, 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings. Lecture Notes in Computer Science 7936, Springer 2013, ISBN 978-3-642-38767-8 [contents] - 7937Jason Yust, Jonathan Wild, John Ashley Burgoyne:
Mathematics and Computation in Music - 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013. Proceedings. Lecture Notes in Computer Science 7937, Springer 2013, ISBN 978-3-642-39356-3 [contents] - 7938Marco Bernardo, Erik P. de Vink, Alessandra Di Pierro, Herbert Wiklicky:
Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures. Lecture Notes in Computer Science 7938, Springer 2013, ISBN 978-3-642-38873-6 [contents] - 7939Jan vom Brocke, Riitta Hekkala, Sudha Ram, Matti Rossi:
Design Science at the Intersection of Physical and Virtual Design - 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings. Lecture Notes in Computer Science 7939, Springer 2013, ISBN 978-3-642-38826-2 [contents] - 7940Einar Broch Johnsen, Luigia Petre:
Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Lecture Notes in Computer Science 7940, Springer 2013, ISBN 978-3-642-38612-1 [contents] - 7941Masahito Hasegawa:
Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings. Lecture Notes in Computer Science 7941, Springer 2013, ISBN 978-3-642-38945-0 [contents] - 7942Margus Veanes, Luca Viganò:
Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Lecture Notes in Computer Science 7942, Springer 2013, ISBN 978-3-642-38915-3 [contents] - 7943Guillaume Doyen, Martin Waldburger, Pavel Celeda, Anna Sperotto, Burkhard Stiller:
Emerging Management Mechanisms for the Future Internet - 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings. Lecture Notes in Computer Science 7943, Springer 2013, ISBN 978-3-642-38997-9 [contents] - 7944Joni-Kristian Kämäräinen, Markus Koskela:
Image Analysis, 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013. Proceedings. Lecture Notes in Computer Science 7944, Springer 2013, ISBN 978-3-642-38885-9 [contents] - 7945Sébastien Ourselin, Daniel Rueckert, Nicolas Smith:
Functional Imaging and Modeling of the Heart - 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013. Proceedings. Lecture Notes in Computer Science 7945, Springer 2013, ISBN 978-3-642-38898-9 [contents] - 7946Andreas Holzinger, Martina Ziefle, Martin Hitz, Matjaz Debevc:
Human Factors in Computing and Informatics - First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings. Lecture Notes in Computer Science 7946, Springer 2013, ISBN 978-3-642-39061-6 [contents] - 7947Andreas Holzinger, Gabriella Pasi:
Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data - Third International Workshop, HCI-KDD 2013, Held at SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings. Lecture Notes in Computer Science 7947, Springer 2013, ISBN 978-3-642-39145-3 [contents] - 7948Gerhard W. Dueck, D. Michael Miller:
Reversible Computation - 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Lecture Notes in Computer Science 7948, Springer 2013, ISBN 978-3-642-38985-6 [contents] - 7949Pieter Van Gorp, Tom Ritter, Louis M. Rose:
Modelling Foundations and Applications - 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings. Lecture Notes in Computer Science 7949, Springer 2013, ISBN 978-3-642-39012-8 [contents] - 7950Mohamed Kamel, Aurélio J. C. Campilho:
Image Analysis and Recognition - 10th International Conference, ICIAR 2013, Póvoa do Varzim, Portugal, June 26-28, 2013. Proceedings. Lecture Notes in Computer Science 7950, Springer 2013, ISBN 978-3-642-39093-7 [contents] - 7951Chengan Guo, Zeng-Guang Hou, Zhigang Zeng:
Advances in Neural Networks - ISNN 2013 - 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I. Lecture Notes in Computer Science 7951, Springer 2013, ISBN 978-3-642-39064-7 [contents] - 7952Chengan Guo, Zeng-Guang Hou, Zhigang Zeng:
Advances in Neural Networks - ISNN 2013 - 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II. Lecture Notes in Computer Science 7952, Springer 2013, ISBN 978-3-642-39067-8 [contents] - 7953Edwin R. Hancock, Marcello Pelillo:
Similarity-Based Pattern Recognition - Second International Workshop, SIMBAD 2013, York, UK, July 3-5, 2013. Proceedings. Lecture Notes in Computer Science 7953, Springer 2013, ISBN 978-3-642-39139-2 [contents] - 7954Michael J. Jacobson Jr., Michael E. Locasto, Payman Mohassel, Reihaneh Safavi-Naini:
Applied Cryptography and Network Security - 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings. Lecture Notes in Computer Science 7954, Springer 2013, ISBN 978-3-642-38979-5 [contents] - 7955Philipp Cimiano, Miriam Fernández, Vanessa López, Stefan Schlobach, Johanna Völker:
The Semantic Web: ESWC 2013 Satellite Events - ESWC 2013 Satellite Events, Montpellier, France, May 26-30, 2013, Revised Selected Papers. Lecture Notes in Computer Science 7955, Springer 2013, ISBN 978-3-642-41241-7 [contents] - 7956Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, Antonio E. Porreca:
Unconventional Computation and Natural Computation - 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings. Lecture Notes in Computer Science 7956, Springer 2013, ISBN 978-3-642-39073-9 [contents] - 7957Khalil Drira:
Software Architecture - 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings. Lecture Notes in Computer Science 7957, Springer 2013, ISBN 978-3-642-39030-2 [contents] - 7958Linda C. van der Gaag:
Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings. Lecture Notes in Computer Science 7958, Springer 2013, ISBN 978-3-642-39090-6 [contents] - 7959Colin Boyd, Leonie Simpson:
Information Security and Privacy - 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013. Proceedings. Lecture Notes in Computer Science 7959, Springer 2013, ISBN 978-3-642-39058-6 [contents] - 7960Jacek Cichon, Maciej Gebala, Marek Klonowski:
Ad-hoc, Mobile, and Wireless Network - 12th International Conference, ADHOC-NOW 2013, Wrocław, Poland, July 8-10, 2013. Proceedings. Lecture Notes in Computer Science 7960, Springer 2013, ISBN 978-3-642-39246-7 [contents] - 7961Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger:
Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Lecture Notes in Computer Science 7961, Springer 2013, ISBN 978-3-642-39319-8 [contents] - 7962Matti Järvisalo, Allen Van Gelder:
Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings. Lecture Notes in Computer Science 7962, Springer 2013, ISBN 978-3-642-39070-8 [contents] - 7963Mei Chen, Bastian Leibe, Bernd Neumann:
Computer Vision Systems - 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings. Lecture Notes in Computer Science 7963, Springer 2013, ISBN 978-3-642-39401-0 [contents] - 7964Lingyu Wang, Basit Shafiq:
Data and Applications Security and Privacy XXVII - 27th Annual IFIP WG 11.3 Conference, DBSec 2013, Newark, NJ, USA, July 15-17, 2013. Proceedings. Lecture Notes in Computer Science 7964, Springer 2013, ISBN 978-3-642-39255-9 [contents] - 7965Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg:
Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I. Lecture Notes in Computer Science 7965, Springer 2013, ISBN 978-3-642-39205-4 [contents] - 7966Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg:
Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II. Lecture Notes in Computer Science 7966, Springer 2013, ISBN 978-3-642-39211-5 [contents] - 7967Konrad Rieck, Patrick Stewin, Jean-Pierre Seifert:
Detection of Intrusions and Malware, and Vulnerability Assessment - 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings. Lecture Notes in Computer Science 7967, Springer 2013, ISBN 978-3-642-39234-4 [contents] - 7968Georg Gottlob, Giovanni Grasso, Dan Olteanu, Christian Schallhart:
Big Data - 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings. Lecture Notes in Computer Science 7968, Springer 2013, ISBN 978-3-642-39466-9 [contents] - 7969Sarah Jane Delany, Santiago Ontañón:
Case-Based Reasoning Research and Development - 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013. Proceedings. Lecture Notes in Computer Science 7969, Springer 2013, ISBN 978-3-642-39055-5 [contents] - 7970Christopher J. O. Baker, Greg Butler, Igor Jurisica:
Data Integration in the Life Sciences - 9th International Conference, DILS 2013, Montreal, QC, Canada, July 11-12, 2013. Proceedings. Lecture Notes in Computer Science 7970, Springer 2013, ISBN 978-3-642-39436-2 [contents] - 7971Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo Maria Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi:
Computational Science and Its Applications - ICCSA 2013 - 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I. Lecture Notes in Computer Science 7971, Springer 2013, ISBN 978-3-642-39636-6 [contents] - 7972Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo Maria Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi:
Computational Science and Its Applications - ICCSA 2013 - 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II. Lecture Notes in Computer Science 7972, Springer 2013, ISBN 978-3-642-39642-7 [contents] - 7973Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo Maria Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi:
Computational Science and Its Applications - ICCSA 2013 - 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III. Lecture Notes in Computer Science 7973, Springer 2013, ISBN 978-3-642-39645-8 [contents] - 7974Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo Maria Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi:
Computational Science and Its Applications - ICCSA 2013 - 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV. Lecture Notes in Computer Science 7974, Springer 2013, ISBN 978-3-642-39648-9 [contents] - 7975Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo Maria Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi:
Computational Science and Its Applications - ICCSA 2013 - 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V. Lecture Notes in Computer Science 7975, Springer 2013, ISBN 978-3-642-39639-7 [contents] - 7976Ezio Bartocci, C. R. Ramakrishnan:
Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings. Lecture Notes in Computer Science 7976, Springer 2013, ISBN 978-3-642-39175-0 [contents] - 7977Florian Daniel, Peter Dolog, Qing Li:
Web Engineering - 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings. Lecture Notes in Computer Science 7977, Springer 2013, ISBN 978-3-642-39199-6 [contents] - 7978Adrian-Horia Dediu, Carlos Martín-Vide, Ruslan Mitkov, Bianca Truthe:
Statistical Language and Speech Processing - First International Conference, SLSP 2013, Tarragona, Spain, July 29-31, 2013. Proceedings. Lecture Notes in Computer Science 7978, Springer 2013, ISBN 978-3-642-39592-5 [contents] - 7979Victor Malyshkin:
Parallel Computing Technologies - 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings. Lecture Notes in Computer Science 7979, Springer 2013, ISBN 978-3-642-39957-2 [contents] - 7980Abdelkader Hameurlain, Josef Küng, Roland R. Wagner:
Transactions on Large-Scale Data- and Knowledge-Centered Systems IX. Lecture Notes in Computer Science 7980, Springer 2013, ISBN 978-3-642-40068-1 [contents] - 7981Emiliano De Cristofaro, Matthew K. Wright:
Privacy Enhancing Technologies - 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings. Lecture Notes in Computer Science 7981, Springer 2013, ISBN 978-3-642-39076-0 [contents] - 7982Stavros Konstantinidis:
Implementation and Application of Automata - 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings. Lecture Notes in Computer Science 7982, Springer 2013, ISBN 978-3-642-39273-3 [contents] - 7983Jens Heidrich, Markku Oivo, Andreas Jedlitschka, Maria Teresa Baldassarre:
Product-Focused Software Process Improvement - 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings. Lecture Notes in Computer Science 7983, Springer 2013, ISBN 978-3-642-39258-0 [contents] - 7984Alexander N. Dudin, Koen De Turck:
Analytical and Stochastic Modelling Techniques and Applications - 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings. Lecture Notes in Computer Science 7984, Springer 2013, ISBN 978-3-642-39407-2 [contents] - 7985James Heather, Steve A. Schneider, Vanessa Teague:
E-Voting and Identify - 4th International Conference, VoteID 2013, Guildford, UK, July 17-19, 2013. Proceedings. Lecture Notes in Computer Science 7985, Springer 2013, ISBN 978-3-642-39184-2 [contents] - 7986Alioune Ngom, Enrico Formenti, Jin-Kao Hao, Xing-Ming Zhao, Twan van Laarhoven:
Pattern Recognition in Bioinformatics - 8th IAPR International Conference, PRIB 2013, Nice, France, June 17-20, 2013. Proceedings. Lecture Notes in Computer Science 7986, Springer 2013, ISBN 978-3-642-39158-3 [contents] - 7987Petra Perner:
Advances in Data Mining. Applications and Theoretical Aspects - 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 16-21, 2013. Proceedings. Lecture Notes in Computer Science 7987, Springer 2013, ISBN 978-3-642-39735-6 [contents] - 7988Petra Perner:
Machine Learning and Data Mining in Pattern Recognition - 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedings. Lecture Notes in Computer Science 7988, Springer 2013, ISBN 978-3-642-39711-0 [contents] - 7989Ian Oakley, Stephen A. Brewster:
Haptic and Audio Interaction Design - 8th International Workshop, HAID 2013, Daejeon, Korea, April 18-19, 2013, Revised Selected Papers. Lecture Notes in Computer Science 7989, Springer 2013, ISBN 978-3-642-41067-3 [contents] - 7990Paolo Nesi, Raffaella Santucci:
Information Technologies for Performing Arts, Media Access, and Entertainment - Second International Conference, ECLAP 2013, Porto, Portugal, April 8-10, 2013, Revised Selected Papers. Lecture Notes in Computer Science 7990, Springer 2013, ISBN 978-3-642-40049-0 [contents] - 7991Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos:
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7991, Springer 2014, ISBN 978-3-642-54337-1 [contents] - 7992Kui Ren, Xue Liu, Weifa Liang, Ming Xu, Xiaohua Jia, Kai Xing:
Wireless Algorithms, Systems, and Applications - 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings. Lecture Notes in Computer Science 7992, Springer 2013, ISBN 978-3-642-39700-4 [contents] - 7993Tetsuo Ida, Jacques D. Fleuriot:
Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7993, Springer 2013, ISBN 978-3-642-40671-3 [contents] - 7994Wolfgang Faber, Domenico Lembo:
Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings. Lecture Notes in Computer Science 7994, Springer 2013, ISBN 978-3-642-39665-6 [contents] - 7995De-Shuang Huang, Vitoantonio Bevilacqua, Juan Carlos Figueroa García, Prashan Premaratne:
Intelligent Computing Theories - 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings. Lecture Notes in Computer Science 7995, Springer 2013, ISBN 978-3-642-39478-2 [contents] - 7996De-Shuang Huang, Kang-Hyun Jo, Yong-Quan Zhou, Kyungsook Han:
Intelligent Computing Theories and Technology - 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings. Lecture Notes in Computer Science 7996, Springer 2013, ISBN 978-3-642-39481-2 [contents] - 7997Giuseppe Nicosia, Panos M. Pardalos:
Learning and Intelligent Optimization - 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers. Lecture Notes in Computer Science 7997, Springer 2013, ISBN 978-3-642-44972-7 [contents] - 7998Sandrine Blazy, Christine Paulin-Mohring, David Pichardie:
Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings. Lecture Notes in Computer Science 7998, Springer 2013, ISBN 978-3-642-39633-5 [contents] - 7999Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang:
Artificial General Intelligence - 6th International Conference, AGI 2013, Beijing, China, July 31 - August 3, 2013 Proceedings. Lecture Notes in Computer Science 7999, Springer 2013, ISBN 978-3-642-39520-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.