Algorithm Analysis and Problem Complexity.
概要
| 作品: | 1381 作品在 1381 項出版品 1381 種語言 | |
|---|---|---|
書目資訊
The logic of categorial grammars = a deductive account of natural language syntax and semantics /
by:
(書目-電子資源)
Computational logistics = second international conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011 : proceedings /
by:
(書目-電子資源)
Fun with algorithms = 5th international conference, FUN 2010, Ischia, Italy, June 2-4, 2010 : proceedings /
by:
(書目-電子資源)
Multiple classifier systems = 9th international workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010 : proceedings /
by:
(書目-電子資源)
Experimental algorithms = 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012 : proceedings /
by:
(書目-電子資源)
Quantum interaction = third international symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009 ; proceedings /
by:
(書目-電子資源)
Anticipatory behavior in adaptive learning systems = from psychological theories to artificial cognitive systems /
by:
(書目-電子資源)
Information security = 12th international conference, ISC 2009, Pisa, Italy, September 7-9, 2009 : proceedings /
by:
(書目-電子資源)
Passive and active measurement = 13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012 : proceedings /
by:
(書目-電子資源)
Motion in games = Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010, proceedings /
by:
(書目-電子資源)
Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(書目-電子資源)
Wireless sensor networks = 8th European conference, EWSN 2011, Bonn, Germany, February 23-25, 2011 : proceedings /
by:
(書目-電子資源)
Graph Drawing = 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers /
by:
(書目-電子資源)
Computing and Combinatorics = 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings /
by:
(書目-電子資源)
Hybrid metaheuristics = 5th international workshop, HM 2008, Malaga, Spain, October 8-9, 2008 : proceedings /
by:
(書目-電子資源)
Image analysis and recognition = 6th international conference, ICIAR 2009, Halifax, Canada, July 6-8, 2009 : Proceedings /
by:
(書目-電子資源)
Internet and network economics = 7th international workshop, WINE 2011, Singapore, December 11-14, 2011 : proceedings /
by:
(書目-電子資源)
Hybrid metaheuristics = 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010 : proceedings /
by:
(書目-電子資源)
Fields of logic and computation = essays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
by:
(書目-電子資源)
Algorithms - ESA 2010 = 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, proceedings.. Part II /
by:
(書目-電子資源)
Comparative genomics = international workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008 : proceedings /
by:
(書目-電子資源)
Cryptology and network security = 7th international conference, CANS 2008, Hong-Kong, China, December 2-4, 2008, proceedings /
by:
(書目-電子資源)
Computers and games = 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings /
by:
(書目-電子資源)
Efficient algorithms = essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday /
by:
(書目-電子資源)
Combinatorial algorithms = 21st international workshop, IWOCA 2010, London, UK, July 26-28, 2010 : revised selected papers /
by:
(書目-電子資源)
Provable security = 4th international conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010 : proceedings /
by:
(書目-電子資源)
Quantum interaction = 5th international symposium, QI 2011, Aberdeen, UK, June 26-29, 2011 : revised selected papers /
by:
(書目-電子資源)
Information security and assurance = 4th International Conference, ISA 2010, Miyazaki, Japan, June 23-25, 2010, proceedings /
by:
(書目-電子資源)
Language, games, and evolution = trends in current research on language and game theory /
by:
(書目-電子資源)
Provable security = 5th international conference, ProvSec 2011, Xi'an, China, October 16-18, 2011 : proceedings /
by:
(書目-電子資源)
Eternal systems = first InternationalWorkshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised selected papers /
by:
(書目-電子資源)
Security protocols = 15th international workshop, Brno, Czech Republic, April 18-20, 2007 : revised selected papers /
by:
(書目-電子資源)
Critical infrastructure protection = information infrastructure models, analysis, and defense /
by:
(書目-電子資源)
Discrete and Computational Geometry : = Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 2004
by:
(書目-電子資源)
Dissemination of Information in Communication Networks = Broadcasting, Gossiping, Leader Election, and Fault-Tolerance /
by:
(書目-電子資源)
Algorithms in Bioinformatics : = 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005, Proceedings
by:
(書目-電子資源)
Algorithms and Data Structures = 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings /
by:
(書目-電子資源)
Local Pattern Detection = International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers /
by:
(書目-電子資源)
Algorithmic Learning Theory : = 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings
by:
(書目-電子資源)
Comparative genomics = international workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009 : proceedings /
by:
(書目-電子資源)
Discovery science = 14th international conference, DS 2011, Espoo, Finland, October 5-7, 2011 : proceedings /
by:
(書目-電子資源)
Multiple classifier systems = 10th international workshop, MCS 2011, Naples, Italy, June 15-17, 2011 : proceedings /
by:
(書目-電子資源)
Information security = 14th international conference, ISC 2011, Xi'an, China, October 26-29, 2011 : proceedings /
by:
(書目-電子資源)
Algorithms and computation = 22nd international symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011 : proceedings /
by:
(書目-電子資源)
Algorithmic number theory = 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010 : proceedings /
by:
(書目-電子資源)
Algorithms in bioinformatics = 10th International Workshop, WABI 2010, Liverpool, UK, September 6-8, 2010, proceedings /
by:
(書目-電子資源)
Bioinspired computation in combinatorial optimization = algorithms and their computational complexity /
by:
(書目-電子資源)
Logic and its applications = third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings /
by:
(書目-電子資源)
Reachability problems = 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /
by:
(書目-電子資源)
Biometric recognition = 7th Chinese Conference, CCBR 2012, Guangzhou, China, December 4-5, 2012 : proceedings /
by:
(書目-電子資源)
Multi-agent-based simulation XI = international workshop, MABS 2010, Toronto, Canada, May 11, 2010 : revised selected papers /
by:
(書目-電子資源)
Wireless sensor networks = 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010 : proceedings /
by:
(書目-電子資源)
Graph drawing = 18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 : revised selected papers /
by:
(書目-電子資源)
Big data analytics = first international conference, BDA 2012, New Delhi, India, December 24-26, 2012 : proceedings /
by:
(書目-電子資源)
Pattern recognition = 33rd DAGM Symposium, Frankfurt/Main, Germany, August 31 - September 2, 2011 : proceedings /
by:
(書目-電子資源)
NETWORKING 2010 = 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010 : proceedings /
by:
(Electronic resources)
Automata, languages and programming = 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.. part I /
by:
(Electronic resources)
Mathematical foundations of computer science 2010 = 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, proceedings /
by:
(Electronic resources)
Computer vision, imaging and computer graphics = theory and applications : International Joint Conference, VISIGRAPP 2009, Lisboa, Portugal, February 5-8, 2009, revised selected papers /
by:
(Electronic resources)
Algorithmic learning theory = 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010, proceedings /
by:
(Electronic resources)
Modelling autonomic communication environments = 5th IEEE international workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010 : proceedings /
by:
(Electronic resources)
Pairing-based cryptography - Pairing 2010 = 4th international conference, Yamanaka Hot Spring, Japan, December 2010, proceedings /
by:
(Electronic resources)
Cryptographic hardware and embedded systems - CHES 2010 = 12th international workshop, Santa Barbara, USA, August 17-20, 2010 : proceedings /
by:
(Electronic resources)
Data and applications security XXIII = 23rd Annual IFIP WG 11.3 Working Conference, Montreal, Canada, July 12-15, 2009 : proceedings /
by:
(Electronic resources)
Graph theory, computational intelligence and thought = essays dedicated to Martin Charles Golumbic on the occasion of his 60th Birthday /
by:
(Electronic resources)
Recent advances in reinforcement learning = 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised selected papers /
by:
(Electronic resources)
Cloud computing = First International Conference, CloudComp 2009 Munich, Germany, October 19-21, 2009 : revised selected papers /
by:
(Electronic resources)
Emerging intelligent computing technology and applications = 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009 : proceedings /
by:
(Electronic resources)
Discrete geometry for computer imagery = 15th IAPR International Conference, DGCI 2009, Montreal, Canada, September 30-October 2, 2009 : proceedings /
by:
(Electronic resources)
Combinatorial algorithms = 20th International Workshop, IWOCA 2009, Hradec nad Moravici, Czech Republic, June 28 - July 2, 2009 : revised selected papers /
by:
(Electronic resources)
Image analysis and recognition = 7th international conference, ICIAR 2010, Povoa de Varzim, Portugal, June 21-23, 2010 : proceedings.. Part I /
by:
(Electronic resources)
Information security = 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012 : proceedings /
by:
(Electronic resources)
Information and communication technologies = 18th EUNICE/IFIP WG 6.2, 6.6 International Conference, EUNICE 2012, Budapest, Hungary, August 29-31, 2012 : proceedings /
by:
(Electronic resources)
Multimodal brain image analysi = second International Workshop, MBIA 2012, held in conjunction with MICCAI 2012, Nice, France, October 1-5, 2012 : proceedings /
by:
(Electronic resources)
Cellular automata = 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012 : proceedings /
by:
(Electronic resources)
Implementation and application of automata = 14th international conference, CIAA 2009, Sydney, Australia, July 14-17, 2009 : proceedings /
by:
(Electronic resources)
Software process improvement and capability determination = 11th international conference, SPICE 2011, Dublin, Ireland, May 30 - June 1, 2011 : proceedings /
by:
(Electronic resources)
Parallel computing technologies = 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009 : proceedings /
by:
(Electronic resources)
Computer vision - ECCV 2012 = 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings.. Part VI /
by:
(Electronic resources)
Secure and trust computing, data management, and applications = STA 2011 Workshops: IWCS 2011 and STAVE 2011, Loutraki, Greece, June 28-30, 2011 : proceedings /
by:
(Electronic resources)
Information and communications security = 11th international conference, ICICS 2009, Beijing, China, December 14-17, 2009 : proceedings /
by:
(Electronic resources)
Combinatorial Optimization and Applications = Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008. Proceedings /
by:
(Electronic resources)
Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Machine Learning and Knowledge Discovery in Databases = European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II /
by:
(Electronic resources)
Advances in information technology and education = international conference, CSE 2011, Qingdao, China, July 9-10, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Artificial intelligence and computational intelligence = third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I /
by:
(Electronic resources)
Computer vision - ACCV 2009 = 9th Asian Conference on Computer Vision, Xi'an, September 23-27, 2009 : revised selected papers.. Part III /
by:
(Electronic resources)
High performance computing systems and applications = 23rd International Symposium, HPCS 2009, Kingston, ON, Canada, June 14-17, 2009 : revised selected papers /
by:
(Electronic resources)
Public key cryptography - PKC 2010 = 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010 : proceedings /
by:
(Electronic resources)
Critical information infrastructures security = second international workshop, CRITIS 2007, Malaga, Spain, October 3-5, 2007 : revised papers /
by:
(Electronic resources)
Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part II /
by:
(Electronic resources)
Evolutionary computation in combinatorial optimization = 9th European conference, EvoCOP 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings /
by:
(Electronic resources)
Infinity in Logic and Computation = International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers /
by:
(Electronic resources)
Sensor applications, experimentation, and logistics = First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009 : revised selected papers /
by:
(Electronic resources)
Image analysis and processing - ICIAP 2009 = 15th international conference, Vietri Sul Mare, Italy, September 8-11, 2009 : proceedings /
by:
(Electronic resources)
Progress in cryptology - AFRICACRYPT 2009 = Second International Conference on Cryptology in Africa, Gammarth, Tunisia, June 21 - 25, 2009 : Proceedings /
by:
(Electronic resources)
Intelligent information and database systems = Second International Conference, ACIIDS, Hue City, Vietnam, March 24-26, 2010, proceedings.. Part I /
by:
(Electronic resources)
Parallel problem solving from nature - PPSN X = 10th international conference, Dortmund, Germany, September 13-17, 2008 : proceedings /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 2012 = 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings /
by:
(Electronic resources)
Computer vision - ECCV 2010 = 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, proceedings.. Part VI /
by:
(Electronic resources)
Algorithms in bioinformatics = 11th international workshop, WABI 2011, Saarbrucken, Germany, September 5-7, 2011 : proceedings /
by:
(Electronic resources)
Digital Watermarking = Third International Workshop, IWDW 2004, Seoul, Korea, October 30 - November 1, 2004, Revised Selected Papers /
by:
(Electronic resources)
Recent advances in the message passing interface = 17th European MPI Users' Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010, proceedings /
by:
(Electronic resources)
Mathematical modeling and computational science = international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers /
by:
(Electronic resources)
Digital information processing and communications = international conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Comparative Genomics : = RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005, Proceedings
by:
(Electronic resources)
Experimental and Efficient Algorithms = 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings /
by:
(Electronic resources)
Hybrid artificial intelligence systems = 5th international conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010 : proceedings.. Part II /
by:
(Electronic resources)
Security and cryptography for networks = 7th International Conference, SCN 2010, Amalfi, Italy, September 13-15, 2010, proceedings /
by:
(Electronic resources)
Security protocols XIX = 19th international workshop, Cambridge, UK, March 28-30, 2011 : revised selected papers /
by:
(Electronic resources)
Implementation and application of automata = 16th international conference, CIAA 2011, Blois, France, July 13-16, 2011 : proceedings /
by:
(Electronic resources)
Enhancing learning through technology = education unplugged: mobile technologies and Web 2.0 : 6th international conference, ITC 2011, Hong Kong, China, July 11-13, 2011 : proceedings /
by:
(Electronic resources)
Future information technology = 6th international conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Data management in grid and peer-to-peer systems = third international conference, Globe 2010, Bilbao, Spain, September 1-2, 2010 : proceedings /
by:
(Electronic resources)
Advances in Computing and Information Technology = first international conference, ACITY 2011, Chennai, India, July 15-17, 2011 : proceedings /
by:
(Electronic resources)
Cellular automata = 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010, proceedings /
by:
(Electronic resources)
Distributed computing and networking = 10th international conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009 : proceedings /
by:
(Electronic resources)
Algorithms and computation = 21st international symposium, ISAAC 2010, Jeju, Korea, December 15-17, 2010 : proceedings, part II /
by:
(Electronic resources)
Advances in Swarm Intelligence = second international conference, ICSI 2011, Chongqing, China, June 12-15, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part I /
by:
(Electronic resources)
Algorithms and architectures for parallel processing = 11th international conference, ICA3PP, Melbourne, Australia, October 24-26, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Mathematical foundations of computer science 2009 = 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings /
by:
(Electronic resources)
Advances in information retrieval theory = Second International Conference on the Theory of Information Retrieval, ICTIR 2009, Cambridge, UK, September 10-12, 2009 : proceedings /
by:
(Electronic resources)
Emerging trends in visual computing = LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008 ; revised invited papers /
by:
(Electronic resources)
Integrated formal methods = 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings /
by:
(Electronic resources)
Principles and practice of constraint programming - CP 2010 = 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, proceedings /
by:
(Electronic resources)
Machine mearning in medical imaging = First International Workshop, MLMI 2010, Held in Conjunction with MICCAI 2010, Beijing, China, September 20, 2010, proceedings /
by:
(Electronic resources)
Graph-theoretic concepts in computer science = 38th international workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012 : revised selcted papers /
by:
(Electronic resources)
Logic, language, information and computation = 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /
by:
(Electronic resources)
Automata for branching and layered temporal structures = an investigation into regularities of infinite transition systems /
by:
(Electronic resources)
Post-quantum cryptography = third international workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010 : proceedings /
by:
(Electronic resources)
Multiple access communications = 4th international workshop, MACOM 2011, Trento, Italy, September 12-13, 2011 : proceedings /
by:
(Electronic resources)
Innovative computing and information = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Advanced computer science and information technology = second international conference, AST 2010, Miyazaki, Japan, June 23-25, 2010, proceedings /
by:
(Electronic resources)
Parallel problem solving from nature - PPSN XI = 11th International Conference, Krakow, Poland, September 11-15, 2010 : proceedings.. Part I /
by:
(Electronic resources)
Information theoretic security = 4th International Conference, ICITS 2009, Shizuoka, Japan, December 3-6, 2009, revised selected papers /
by:
(Electronic resources)
Emerging research in artificial intelligence and computational intelligence = International Conference, AICI 2011, Taiyuan, China, September 23-25, 2011 : proceedings /
by:
(Electronic resources)
Photogrammetric image analysis = ISPRS Conference, PIA 2011, Munich, Germany, October 5-7, 2011 : proceedings /
by:
(Electronic resources)
Smart spaces and next generation wired/wireless networking = 11th international conference, NEW2AN 2011, and 4th Conference on Smart Spaces, ruSMART 2011, St. Petersburg, Russia, August 22-25, 2011 : proceedings /
by:
(Electronic resources)
Advances in computer science and education applications = international conference, CSE 2011, Qingdao, China, July 9-10, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Ad-hoc, mbile and wireless networks = 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010, proceedings /
by:
(Electronic resources)
Wireless algorithms, systems, and applications = 6th international conference, WASA 2011, Chengdu, China, August 11-13, 2011 : proceedings /
by:
(Electronic resources)
Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part V /
by:
(Electronic resources)
Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Dependable networks and services = 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012 : proceedings /
by:
(Electronic resources)
Progress in cryptology, AFRICACRYPT 2010 = Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010 : proceedings /
by:
(Electronic resources)
Fun with algorithms = 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012 : proceedings /
by:
(Electronic resources)
Engaging learners through emerging technologies = International Conference on ICT in Teaching and Learning, ICT 2012, Hong Kong, China, July 4-6, 2012 : proceedings /
by:
(Electronic resources)
Foundations of information and knowledge systems = 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009 : proceedings /
by:
(Electronic resources)
Smart card research and advanced applications = 10th IFIP WG 8.8/11.2 international conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011 : revised selected papers /
by:
(Electronic resources)
Artificial intelligence and computational intelligence = third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Natural Language Processing - IJCNLP 2004 = First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers /
by:
(Electronic resources)
Advances in cryptology - EUROCRYPT 2011 = 30th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tallinn, Estonia, May 15-19, 2011 : proceedings /
by:
(Electronic resources)
Parameterized and exact computation = 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012 : proceedings /
by:
(Electronic resources)
Modern transport telematics = 11th international conference on transport systems telematics, TST 2011, Katowice-Ustron, Poland, October 19-22, 2011, selected papers /
by:
(Electronic resources)
Structural Information and Communication Complexity = 12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005, Proceedings /
by:
(Electronic resources)
Distributed Computing : = 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings
by:
(Electronic resources)
Advances in Informatics : = 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005, Proceedings
by:
(Electronic resources)
Mathematical Foundations of Computer Science 2005 = 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings /
by:
(Electronic resources)
Distributed Computing and Networking = 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings /
by:
(Electronic resources)
Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(Electronic resources)
Computer safety, reliability, and security = 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings /
by:
(Electronic resources)
Hybrid Metaheuristics = Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005. Proceedings /
by:
(Electronic resources)
Advances in Bioinformatics and Computational Biology = Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005, Proceedings /
by:
(Electronic resources)
Security and Privacy in Ad-hoc and Sensor Networks : = Second European Workshop, ESAS 2005, Visegrad, Hungary, July 13-14, 2005. Revised Selected Papers
by:
(Electronic resources)
Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part II /
by:
(Electronic resources)
Verification, model checking, and abstract = 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings /
by:
(Electronic resources)
Mathematical and engineering methods in computer science = 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : revised selected papers /
by:
(Electronic resources)
e-Business and telecommunications = 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010 : revised selected papers /
by:
(Electronic resources)
Theory of cryptography = 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012 : proceedings /
by:
(Electronic resources)
Unconventional Computation : = 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings
by:
(Electronic resources)
Theory of cryptography = 8th Theory of Cryptography Conference, TCC 2011, Providence, RI, USA, March 28-30, 2011 : proceedings /
by:
(Electronic resources)
Approximation and online algorithms = 8th international workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010 : revised papers /
by:
(Electronic resources)
Evolutionary computation, machine learning and data mining in bioinformatics = 9th European conference, EvoBIO 2011, Torino, Italy, April 27-29, 2011 : proceedings /
by:
(Electronic resources)
Privacy and identity management for life = 6th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Helsingborg, Sweden, August 2-6, 2010 : revised selected papers /
by:
(Electronic resources)
Research in computational molecular biology = 15th annual International Conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011 : proceedings /
by:
(Electronic resources)
Logic, language, information and computation = 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings /
by:
(Electronic resources)
Applied parallel and scientific computing = 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.. Part I /
by:
(Electronic resources)
Advanced data mining and applications = 7th international conference, ADMA 2011, Beijing, China, December 17-19, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Experimental algorithms = 10th international symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011 : proceedings /
by:
(Electronic resources)
Performance evaluation, measurement and characterization of complex systems = second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010 : revised selected papers /
by:
(Electronic resources)
Intelligent data engineering and automated learning - IDEAL 2012 = 13th International Conference, Natal, Brazil, August 29-31, 2012 ; proceedings /
by:
(Electronic resources)
NETWORKING 2011 = 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Advances in intelligent data analysis XI = 11th international symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012 : proceedings /
by:
(Electronic resources)
Computational visual media = first international conference, CVM 2012, Beijing, China, November 8-10, 2012 : proceedings /
by:
(Electronic resources)
Compiler construction = 20th International Conference, CC 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /
by:
(Electronic resources)
Data and knowledge engineering = third International conference, ICDKE 2012, Wuyishan, Fujian, China, November 21-23, 2012 : proceedings /
by:
(Electronic resources)
Frontiers in algorithmics and algorithmic aspects in information and management = joint international conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011 : proceedings /
by:
(Electronic resources)
Bioinformatics research and applications = 7th international symposium, ISBRA 2011, Changsha, China, May 27-29, 2011 : proceedings /
by:
(Electronic resources)
Advanced research on computer education, simulation and modeling = international conference, CESM 2011, Wuhan, China, June 18-19, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Discrete Geometry for Computer Imagery = 16th IAPR International Conference, DGCI 2011, Nancy, France, April 6-8, 2011. Proceedings /
by:
(Electronic resources)
Passive and active measurement = 12th international conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011 : proceedings /
by:
(Electronic resources)
Distributed Computing and Internet Technology : = Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings
by:
(Electronic resources)
Computer Algebra and Geometric Algebra with Applications = 6th international workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and international workshop, GIAE 2004, Xian, China, May 24-28, 2004 : revised selected papers /
by:
(Electronic resources)
Security Protocols = 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers /
by:
(Electronic resources)
Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Inductive Logic Programming = 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers /
by:
(Electronic resources)
Trusted systems = second international conference, INTRUST 2010, Beijing, China, December 13-15, 2010 : revised selected papers /
by:
(Electronic resources)
Privacy enhancing technologies = 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012 : proceedings /
by:
(Electronic resources)
Parallel processing and applied mathematics = 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011 : revised selected papers.. Part I /
by:
(Electronic resources)
Innovative computing technology = first international conference, INCT 2011, Tehran, Iran, December 13-15, 2011 : proceedings /
by:
(Electronic resources)
Information security applications = 9th international workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, revised selected papers /
by:
(Electronic resources)
Information security and cryptology = 6th international conference, Inscrypt 2010, Shanghai, China, October 20-24, 2010 : revised selected papers /
by:
(Electronic resources)
Reconfigurable computing = architectures, tools and applications : 6th international symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010 : proceedings /
by:
(Electronic resources)
Image and signal processing = 5th international conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012 : proceedings /
by:
(Electronic resources)
Advances in neural networks - ISNN 2011 = 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29 - June 1, 2011 : proceedings.. Part III /
by:
(Electronic resources)
Wireless algorithms, systems, and applications = 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012 : proceedings /
by:
(Electronic resources)
Detection of intrusions and malware, and vulnerability assessment = 8th international conference, DIMVA 2011, Amsterdam, The Netherlands, July 7-8, 2011 : proceedings /
by:
(Electronic resources)
Parallel problem solving from nature - PPSN XII = 12th International Conference, Taormina, Italy, September 1-5, 2012 : proceedings.. Part I /
by:
(Electronic resources)
Bioinformatics research and applications = 8th international symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012 : proceedings /
by:
(Electronic resources)
Theoretical computer science = 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings /
by:
(Electronic resources)
Informatics engineering and information science = international conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011 : proceedings.. Part IV /
by:
(Electronic resources)
Reachability problems = 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings /
by:
(Electronic resources)
Advances in computer games = 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011 : revised selected papers /
by:
(Electronic resources)
WALCOM = algorithms and computation : 4th international workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010 : proceedings /
by:
(Electronic resources)
Computer vision - ECCV 2010 = 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, proceedings.. Part V /
by:
(Electronic resources)
Progress in cryptology = INDOCRYPT 2011 : 12th International Conference on Cryptology in India, Chennai, India, December 11-14, 2011 : proceedings /
by:
(Electronic resources)
Abstract state machines, Alloy, B and Z = second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings /
by:
(Electronic resources)
Integration of AI and OR Techniques in contraint programming for combinatorial optimzation problems = 9th International Conference, CPAIOR 2012, Nantes, France, May 28-June1, 2012 : proceedings /
by:
(Electronic resources)
Integrated circuit and system design = power and timing modeling, optimization, and simulation : 21st international workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011 : poceedings /
by:
(Electronic resources)
Advances in cryptology - ASIACRYPT 2010 = 16th international conference on the theory and application of cryptology and information security, Singapore, December 5-9, 2010 : proceedings /
by:
(Electronic resources)
Computer Vision - ECCV 2010 = 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, proceedings.. Part I /
by:
(Electronic resources)
Trust, privacy and security in digital business = 7th International Conference, TrustBus 2010, Bilbao, Spain, August 30-31, 2010, proceedings /
by:
(Electronic resources)
Advances in swarm intelligence = first international conference, ICSI 2010, Beijing, China, June 12-15, 2010 : proceedings.. Part II /
by:
(Electronic resources)
Computer Vision - ECCV 2010 = 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, proceedings.. Part IV /
by:
(Electronic resources)
Trends in applied intelligent systems = 23rd international conference on industrial engineering and other applications of applied intelligent systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010 : proceedings, part I /
by:
(Electronic resources)
Advances in Information and computer security = 5th International Workshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010, proceedings /
by:
(Electronic resources)
Algorithm engineering = bridging the gap between algorithm theory and practice /
by:
(Electronic resources)
Radio frequency identification = security and privacy issues : 6th international workshop, RFIDSec 2010, Istanbul, Turkey, June 8-9, 2010 : revised selected papers /
by:
(Electronic resources)
Structural information and communication complexity = 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012 : revised selected papers /
by:
(Electronic resources)
Information computing and applications = first international conference, ICICA 2010, Tangshan, China, October 15-18, 2010 : proceedings /
by:
(Electronic resources)
Advances in computational intelligence = IEEE World Congress on Computational Intelligence, WCCI 2012, Brisbane, Australia, June 10-15, 2012 : plenary/invited lectures /
by:
(Electronic resources)
DNA computing and molecular programming = 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012 : proceedings /
by:
(Electronic resources)
Pattern recognition = 4th Mexican Conference, MCPR 2012, Huatulco, Mexico, June 27-30, 2012 : proceedings /
by:
(Electronic resources)
Energy minimization methods in computer vision and pattern recognition = 7th international conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009 : proceedings /
by:
(Electronic resources)
Contemporary computing = second international conference, IC3 2009, Noida, India, August 17-19, 2009 : proceedings /
by:
(Electronic resources)
Smart card research and advanced application = 9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010, Passau, Germany, April 14-16, 2010 : proceedings /
by:
(Electronic resources)
Mobile entity localization and tracking in GPS-less environnments = Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009 : proceedings /
by:
(Electronic resources)
Artificial Intelligence and Soft Computing ICAISC 2008 = 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedings /
by:
(Electronic resources)
Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
by:
(Electronic resources)
Formal methods and software engineering = 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings /
by:
(Electronic resources)
Advances in digital image processing and information technology = first international conference on Digital Image Processing and Pattern Recognition, DPPR 2011, Tirunelveli, Tamil Nadu, India, September 23-25, 2011 : proceedings /
by:
(Electronic resources)
Algorithms - ESA 2009 = 17th annual European symposium, Copenhagen, Denmark, September 7-9 : proceedings /
by:
(Electronic resources)
Information and communications security = 14th international conference, ICICS 2012, Hong Kong, China, October 29-31, 2012 : proceedings /
by:
(Electronic resources)
Information and management engineering = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part VI /
by:
(Electronic resources)
Parallel computing technologies = 11th international conference, PaCT 2011, Kazan, Russia, September 19-23, 2011 : proceedings /
by:
(Electronic resources)
Learning and intelligent optimization = 6th International Conference, LION 6, Paris, France, January 16-20, 2012 : revised selected papers /
by:
(Electronic resources)
Artificial evolution = 10th international conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011 : revised selected papers /
by:
(Electronic resources)
Experimental algorithms = 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010 : proceedings /
by:
(Electronic resources)
Mathematics of surfaces XIII = 13th IMA International Conference York, UK, September 7-9, 2009 : proceedings /
by:
(Electronic resources)
Internet and distributed computing systems = 5th international conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012 : proceedings /
by:
(Electronic resources)
Advances in cryptology - EUROCRYPT 2012 = 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012 : proceedings /
by:
(Electronic resources)
Computer applications for modeling, simulation, and automobile = international conferences, MAS and ASNT 2012, held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012 : proceedings /
by:
(Electronic resources)
Complex networks = second international workshop, CompleNet 2010, Rio de Janeiro, Brazil, October 13-15, 2010, revised selected papers /
by:
(Electronic resources)
Quantum interaction = 6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers /
by:
(Electronic resources)
User modeling, adaption and personalization = 19th international conference, UMAP 2011, Girona, Spain, July 11-15, 2011 : proceedings /
by:
(Electronic resources)
Structural, syntactic, and statistical pattern recognition = joint IAPR international workshop, SSPR & SPR 2012, Hiroshima, Japan, November 7-9, 2012 : proceedings /
by:
(Electronic resources)
Advances in bioinformatics and computational biology = 6th Brazilian Symposium on Bioinformatics, BSB 2011, Brasilia, Brazil, August 10-12, 2011 : proceedings /
by:
(Electronic resources)
Towards a service-based Internet = 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011 : proceedings /
by:
(Electronic resources)
Information security applications = 13th international workshop, WISA 2012, Jeju Island, Korea, August 16-18, 2012 : revised selected papers /
by:
(Electronic resources)
Algorithms and models for the web graph = 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012 : proceedings /
by:
(Electronic resources)
Advanced communication and networking = third international conference, ACN 2011, Brno, Czech Republic, August 15-17, 2011 : proceedings /
by:
(Electronic resources)
Algorithm theory - SWAT 2012 = 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012 : proceedings /
by:
(Electronic resources)
Artificial general intelligence = 5th international conference, AGI 2012, Oxford, UK, December 8-11, 2012 : proceedings /
by:
(Electronic resources)
Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part IV /
by:
(Electronic resources)
Computer applications for security, control and system engineering = International Conferences, SecTech, CA, CES3 2012, held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012 : proceedings /
by:
(Electronic resources)
Adaptive and natural computing algorithms = 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers /
by:
(Electronic resources)
NETWORKING 2012 = 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012 : proceedings.. Part I /
by:
(Electronic resources)
Decision and game theory for security = third international conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012 : proceedings /
by:
(Electronic resources)
Natural Language Processing - IJCNLP 2005 : = Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings
by:
(Electronic resources)
Algorithms and Computation : = 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings
by:
(Electronic resources)
Advances in cryptology - ASIACRYPT 2009 = 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009 : proceedings /
by:
(Electronic resources)
Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
(Electronic resources)
Foundations of information and knowledge systems = 7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings /
by:
(Electronic resources)
Theory and Applications of Satisfiability Testing = 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /
by:
(Electronic resources)
Euro-Par 2011: Parallel processing workshops = CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.. Part I /
by:
(Electronic resources)
Evolutionary Multi-Criterion Optimization = Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005, Proceedings /
by:
(Electronic resources)
Fundamentals of Computation Theory = 15th International Symposium, FCT 2005, Lubeck, Gemany, August 17-20, 2005, Proceedings /
by:
(Electronic resources)
Combinatorial Pattern Matching = 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings /
by:
(Electronic resources)
String Processing and Information Retrieval : = 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005, Proceedings
by:
(Electronic resources)
Job Scheduling Strategies for Parallel Processing : = 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
by:
(Electronic resources)
Information and business intelligence = International Conference, IBI 2011, Chongqing, China, December 23-25, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Computer Network Security : = Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 25-27, 2005 : proceedings
by:
(Electronic resources)
Theory of cryptography = 7th Theory of Cryptography Conference, TCC 2010, Zurich, Switzerland, February 9-11, 2010 : proceedings /
by:
(Electronic resources)
VLSI-SoC: Forward-Looking Trends in IC and Systems Design = 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010 : revised selected papers /
by:
(Electronic resources)
Distributed computing and networking = 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012 : proceedings /
by:
(Electronic resources)
Genetic programming = 15th European Conference, EuroGP 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(Electronic resources)
Wireless Sensor Networks = 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings /
by:
(Electronic resources)
Transactions on computational systems biology XII = special issue on modeling methodologies /
by:
(Electronic resources)
Progress in VLSI design and test = 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012 : proceedings /
by:
(Electronic resources)
Fundamentals of computation theory = 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings /
by:
(Electronic resources)
Algorithmic number theory = 8th international symposium, ANTS-VIII, Banff, Canada, May 17-22, 2008 : proceedings /
by:
(Electronic resources)
Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques = 11th International Workshop, APPROX 2008, and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 2008. Proceedings /
by:
(Electronic resources)
Combinatorial pattern matching = 20th annual symposium, CPM 2009, Lille, France, June 22-24, 2009 : proceedings /
by:
(Electronic resources)
Personal satellite services = second international ICST confernce, PSATS 2010, Rome, Italy, February 2010 : revised selected papers /
by:
(Electronic resources)
Global security, safety, and sustainability = 6th International Conference, ICGS3 2010, Braga, Portugal, September 1-3, 2010, proceedings /
by:
(Electronic resources)
Advances in bioinformatics and computational biology = 5th Brazilian Symposium on Bioinformatics, BSB 2010, Rio de Janeiro, Brazil, August 31-September 3, 2010, proceedings /
by:
(Electronic resources)
Energy-aware communications = 17th international workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011 : proceedings /
by:
(Electronic resources)
Genetic Programming = 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings /
by:
(Electronic resources)
Advances in grid and pervasive computing = 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010 : proceedings /
by:
(Electronic resources)
Theoretical computer science = 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings /
by:
(Electronic resources)
Engineering secure software and systems = First international symposium, ESSoS 2009, Leuven, Belgium, February 4-6, 2009, proceedings /
by:
(Electronic resources)
Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /
by:
(Electronic resources)
Stabilization, safety, and security of distributed systems = 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012 : proceedings /
by:
(Electronic resources)
Financial Cryptography and Data Security = 9th International Conference, FC 2005, Roseau, The Commonwealth Of Dominica, February 28 - March 3, 2005, Revised Papers /
by:
(Electronic resources)
Computer Algebra in Scientific Computing : = 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
by:
(Electronic resources)
Spatially Structured Evolutionary Algorithms = Artificial Evolution in Space and Time /
by:
(Electronic resources)
Algorithms and data structures = 11th international symposium, WADS 2009, Banff, Canada, August 21-23, 2009 : proceedings /
by:
(Electronic resources)
Theorem proving in higher order logics = 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : Proceedings /
by:
(Electronic resources)
Advances in bioinformatics and computational biology = 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009 : proceedings /
by:
(Electronic resources)
Advances in Grid Computing - EGC 2005 = European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /
by:
(Electronic resources)
Motion in games = 4th international conference, MIG 2011, Edinburgh, UK, November 13-15, 2011 : proceedings /
by:
(Electronic resources)
Advanced concepts for intelligent vision systems = 13th international conference, ACIVS 2011, Ghent, Belgium, August 22-25, 2011 : proceedings /
by:
(Electronic resources)
Security in Ad-hoc and Sensor Networks = First European Workshop, ESAS 2004, Heidelberg, Germany, August 6, 2004, Revised Selected Papers /
by:
(Electronic resources)
Computational logistics = third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012 : proceedings /
by:
(Electronic resources)
Spatio-temporal image analysis for longitudinal and time-series image data = second International Workshop, STIA 2012, held in conjunction with MICCAI 2012, Nice, France, October 1, 2012 : proceedings /
by:
(Electronic resources)
Recent trends in wireless and mobile networks = Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010 : proceedings /
by:
(Electronic resources)
Stabilization, safety, and security of distributed systems = 10th international symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008 : proceedings /
by:
(Electronic resources)
Computational intelligence methods for bioinformatics and biostatistics = 8th International Meeting, CIBB 2011, Gargnano del Garda, Italy, June 30 - July 2, 2011 : revised selected papers /
by:
(Electronic resources)
Multiple access communications = 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012 : proceedings /
by:
(Electronic resources)
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 /
by:
(Electronic resources)
Information security theory and practice = security and privacy of mobile devices in wireless communication : 5th IFIP WG 11.2 international workshop, WISTP 2011, Heraklion, Crete, Greece, June 1-3, 2011 : proceedings /
by:
(Electronic resources)
Arithmetic of Finite Fields = 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings /
by:
(Electronic resources)
Multi-disciplinary trends in artificial intelligence = 6th International Workshop, MIWAI 2012, Ho Chi Minh City, Vietnam, December 26-28, 2012. Proceedings /
by:
(Electronic resources)
Discovery science = 13th International Conference, DS 2010, Canberra, Australia, October 6-8, 2010, proceedings /
by:
(Electronic resources)
Advances in soft computing = 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010 : proceedings, part II /
by:
(Electronic resources)
Reconfigurable computing = architectures, tools and applications : 7th international symposium, ARC 2011, Belfast, UK, March 23-25, 2011 : proceedings /
by:
(Electronic resources)
Search based software engineering = 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings /
by:
(Electronic resources)
Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Information security and cryptology = 7th international conference, Inscrypt 2011, Beijing, China, November 30 - December 3, 2011 : revised selected papers /
by:
(Electronic resources)
Computer science - theory and applications = 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009 : Proceedings /
by:
(Electronic resources)
Engineering stochastic local search algorithms = designing, implementing and analyzing effective heuristics, Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009 : proceedings /
by:
(Electronic resources)
System modeling and optimization = 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007 : revised selected papers /
by:
(Electronic resources)
Computer algebra in scientific computing = 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings /
by:
(Electronic resources)
Fast Software Encryption = 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers /
by:
(Electronic resources)
Experimental algorithms = 8th international symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009 : proceedings /
by:
(Electronic resources)
Towards a service-based Internet = third European conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010 : proceedings /
by:
(Electronic resources)
Artificial neural networks in pattern recognition = 4th IAPR TC3 Workshop, ANNPR 2010, Cairo, Egypt, April 11-13, 2010 : proceedings /
by:
(Electronic resources)
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 /
by:
(Electronic resources)
Advances in neural networks - ISNN 2010 = 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010 : proceedings.. Part I /
by:
(Electronic resources)
Algorithm theory - SWAT 2010 = 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010 : proceedings /
by:
(Electronic resources)
Topics in cryptology - CT-RSA 2010 = the Cryptographers' track at the RSA Conference 2010, San Francisco, CA, USA, March 1-5, 2010 : proceedings /
by:
(Electronic resources)
Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Computational geometry, graphs and applications = 9th international conference, CGGA 2010, Dalian, China, November 3-6, 2010 : revised selected papers /
by:
(Electronic resources)
Image analysis and processing = ICIAP 2011 : 16th international conference, Ravenna, Italy, September 14-16, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Algorithms and architectures for parallel processing = 11th international conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Analytical and stochastic modeling techniques and applications = 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012 : proceedings /
by:
(Electronic resources)
Advances in computing and communications = first international conference, ACC 2011, Kochi, India, July 22-24, 2011 : proceedings.. Part III /
by:
(Electronic resources)
The multivariate algorithmic revolution and beyond = essays dedicated to Michael R. Fellows on the occasion of his 60th birthday /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part IV /
by:
(Electronic resources)
Advances in neural networks - ISNN 2011 = 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29 - June 1, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Unconventional computation and natural computation = 11th International Conference, UCNC 2012, Orle?ans, France, September 3-7, 2012 : proceedings /
by:
(Electronic resources)
Geographic information science = 7th International Conference, GIScience 2012, Columbus, OH, USA, September 18-21, 2012 : proceedings /
by:
(Electronic resources)
Computer algebra in scientific computing = 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings /
by:
(Electronic resources)
Topics in Cryptology - CT-RSA 2012 = the Cryptographers' Track at the RSA Conference 2012, San Francisco, CA, USA, February 27 - March 2, 2012 : proceedings /
by:
(Electronic resources)
Computer networks and information technologies = second International Conference on Advances in Communication, Network, and Computing, CNC 2011, Bangalore, India, March 10-11, 2011 : proceedings /
by:
(Electronic resources)
Ubiquitous computing and multimedia applications = second international conference, UCMA 2011, Daejeon, Korea, April 13-15, 2011, proceedings.. Part II /
by:
(Electronic resources)
Computational modeling of objects represented in images = Second International Symposium, CompIMAGE 2010, Buffalo, NY, USA, May 5-7, 2010 : proceedings /
by:
(Electronic resources)
Unconventional Computing = 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings /
by:
(Electronic resources)
Advances in computer science - ASIAN 2009 = information security and privacy : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009 : proceedings /
by:
(Electronic resources)
DNA computing and molecular programming = 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009 : revised selected paperss /
by:
(Electronic resources)
Combinatorial pattern matching = 22nd annual symposium, CPM 2011, Palermo, Italy, June 27-29, 2011 : proceedings /
by:
(Electronic resources)
Advances in network security and applications = 4th international conference, CNSA 2011, Chennai, India, July 15-17, 2011 /
by:
(Electronic resources)
Information Security = 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings /
by:
(Electronic resources)
Implementation and application of automata = 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings /
by:
(Electronic resources)
Intelligent Data Engineering and Automated Learning - IDEAL 2005 = 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings
by:
(Electronic resources)
Advances in cryptology -- EUROCRYPT 2008 = 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13-17, 2008 : proceedings /
by:
(Electronic resources)
Computer vision - ACCV 2009 = 9th Asian Conference on Computer Vision, Xi'an, September 23-27, 2009 : revised selected papers.. Part II /
by:
(Electronic resources)
Distributed Computing in Sensor Systems = First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30-July 1, 2005, Proceedings /
by:
(Electronic resources)
Digital information processing and communications = international conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Informatics engineering and information science = international conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Informatics engineering and information science = international conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011, proceedings.. Part III /
by:
(Electronic resources)
Information Retrieval Technology : = Second Asia Information Retrieval Symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005, Proceedings
by:
(Electronic resources)
Programs, proofs, processes = 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings /
by:
(Electronic resources)
Networked services and applications - engineering, control and management = 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010 : proceedings /
by:
(Electronic resources)
Advances in Natural Computation = First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings.. I /
by:
(Electronic resources)
Applications of evolutionary computation = EvoApplications 2010 : EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010 : proceedings.. Part II /
by:
(Electronic resources)
Semantic web rules = international symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010 : proceedings /
by:
(Electronic resources)
Algorithmic aspects in information and management = 5th international conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009 : proceedings /
by:
(Electronic resources)
Algorithms and computation = 20th international symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009 : proceedings /
by:
(Electronic resources)
Information theoretic security = second international conference, ICITS 2007, Madrid, Spain, May 25-29, 2007 : revised selected papers /
by:
(Electronic resources)
Graph-theoretic concepts in computer science = 34th international workshop, WG 2008, Durham, UK, June 30 - July 2, 2008. revised papers /
by:
(Electronic resources)
Algorithm Theory - SWAT 2008 = 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings /
by:
(Electronic resources)
Trustworthy software development processes = International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings /
by:
(Electronic resources)
Genetic programming = 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008 : proceedings /
by:
(Electronic resources)
Advanced Encryption Standard - AES = 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers /
by:
(Electronic resources)
Information Processing with Evolutionary Algorithms = From Industrial Applications to Academic Speculations /
by:
(Electronic resources)
High Performance Computational Science and Engineering = IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22-27, 2004, Toulouse, France /
by:
(Electronic resources)
Evolutionary computation in combinatorial optimization = 11th European Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011 : proceedings /
by:
(Electronic resources)
Frontiers in algorithmics and algorithmic aspects in information and management = joint international conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012 : proceedings /
by:
(Electronic resources)
Computer vision = ACCV 2010 : 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010 : revised selected papers.. Part IV /
by:
(Electronic resources)
High Performance Computing and Communications : = First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings
by:
(Electronic resources)
Privacy enhancing technologies = 10th International Symposium, PETS 2010, Berlin, Germany, July 21-23, 2010 : proceedings /
by:
(Electronic resources)
Business process management = 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, proceedings /
by:
(Electronic resources)
Algorithms - ESA 2010 = 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, proceedings.. Part I /
by:
(Electronic resources)
Advances in pattern recognition = Second Mexican Conference on Pattern Recognition, MCPR 2010, Puebla, Mexico, September 27-29, 2010 : proceedings /
by:
(Electronic resources)
Combinatorial optimization and applications = 4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010 : proceedings, part I /
by:
(Electronic resources)
Graph drawing = 16th international symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008 ; revised papers /
by:
(Electronic resources)
Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part III /
by:
(Electronic resources)
Advances in grid and pervasive computing = 4th international conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009 : proceedings /
by:
(Electronic resources)
Evolutionary multi-criterion optimization = 5th international conference, EMO 2009, Nantes, France, April 7-10, 2009, proceedings /
by:
(Electronic resources)
Automata, languages and programming = 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.. Part II /
by:
(Electronic resources)
Algorithms in bioinformatics = 9th international workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009 : proceedings /
by:
(Electronic resources)
Algorithmic aspects of wireless sensor networks = 5th international workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009 : revised selected papers /
by:
(Electronic resources)
Intelligent computing and information science = international conference, ICICIS 2011, Chongqing, China, January 8-9, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Transactions on petri nets and other models of concurrency.. II,. Special issue on concurrency in process-aware information systems
by:
(Electronic resources)
From active data management to event-based systems and more = papers in honor of Alejandro Buchmann on the occasion of his 60th birthday /
by:
(Electronic resources)
Adaptive and learning agents = international workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011 : revised selected papers /
by:
(Electronic resources)
Pattern recognition in bioinformatics = 6th IAPR international conference, PRIB 2011, Delft, The Netherlands, November 2-4, 2011 : proceedings /
by:
(Electronic resources)
Machine learning in medical imaging = second international workshop, MLMI 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011 : proceedings /
by:
(Electronic resources)
Hybrid artificial intelligent systems = 6th international conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Algorithms - ESA 2005 : = 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings
by:
(Electronic resources)
Theory and applications of models of computation = 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings /
by:
(Electronic resources)
Latin 2008 = theoretical informatics : 8th Latin American symposium, Buzios, Brazil, April 7-11, 2008 : proceedings /
by:
(Electronic resources)
Broadband communications, networks, and systems = 7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25-27, 2010 : revised selected papers /
by:
(Electronic resources)
DNA Computing = 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers /
by:
(Electronic resources)
Computer vision = ACCV 2010 : 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010 : revised selected papers.. Part II /
by:
(Electronic resources)
Algorithmic learning theory = 22nd international conference, ALT 2011, Espoo, Finland, October 5-7, 2011 : proceedings /
by:
(Electronic resources)
Latent variable analysis and signal separation = 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012 : proceedings /
by:
(Electronic resources)
Computational collective intelligence = technologies and applications : third international conference, ICCCI 2011, Gdynia, Poland, September 21-23, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Network and parallel computing = IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, proceedings /
by:
(Electronic resources)
Algorithms and architectures for parallel processing = 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012 : proceedings.. Part II /
by:
(Electronic resources)
Mobile Ad-hoc and Sensor Networks : = First International Conference, MSN 2005, Wuhan, China, December 13-15, 2005, Proceedings
by:
(Electronic resources)
Advances in computer entertainment = 9th international conference, ACE 2012, Kathmandu, Nepal, November 3-5, 2012 : proceedings /
by:
(Electronic resources)
Developments in language theory = 12th international conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : proceedings /
by:
(Electronic resources)
Artificial intelligence and soft computing = 10th international conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010.. Part II /
by:
(Electronic resources)
Computing and Combinatorics = 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-19, 2005, Proceedings /
by:
(Electronic resources)
Advances in Natural Computation = First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings.. II /
by:
(Electronic resources)
Machines, Computations, and Universality = 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers /
by:
(Electronic resources)
WALCOM: algorithms and computation = third international workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings /
by:
(Electronic resources)
Unconventional computation = 9th international conference, UC 2010, Tokyo, Japan, June 21-25, 2010 : proceedings /
by:
(Electronic resources)
Integrated circuit and system design = power and timing modeling, optimization, and simulation : 20th international workshop, PATMOS 2010 Grenoble, France, September 7-10, 2010 : revised selected papers /
by:
(Electronic resources)
Global trends in computing and communication systems = 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. : proceedings.. Part I /
by:
(Electronic resources)
Understanding Planning Tasks = Domain Complexity and Heuristic Decomposition /
by:
(Electronic resources)
Progress in cryptology - INDOCRYPT 2012 = 13th International Conference on Cryptology in India, Kolkata, India, December 9-12, 2012 : proceedings /
by:
(Electronic resources)
Internet and network economics = 8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings /
by:
(Electronic resources)
Advanced computer science and information technology = Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011 : proceedings /
by:
(Electronic resources)
Information security theory and practices = security and privacy of pervasive systems and smart devices : 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010 : proceedings /
by:
(Electronic resources)
On the move to meaningful internet systems, OTM 2010 = confederated international conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010 : proceedings.. part II /
by:
(Electronic resources)
Parallel processing and applied mathematics = 7th international conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 revised selected papers /
by:
(Electronic resources)
Algorithms and complexity = 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010 : proceedings /
by:
(Electronic resources)
Combinatorial optimization = Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012 : revised selected papers /
by:
(Electronic resources)
Machine Learning: ECML 2005 : = 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings
by:
(Electronic resources)
Advanced research on computer science and information engineering = international conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Information theoretic security = 5th international conference, ICITS 2011, Amsterdam, The Netherlands, May 21-24, 2011 : proceedings /
by:
(Electronic resources)
Multimodal Technologies for Perception of Humans = International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers /
by:
(Electronic resources)
Cryptography and security = from theory to applications : essays dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday /
by:
(Electronic resources)
Brain informatics = international conference, BI 2012, Macau, China, December 4-7, 2012 : proceedings /
by:
(Electronic resources)
Approximation and Online Algorithms = Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers /
by:
(Electronic resources)
Advances in knowledge discovery and data mining = 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June 1, 2012 : proceedings.. Part II /
by:
(Electronic resources)
Evolutionary computation, machine learning and data mining in bioinformatics = 6th European conference, EVOBIO 2008, Naples, Italy, March 26-28, 2008. proceedings /
by:
(Electronic resources)
High performance computing - HiPC 2008 = 15th international conference, Bangalore, India, December 17-20, 2008, proceedings /
by:
(Electronic resources)
Security in Communication Networks = 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers /
by:
(Electronic resources)
Implementation and Applications of Automata = 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings /
by:
(Electronic resources)
Automata, languages and programming = 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.. Part I /
by:
(Electronic resources)
Frontiers in Algorithmics = Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009 : proceedings /
by:
(Electronic resources)
Future generation information technology = Second International Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings /
by:
(Electronic resources)
Computational intelligence in security for information systems = 4th International Conference, CISIS 2011, Held at IWANN 2011, Torremolinos-Malaga, Spain, June 8-10, 2011 : proceedings /
by:
(Electronic resources)
Language and automata theory and applications = 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 : proceedings /
by:
(Electronic resources)
Computer vision - ECCV 2012 = Workshops and demonstrations : Florence, Italy, October 7-13, 2012 : proceedings.. Part I /
by:
(Electronic resources)
Applications of graph transformations with industrial relevance = third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007 : revised selected and invited papers /
by:
(Electronic resources)
Experimental algorithms = 7th International Workshop, WEA 2008, Provincetown, MA, USA, May 30 - June 1, 2008 : proceedings /
by:
(Electronic resources)
Testing of software and communication systems = 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009 : proceedings /
by:
(Electronic resources)
Integer programming and combinatorial optimization = 14th international conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010 : proceedings /
by:
(Electronic resources)
Scale space and variational methods in computer vision = second international conference, SSVM 2009, Voss, Norway, June 1-5, 2009 ; proceedings /
by:
(Electronic resources)
Computational Intelligence and Bioinspired Systems = 8th International Work-Conference on Artificial Neural Networks, IWANN 2005, Vilanova i la Geltru, Barcelona, Spain, June 8-10, 2005, Proceedings /
by:
(Electronic resources)
Anaphora processing and applications = 8th discourse anaphora and anaphor resolution colloquium, DAARC 2011, Faro, Portugal, October 6-7, 2011 : revised selected papers /
by:
(Electronic resources)
Implementation and Application of Automata = 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers /
by:
(Electronic resources)
Algorithmic learning theory = 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012 : proceedings /
by:
(Electronic resources)
LATIN 2010 = theoretical informatics : 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010 : proceedings /
by:
(Electronic resources)
Advanced Parallel Processing Technologies : = 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings
by:
(Electronic resources)
Mobile networks and management = Second International ICST Conference, MONAMI 2010, Santander, Spain, September 22-24, 2010 : revised selected papers /
by:
(Electronic resources)
Combinatorial optimization and applications = third international conference, COCOA 2009, Huangshan, China, June 10-12, 2009 : proceedings /
by:
(Electronic resources)
Image analysis and recognition = 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012 : proceedings.. Part I /
by:
(Electronic resources)
Security and Cryptography for Networks = 6th International Conference, SCN 2008, Amalfi, Italy, September 10-12, 2008. Proceedings /
by:
(Electronic resources)
Pairing-Based Cryptography -- Pairing 2008 = Second International Conference, Egham, UK, September 1-3, 2008. Proceedings /
by:
(Electronic resources)
Advances in information and computer security = 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 : proceedings /
by:
(Electronic resources)
Unconventional computation = 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009 : proceedings /
by:
(Electronic resources)
Multimodal brain image analysis = first international workshop, MBIA 2011, held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011 : proceedings /
by:
(Electronic resources)
Advances in neural networks - ISNN 2010 = 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010 : proceedings.. Part II /
by:
(Electronic resources)
Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Research in computational molecular biology = 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012 : proceedings /
by:
(Electronic resources)
Applied parallel and scientific computing = 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.. Part II /
by:
(Electronic resources)
Future generation information technology = 4th international conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings /
by:
(Electronic resources)
Security and privacy in mobile information and communication systems = Second International ICST Conference, MobiSec 2010, Catania, Sicily, Italy, May 27-28, 2010, revised selected papers /
by:
(Electronic resources)
Mathematical foundations of computer science 2012 = 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings /
by:
(Electronic resources)
Approximation, randomization, and combinatorial optimization = algorithms and techniques : 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012 : proceedings /
by:
(Electronic resources)
Partially supervised learning = first IAPR TC3 Workshop, PSL 2011, Ulm, Germany, September 15-16, 2011 : revised selected papers /
by:
(Electronic resources)
Advances in swarm intelligence = third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 : proceedings.. Part I /
by:
(Electronic resources)
Cryptographic Hardware and Embedded Systems -- CHES 2008 = 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings /
by:
(Electronic resources)
Algorithms and Architectures for Parallel Processing = 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings /
by:
(Electronic resources)
Computational Intelligence and Security : = International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part II
by:
(Electronic resources)
Agent computing and multi-agent systems = 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007 : revised papers /
by:
(Electronic resources)
Do-All Computing in Distributed Systems = Cooperation in the Presence of Adversity /
by:
(Electronic resources)
Algorithms and computation = 23rd international symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012 : proceedings /
by:
(Electronic resources)
Beyond loop level parallelism in OpenMP = accelerators, tasking and more : 6th international workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 : proceedings /
by:
(Electronic resources)
Combinatorial image analysis = 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009 : proceedings /
by:
(Electronic resources)
Computational topology in image context = 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012 : proceedings /
by:
(Electronic resources)
Graph drawing = 17th international symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009 : revised papers /
by:
(Electronic resources)
Computational intelligence methods for bioinformatics and biostatistics = 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, revised selected papers /
by:
(Electronic resources)
Finite-state methods and natural language processing = 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, revised selected papers /
by:
(Electronic resources)
Computer vision and graphics = International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, proceedings.. Part II /
by:
(Electronic resources)
Advances in computer science and information technology = AST/UCMA/ISA/ACN 2010 conferences, Miyazaki, Japan, June 23-25, 2010 : joint proceedings /
by:
(Electronic resources)
Information Security and Cryptology = 4th international conference, Inscrypt 2008, Beijing, China, December 14-17, 2008 ; revised selected papers /
by:
(Electronic resources)
Computer vision - ECCV 2012 = Workshops and demonstrations : Florence, Italy, October 7-13, 2012 : proceedings.. Part III /
by:
(Electronic resources)
Emerging intelligent computing technology and applications = 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012 : proceedings /
by:
(Electronic resources)
Progress in pattern recognition, image analysis, computer vision, and applications = 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings /
by:
(Electronic resources)
Theory of Cryptography = Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008. Proceedings /
by:
(Electronic resources)
Self-star Properties in Complex Information Systems = Conceptual and Practical Foundations /
by:
(Electronic resources)
Grid Computing in Life Science = First International Workshop on Life Science Grid, LSGRID 2004 Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers /
by:
(Electronic resources)
Combinatorial optimization and applications = 4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010 : proceedings, part II /
by:
(Electronic resources)
Information and communication technologies = international conference, ICT 2010, Kochi, Kerala, India, September 7-9, 2010, proceedings /
by:
(Electronic resources)
Pattern recognition = 32nd DAGM Symposium, Darmstadt, Germany, September 22-24, 2010, proceedings /
by:
(Electronic resources)
Information security and privacy = 15th Australasian Conference, ACISP 2010, Sydney, Australia, July 5-7, 2010, proceedings /
by:
(Electronic resources)
Runtime verification = 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers /
by:
(Electronic resources)
Graph drawing = 19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers /
by:
(Electronic resources)
Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /
by:
(Electronic resources)
Parallel processing and applied mathematics = 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.. part II /
by:
(Electronic resources)
Intelligent information and database systems = Second International Conference, ACIIDS, Hue City, Vietnam, March 24-26, 2010 : proceedings.. Part II /
by:
(Electronic resources)
Artificial immune systems = 8th international conference, ICARIS 2009, York, UK, August 9-12, 2009 ; Proceedings /
by:
(Electronic resources)
Stochastic Algorithms: Foundations and Applications : = Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005
by:
(Electronic resources)
ICT innovations 2010 = second international conference, ICT Innovations 2010, Ohrid, Macedonia, September 12-15, 2010 : revised selected papers /
by:
(Electronic resources)
Design and Analysis of Randomized Algorithms = Introduction to Design Paradigms /
by:
(Electronic resources)
Advanced computing, networking and security = International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011 : revised selected papers /
by:
(Electronic resources)
Advances in computer science and information technology = computer science and engineering : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012 : proceedings.. Part II /
by:
(Electronic resources)
Principles of security and trust = first international conference, POST 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings /
by:
(Electronic resources)
Scale space and variational methods in computer vision = third international conference, SSVM 2011, Ein-Gedi, Israel, May 29 - June 2, 2011 : revised selected papers /
by:
(Electronic resources)
Network optimization = 5th international conference, INOC 2011, Hamburg, Germany, June 13-16, 2011 : proceedings /
by:
(Electronic resources)
Information and Communications Security : = 7th International Conference, ICICS 2005, Beijing, China, December 10-13, 2005, Proceedings
by:
(Electronic resources)
Cryptology and Network Security : = 4th International Conference, CANS 2005, Xiamen, China, December 14-16, 2005, Proceedings
by:
(Electronic resources)
Network and Parallel Computing : = IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings
by:
(Electronic resources)
Artificial Immune Systems = 4th International Conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 2005, Proceedings /
by:
(Electronic resources)
Theoretical Computer Science : = 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
by:
(Electronic resources)
New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /
by:
(Electronic resources)
Public key cryptography - PKC 2012 = 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012 : proceedings /
by:
(Electronic resources)
Research in Computational Molecular Biology = 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings /
by:
(Electronic resources)
Technologies for Advanced Heterogeneous Networks : = First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005, Proceedings
by:
(Electronic resources)
Information Security and Privacy = 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005, Proceedings /
by:
(Electronic resources)
NETWORKING 2012 = 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012 : proceedings.. Part II /
by:
(Electronic resources)
OpenMP in a heterogeneous world = 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings /
by:
(Electronic resources)
Distributed Computing - IWDC 2005 : = 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings
by:
(Electronic resources)
Swarm intelligence = 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012 : proceedings /
by:
(Electronic resources)
Recent advances in the message passing interface = 19th European MPI Users' group meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012 : proceedings /
by:
(Electronic resources)
Artificial neural networks and machine learning - ICANN 2012 = 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012 : proceedings.. Part I /
by:
(Electronic resources)
Swarm Robotics = SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers /
by:
(Electronic resources)
Fuzzy Systems and Knowledge Discovery = Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings.. I /
by:
(Electronic resources)
Principles of distributed systems = 16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings /
by:
(Electronic resources)
Image analysis and recognition = 8th international conference, ICIAR 2011, Burnaby, BC, Canada, June 22-24, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Integrated computing technology = first international conference, INTECH 2011, Sao Carlos, Brazil, May 31 - June 2, 2011 : proceedings /
by:
(Electronic resources)
Managing the dynamics of networks and services = 5th international conference on autonomous infrastructure, management, and security, AIMS 2011, Nancy, France, June 13-17, 2011 : proceedings /
by:
(Electronic resources)
Euro-Par 2010 parallel processing workshops = HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31-September 3 2010 : revised selected papers /
by:
(Electronic resources)
Advances in computing and communications = first international conference, ACC 2011, Kochi, India, July 22-24, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Advanced research on computer science and information engineering = international conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part I /
by:
(Electronic resources)
S-BPM ONE - learning by doing - doing by learning = third international conference, S-BPM ONE 2011, Ingolstadt, Germany, September 29-30, 2011 : proceedings /
by:
(Electronic resources)
Advanced data mining and applications = 7th international conference, ADMA 2011, Beijing, China, December 17-19, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Algorithmic Aspects in Information and Management = 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings /
by:
(Electronic resources)
Advances in Natural Computation = First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings.. III /
by:
(Electronic resources)
Computer science logic = 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, proceedings /
by:
(Electronic resources)
Algorithms and architectures for parallel processing = 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings.. Part II /
by:
(Electronic resources)
Information and business intelligence = International Conference, IBI 2011, Chongqing, China, December 23-25, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Reconfigurable computing = architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings /
by:
(Electronic resources)
Artificial neural networks - ICANN 2010 = 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, proceedings.. Part II /
by:
(Electronic resources)
Trustworthly global computing = 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, revised selected papers /
by:
(Electronic resources)
Formal modeling and analysis of timed systems = 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, proceedings /
by:
(Electronic resources)
Incentives, overlays, and economic traffic control = Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010, proceedings /
by:
(Electronic resources)
Medical imaging and augmented reality = 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010, proceedings /
by:
(Electronic resources)
Latent variable analysis and signal separation = 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010, proceedings /
by:
(Electronic resources)
Foundational and practical aspects of resource analysis = First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, revised selected papers /
by:
(Electronic resources)
Internet and network economics = 6th international workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010 : proceedings /
by:
(Electronic resources)
Public Key Cryptography - PKC 2005 = 8th International Workshop on Theory and Practice in Public Key Cryptography /
by:
(Electronic resources)
Smart spaces and next generation wired/wireless networking = 9th international conference, NEW2AN 2009 and Second Conference on Smart Spaces, ruSMART 2009, St. Petersburg, Russia, September 15-18, 2009 : proceedings /
by:
(Electronic resources)
Frontiers in Algorithmics = Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings /
by:
(Electronic resources)
Future information technology = 6th international conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Scientific and statistical database management = 23rd international conference, SSDBM 2011, Portland, OR, USA, July 20-22, 2011 : proceedings /
by:
(Electronic resources)
Advances in artificial intelligence = 14th conference of the Spanish association for artificial intelligence, CAEPIA 2011, La Laguna, Spain, November 7-11, 2011 : proceedings /
by:
(Electronic resources)
Convergence and hybrid information technology = 5th international conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011 : proceedings /
by:
(Electronic resources)
Post-quantum cryptography = 4th international workshop, PQCrypto 2011, Taipei, Taiwan, November 29 - December 2, 2011 : proceedings /
by:
(Electronic resources)
Information and communications security = 13th international conference, ICICS 2011, Beijing, China, November 23-26, 2011 : proceedings /
by:
(Electronic resources)
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 /
by:
(Electronic resources)
Parallel processing and applied mathematics = 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.. part I /
by:
(Electronic resources)
Information security, practice and experience = 6th International Conference, ISPEC 2010, Seoul, Korea, May 12-13, 2010 : proceedings /
by:
(Electronic resources)
Computer information systems - analysis and technologies = 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011 : proceedings /
by:
(Electronic resources)
Advances in information and computer security = 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012 : proceedings /
by:
(Electronic resources)
Computing and combinatorics = 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010 : proceedings /
by:
(Electronic resources)
Language and automata theory and applications = 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings /
by:
(Electronic resources)
Artificial intelligence and computational intelligence = third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011 : proceedings.. Part III /
by:
(Electronic resources)
Mobile and ubiquitous Systems: Computing, networking, and services = 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010 : revised selected papers /
by:
(Electronic resources)
Learning and intelligent optimization = second international conference, LION 2007 II, Trento, Italy, December 8-12, 2007. selected papers /
by:
(Electronic resources)
Machine Learning and Knowledge Discovery in Databases = European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I /
by:
(Electronic resources)
Algorithms in bioinformatics = 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008. Proceedings /
by:
(Electronic resources)
Image Analysis and Recognition : = Second International Conference, ICIAR 2005, Toronto, Canada, September 28-30, 2005, Proceedings
by:
(Electronic resources)
Distributed and Parallel Computing : = 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings
by:
(Electronic resources)
Artificial evolution = 8th international conference, evolution artificielle, EA 2007, tours, France, October 29-31, 2007, revised selected papers /
by:
(Electronic resources)
Discrete Geometry for Computer Imagery = 12th International Conference, DGCI 2005, Poitiers, France, April 11-13, 2005, Proceedings /
by:
(Electronic resources)
Sequences and their applications - SETA 2012 = 7th International Conference, Waterloo, ON, Canada, June 4-8, 2012 : proceedings /
by:
(Electronic resources)
Pattern recognition = Chinese Conference, CCPR 2012, Beijing, China, September 24-26, 2012 : proceedings /
by:
(Electronic resources)
Database and XML technologies = 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010, proceedings /
by:
(Electronic resources)
Fast software encryption = 18th international workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011 : revised selected papers /
by:
(Electronic resources)
Parallel and distributed computing and networks = international conference, PDCN 2010, Chongqing, China, December 13-14, 2010 : revised selected papers /
by:
(Electronic resources)
Rule-based reasoning, programming, and applications = 5th international symposium, RULEML 2011, Europe, Barcelona, Spain, July 19-21 2011 : proceedings /
by:
(Electronic resources)
Contemporary computing = 4th international conference, IC3 2011, Noida, India, August 8-10, 2011 : proceedings /
by:
(Electronic resources)
Computing and Combinatorics = 15th Annual International Conference, COCOON 2009 Niagara Falls, NY, USA, July 13-15, 2009 Proceedings /
by:
(Electronic resources)
Information hiding = 13th international conference, IH 2011, Prague, Czech Republic, May 18-20, 2011 : revised selected papers /
by:
(Electronic resources)
Similarity-based pattern recognition = first international workshop, SIMBAD 2011, Venice, Italy, September 28-30, 2011 : proceedings /
by:
(Electronic resources)
Distributed computing = 25th international symposium, DISC 2011, Rome, Italy, September 20-22, 2011 : proceedings /
by:
(Electronic resources)
Computational collective intelligence = technologies and applications : Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010, proceedings.. Part I /
by:
(Electronic resources)
Sequences and their applications - SETA 2010 = 6th International Conference, Paris, France, September 13-17, 2010, proceedings /
by:
(Electronic resources)
Computer security - ESORICS 2010 = 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010, proceedings /
by:
(Electronic resources)
Multiple access communications = Third International Workshop, MACOM 2010, Barcelona, Spain, September 13-14, 2010, proceedings /
by:
(Electronic resources)
Artificial intelligence and computational intelligence = international conference, AICI 2010, Sanya, China, October 23-24, 2010 : proceedings, part I /
by:
(Electronic resources)
Computer Vision and Graphics = International Conference, ICCVG 2008 Warsaw, Poland, November 10-12, 2008, Revised Papers /
by:
(Electronic resources)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
(Electronic resources)
Passive and active measurement = 11th International Conference, PAM 2010, Zurich, Switzerland, April 7-9, 2010 : proceedings /
by:
(Electronic resources)
Artificial Immune Systems = 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings /
by:
(Electronic resources)
Multi-disciplinary trends in artificial intelligence = 5th international workshop, MIWAI 2011, Hyderabad, India, December 7-9, 2011 : proceedings /
by:
(Electronic resources)
Graph-theoretic concepts in computer science = 37th international workshop, WG 2011, Tepla Monastery, Czech Republic, June 21-24, 2011 : revised papers /
by:
(Electronic resources)
Advances in information and computer security = 6th international workshop, IWSEC 2011, Tokyo, Japan, November 8-10, 2011 : proceedings /
by:
(Electronic resources)
Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011 : proceedings.. Part III /
by:
(Electronic resources)
Combinatorial optimization and applications = 5th international conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011 : proceedings /
by:
(Electronic resources)
Multimedia communications, services and security = 4th International Conference, MCSS 2011, Krakow, Poland, June 2-3, 2011 : proceedings /
by:
(Electronic resources)
Theory and practice of natural computing = first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012 : proceedings /
by:
(Electronic resources)
Trends and topics in computer vision = ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010 : revised selected papers.. Part II /
by:
(Electronic resources)
Algorithms and architectures for parallel processing = 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012 : proceedings.. Part I /
by:
(Electronic resources)
Information security and cryptology - ICISC 2011 = 14th International Conference, Seoul, Korea, November 30 - December 2, 2011 : revised aelected papers /
by:
(Electronic resources)
Facing the multicore - Challenge II = aspects of new paradigms and technologies in parallel computing /
by:
(Electronic resources)
Euro-Par 2011: Parallel processing workshops = CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.. Part II /
by:
(Electronic resources)
Approximation and online algorithms = 9th International Workshop, WAOA 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers /
by:
(Electronic resources)
Hybrid artificial intelligent systems = 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012 : proceedings.. Part II /
by:
(Electronic resources)
Advances in networks and communications = first International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011 : proceedings.. Part II /
by:
(Electronic resources)
How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
by:
(Electronic resources)
Artificial intelligence: Theories and applications = 7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012 : proceedings /
by:
(Electronic resources)
Bio-inspired models of network, information, and computing systems = 6th International ICST Conference, BIONETICS 2011, York, UK, December 5-6, 2011 : revised selected papers /
by:
(Electronic resources)
Evolutionary computation in combinatorial optimization = 8th European conference, EVOCOP 2008, Naples, Italy, March 26-28, 2008 : proceedings /
by:
(Electronic resources)
Image analysis and processing = ICIAP 2011 : 16th international conference, Ravenna, Italy, September 14-16, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Visual informatics = sustaining research and innovations : second international visual informatics conference, IVIC 2011, Selangor, Malaysia, November 9-11, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Stochastic algorithms = foundations and applications : 5th international symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009 : proceedings /
by:
(Electronic resources)
Distributed computing = 22nd international symposium, DISC 2008, Arcachon, France, September 22-24, 2008 : proceedings /
by:
(Electronic resources)
Inductive Logic Programming = 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings /
by:
(Electronic resources)
Progress in cryptology - Africacrypt 2008 = first international conference on cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. proceedings /
by:
(Electronic resources)
Computational linguistics and intelligent text processing = 11th international conference, CICLing 2010, Iasi, Romania, March 21-27, 2010 : proceedings /
by:
(Electronic resources)
Discrete geometry for computer imagery = 14th IAPR international conference, DGCI 2008, Lyon, France, April 16-18, 2008 : proceedings /
by:
(Electronic resources)
Advances in Neural Networks - ISNN 2005 = Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings.. II /
by:
(Electronic resources)
Advances in Cryptology - EUROCRYPT 2005 = 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005, Proceedings /
by:
(Electronic resources)
Decision and game theory for security = second international conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011 : proceedings /
by:
(Electronic resources)
WALCOM: Algorithms and Computation = Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings /
by:
(Electronic resources)
Algorithmic decision theory = second international conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011 : proceedings /
by:
(Electronic resources)
Brain informatics = international conference, BI 2011, Lanzhou, China, September 7-9, 2011 : proceedings /
by:
(Electronic resources)
Topics in Cryptology -- CT-RSA 2005 = The Cryptographers' Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings /
by:
(Electronic resources)
Mobile lightweight wireless systems = third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011 : revised selected papers /
by:
(Electronic resources)
Parameterized and exact computation = 6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers /
by:
(Electronic resources)
Language and automata theory and applications = 6th International Conference, LATA 2012, A Coruna, Spain, March 5-9, 2012 : proceedings /
by:
(Electronic resources)
VLSI-SoC = technologies for systems integration : 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianopolis, Brazil, October 12-14, 2009, revised selected papers /
by:
(Electronic resources)
Swarm and evolutionary computation = international symposia, SIDE 2012 and EC 2012, Held in Conjunction with ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012 : proceedings /
by:
(Electronic resources)
Ad hoc networks = third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011 : revised selected papers /
by:
(Electronic resources)
Advances in computer science and information technology = computer science and engineering : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012 : proceedings.. Part III /
by:
(Electronic resources)
Multi-agent-based simulation XII = international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers /
by:
(Electronic resources)
Peer-to-Peer Systems IV : = 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers
by:
(Electronic resources)
Transactions on computational science XIV = special issue on Voronoi diagrams and Delaunay triangulation /
by:
(Electronic resources)
Theory and practice of algorithms in (computer) systems = first international ICST conference, TAPAS 2011, Rome, Italy, April 18-20, 2011 : proceedings /
by:
(Electronic resources)
Artificial neural networks - ICANN 2010 = 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, proceedings.. Part III /
by:
(Electronic resources)
Rigorous methods for software construction and analysis = essays dedicated to Egon Borger on the occasion of his 60th birthday /
by:
(Electronic resources)
Agents and artificial intelligence = International Conference, ICAART 2009, Porto, Portugal, January 19-21, 2009, revised selected papers /
by:
(Electronic resources)
Advances in cryptology - EUROCRYPT 2009 = 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009 : proceedings /
by:
(Electronic resources)
Recent advances in constraints = 12th annual ERCIM international workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers /
by:
(Electronic resources)
Advances in grid and pervasive computing = third international conference, GPC 2008, Kunming, China, May 25-28, 2008 : proceedings /
by:
(Electronic resources)
Public Key Cryptography ??PKC 2008 = 11th International Workshop on Practice and Theory in Public-Key Cryptography, Barcelona, Spain, March 9-12, 2008. Proceedings /
by:
(Electronic resources)
Web application security = Iberic Web Application Security Conference, IBWAS 2009, Madrid, Spain, December 10-11, 2009, revised selected papers /
by:
(Electronic resources)
Information hiding = 12th international conference, IH 2010, Calgary, AB, Canada, June 28-30, 2010 : revised selected papers /
by:
(Electronic resources)
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : = 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
by:
(Electronic resources)
Algorithms = ESA 2011 : 19th Annual European Symposium, Saarbrucken, Germany, September 5-9, 2011 : proceedings /
by:
(Electronic resources)
Algorithms for sensor systems = 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers /
by:
(Electronic resources)
Lectures on logic and computation = ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 : selected lecture notes /
by:
(Electronic resources)
Advances in knowledge discovery and data mining = 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June 1, 2012 : proceedings.. Part I /
by:
(Electronic resources)
Algorithmic aspects in information and management = 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010 : proceedings /
by:
(Electronic resources)
Applications of evolutionary computation = EvoApplications 2010 : EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010 : proceedings.. Part I /
by:
(Electronic resources)
Job scheduling strategies for parallel processing = 15th international workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010 : revised selected papers /
by:
(Electronic resources)
Evolutionary multi-criterion optimization = 6th international conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011 : proceedings /
by:
(Electronic resources)
Ubiquitous computing and multimedia applications = second international conference, UCMA 2011, Daejeon, Korea, April 13-15, 2011, proceedings.. Part I /
by:
(Electronic resources)
Advances in computer games = 12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009 : revised papers /
by:
(Electronic resources)
Advances in Intelligent Computing = International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings.. II /
by:
(Electronic resources)
Linking literature, information, and knowledge for biology = Workshop of the BioLink Special Interest Group, ISMB/ECCB 2009, Stockholm, June 28-29, 2009 : revised selected papers /
by:
(Electronic resources)
Advances in computer science and information technology = first International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Theory of quantum computation, communication and cryptography = 5th conference, TQC 2010, Leeds, UK, April 13-15, 2010 : revised selected papers /
by:
(Electronic resources)
Information, Security and Cryptology - ICISC 2009 = 12th International Conference, Seoul, Korea, December 2-4, 2009 : revised selected papers /
by:
(Electronic resources)
Middleware 2012 = ACM/IFIP/USENIX 13th international middleware conference, Montreal, QC, Canada, December 3-7, 2012 : proceedings /
by:
(Electronic resources)
Numerical Analysis and Its Applications = Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers /
by:
(Electronic resources)
Security, privacy, and applied cryptography engineering = second international conference, SPACE 2012, Chennai, India, November 3-4, 2012 : proceedings /
by:
(Electronic resources)
Security protocols XX = 20th international workshop, Cambridge, UK, April 12-13, 2012 : revised selected papers /
by:
(Electronic resources)
Computational intelligence = research frontiers : IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008 : plenary/invited lectures /
by:
(Electronic resources)
Digital Watermarking : = 4th International Workshop, IWDW 2005, Siena, Italy, September 15-17, 2005, Proceedings
by:
(Electronic resources)
Practice and Theory of Automated Timetabling V : = 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers
by:
(Electronic resources)
Combinatorial Image Analysis = 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings /
by:
(Electronic resources)
Computer Analysis of Images and Patterns : = 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005, Proceedings
by:
(Electronic resources)
Pairing-based cryptography - Pairing 2009 = Third International Conference Palo Alto, CA, USA, August 12-14, 2009 : Proceedings /
by:
(Electronic resources)
Biometric recognition = 6th Chinese conference, CCBR 2011, Beijing, China, December 3-4, 2011 : proceedings /
by:
(Electronic resources)
Variational, Geometric, and Level Set Methods in Computer Vision : = Third International Workshop, VLSM 2005, Beijing, China, October 16, 2005, Proceedings
by:
(Electronic resources)
Contemporary computing = third International Conference, IC3 2010, Noida, India, August 9-11, 2010, proceedings.. Part I /
by:
(Electronic resources)
Data and Applications Security XIX = 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005, Proceedings /
by:
(Electronic resources)
Euro-Par 2010 - parallel processing = 16th International Euro-Par Conference, Ischia, Italia, August 31 - September 3, 2010, proceedings.. Part I /
by:
(Electronic resources)
Advances in Neural Networks - ISNN 2005 = Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings.. III /
by:
(Electronic resources)
Regulatory Genomics = RECOMB 2004 International Workshop, RRG 2004, San Diego, CA, USA, March 26-27, 2004, Revised Selected Papers /
by:
(Electronic resources)
Battery Management Systems = Accurate State-of-Charge Indication for Battery-Powered Applications /
by:
(Electronic resources)
Formal methods and software engineering = 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, proceedings /
by:
(Electronic resources)
DNA Computing = 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers /
by:
(Electronic resources)
Service-oriented computing = ICSOC/ServiceWave 2009 Workshops : International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, revised selected papers /
by:
(Electronic resources)
Research in computational molecular biology = 12th annual international conference, RECOMB 2008, Singapore, March 30 - April 2, 2008. proceedings /
by:
(Electronic resources)
Advanced concepts for intelligent vision systems = 14th International Conference, ACIVS 2012, Brno, Czech Republic, September 4-7, 2012 : proceedings /
by:
(Electronic resources)
Computer vision - ECCV 2012 = Workshops and demonstrations : Florence, Italy, October 7-13, 2012 : proceedings.. Part II /
by:
(Electronic resources)
Distributed computing and networking = 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011 : proceedings /
by:
(Electronic resources)
On the move to meaningful internet systems = OTM 2011 : confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Advances in knowledge discovery and data mining = 15th Pacific-Asia Conference, PAKDD 2011, Shenzhen, China, May 24-27, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Software engineering and computer systems = second international conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011 : proceedings.. Part III /
by:
(Electronic resources)
Advances in computing and communications = first international conference, ACC 2011, Kochi, India, July 22-24, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Algorithms and data structures = 12th international symposium, WADS 2011, New York, NY, USA, August 15-17, 2011 : proceedings /
by:
(Electronic resources)
Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part III /
by:
(Electronic resources)
Principles and practice of constraint programming = CP 2011 : 17th international conference, CP 2011, Perugia, Italy, September 12-16, 2011 : proceedings /
by:
(Electronic resources)
Critical infrastructure protection V = 5th IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2011, Hanover, NH, USA, March 23-25, 2011, revised selected papers /
by:
(Electronic resources)
Information security and cryptology - ICISC 2008 = 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised selected papers /
by:
(Electronic resources)
Information security applications = 11th international workshop, WISA 2010, Jeju Island, Korea, August 24-26, 2010 : revised selected papers /
by:
(Electronic resources)
Programming languages and systems = 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
by:
(Electronic resources)
AI 2011 = advances in artificial intelligence : 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011 : proceedings /
by:
(Electronic resources)
Swarm, evolutionary, and memetic computing = second international conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Parameterized and exact computation = third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings /
by:
(Electronic resources)
Distributed Computing in Sensor Systems = 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings /
by:
(Electronic resources)
Model and data engineering = first international conference, MEDI 2011, Obidos, Portugal, September 28-30, 2011 : proceedings /
by:
(Electronic resources)
Frontiers of combining systems = 8th international symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011 : proceedings /
by:
(Electronic resources)
Image analysis and recognition = 8th international conference, ICIAR 2011, Burnaby, BC, Canada, June 22-24, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Advances in wireless, mobile networks and applications = international conferences, WiMoA 2011 and ICCSEA 2011, Dubai, United Arab Emirates, May 25-27, 2011 : proceedings /
by:
(Electronic resources)
Artificial neural networks and machine learning = ICANN 2011 : 21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, 2011 : proceedings.. Part I /
by:
(Electronic resources)
New challenges on bioinspired applications = 4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part I /
by:
(Electronic resources)
Advanced research in applied artificial intelligence = 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2012, Dalian, China, June 9-12, 2012 : proceedings /
by:
(Electronic resources)
Wireless sensor networks = 9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings /
by:
(Electronic resources)
Intelligent information and database systems = 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012 : proceedings.. Part III /
by:
(Electronic resources)
Computer vision and graphics = International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, proceedings.. Part I /
by:
(Electronic resources)
Progress in pattern recognition, image analysis, computer vision, and applications = 15th Iberoamerican Congress on Pattern Recognition, CIARP 2010, Sao Paulo, Brazil, November 8-11, 2010, proceedings /
by:
(Electronic resources)
Computational geometry = XIV Spanish Meeting, EGC 2011, dedicated to Ferran Hurtado on the occasion of his 60th birthday Alcala de Henares, Spain, June 27-30, 2011 : revised selected papers /
by:
(Electronic resources)
Image Analysis and Processing - ICIAP 2005 : = 13th International Conference, Cagliari, Italy, September 6-8, 2005, Proceedings
by:
(Electronic resources)
Analysis and Modelling of Faces and Gestures : = Second International Workshop, AMFG 2005, Beijing, China, October 16, 2005, Proceedings
by:
(Electronic resources)
High Performance Computing - HiPC 2005 = 12th International Conference, Goa, India, December 18-21, 2005. Proceedings /
by:
(Electronic resources)
Stabilization, safety, and security of distributed systems = 13th international Symposium, SSS 2011, Grenoble, France, October 10-12, 2011 : proceedings /
by:
(Electronic resources)
Logic and its applications = 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings /
by:
(Electronic resources)
Fundamentals of computation theory = 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009 : proceedings /
by:
(Electronic resources)
Conceptual structures, leveraging semantic technologies = 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009 : proceedings /
by:
(Electronic resources)
Recent advances in constraints = 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers /
by:
(Electronic resources)
Genetic programming = 12th European conference, EuroGP 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings /
by:
(Electronic resources)
Computers and games = 7th international conference, CG 2010, Kanazawa, Japan, September 24-26, 2010 : revised selected papers /
by:
(Electronic resources)
Applications of graph transformations with industrial relevance = 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011 : revised selected and invited papers /
by:
(Electronic resources)
Computer safety, reliability, and security = 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010 : proceedings /
by:
(Electronic resources)
Trends in applied intelligent systems = 23rd international conference on industrial engineering and other applications of applied intelligent systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010 : proceedings, part III /
by:
(Electronic resources)
Grid and distributed computing, control and automation = International Conferences, GDC and CA 2010, held as part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings /
by:
(Electronic resources)
Decision and game theory for security = First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010, proceedings /
by:
(Electronic resources)
Algorithms for sensor systems = 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010 : revised selected papers /
by:
(Electronic resources)
Swarm intelligence = 7th International Conference, ANTS 2010, Brussels, Belgium, September 8-10, 2010, proceedings /
by:
(Electronic resources)
Wireless algorithms, systems, and applications = 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010, proceedings /
by:
(Electronic resources)
Distributed computing = 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010, proceedings /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2010 = International Conference, Fukuoka, Japan, March 23-26, 2010 : proceedings.. Part II /
by:
(Electronic resources)
Trusted systems = First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009 : revised selected papers /
by:
(Electronic resources)
Advances in geometric modeling and processing = 6th international conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010 : proceedings /
by:
(Electronic resources)
Artificial intelligence and computational intelligence = 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012 : proceedings /
by:
(Electronic resources)
Cryptography and coding = 13th IMA international conference, IMACC 2011, Oxford, UK, December 12-15, 2011 : proceedings /
by:
(Electronic resources)
Information retrieval technology = 7th Asia Information Retrieval Societies Conference, AIRS 2011, Dubai, United Arab Emirates, December 18-20, 2011 : proceedings /
by:
(Electronic resources)
Video processing and computational video = international seminar, Dagstuhl Castle, Germany, October 10-15, 2010 : revised papers /
by:
(Electronic resources)
Computing and combinatorics = 17th annual international conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011 : proceedings /
by:
(Electronic resources)
Theory of security and applications = Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers /
by:
(Electronic resources)
Modeling decision for artificial intelligence = 8th international conference, MDAI 2011, Changsha, China, July 28-30, 2011 : proceedings /
by:
(Electronic resources)
DNA computing and molecular programming = 17th international conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011 : proceedings /
by:
(Electronic resources)
Unconventional computation = 10th international conference, UC 2011, Turku, Finland, June 6-10, 2011 : proceedings /
by:
(Electronic resources)
Computer vision - ECCV 2012 = 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings.. Part VII /
by:
(Electronic resources)
Computer vision - ECCV 2012 = 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings.. Part III /
by:
(Electronic resources)
Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
(Electronic resources)
Agents and artificial intelligence = second international conference, ICAART 2010, Valencia, Spain, January 22-24, 2010 : revised selected papers /
by:
(Electronic resources)
Large-scale scientific computing = 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers /
by:
(Electronic resources)
Advances in computing and communications = first international conference, ACC 2011, Kochi, India, July 22-24, 2011 : proceedings.. Part IV /
by:
(Electronic resources)
Smart spaces and next generation wired/wireless networking = third Conference on Smart Spaces, ruSMART 2010, and 10th International Conference, NEW2AN 2010, St. Petersburg, Russia, August 23-25, 2010, proceedings /
by:
(Electronic resources)
Genetic programming = 14th European conference, EuroGP 2011, Torino, Italy, April 27-29, 2011 : proceedings /
by:
(Electronic resources)
Information computing and applications = International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010, proceedings.. Part II /
by:
(Electronic resources)
Distributed computing in sensor systems = 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010 : proceedings /
by:
(Electronic resources)
Cryptographic hardware and embedded systems - CHES 2009 = 11th international workshop, Lausanne, Switzerland, September 6-9, 2009 : proceedings /
by:
(Electronic resources)
Artificial neural networks - ICANN 2010 = 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, proceedings.. Part I /
by:
(Electronic resources)
Advances in parallel, distributed computing = first international conference on parallel, distributed computing technologies and applications, PDCTA 2011, Tirunelveli, India, September 23-25, 2011 : proceedings /
by:
(Electronic resources)
Trends in computer science, engineering and information technology = first international conference on computer science, engineering and information technology, CCSEIT 2011, Tirunelveli, Tamil Nadu, India, September 23-25, 2011 : proceedings /
by:
(Electronic resources)
NETWORKING 2011 workshops = International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at NETWORKING 2011, Valencia, Spain, May 13, 2011 : revised selected papers /
by:
(Electronic resources)
Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part V /
by:
(Electronic resources)
Advances in swarm intelligence = second international conference, ICSI 2011, Chongqing, China, June 12-15, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Information retrieval technology = 8th Asia Information Retrieval Societies Conference, AIRS 2012, Tianjin, China, December 17-19, 2012 : proceedings /
by:
(Electronic resources)
Computer information systems and industrial management = 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012 : proceedings /
by:
(Electronic resources)
Developments in language theory = 15th international conference, DLT 2011, Milan, Italy, July 19-22 2011 : proceedings /
by:
(Electronic resources)
Innovative computing and information = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Advances in digital forensics VII = 7th IFIP WG 11.9 International Conference on Digital Forensics, Orlando, FL, USA, January 31 -February 2, 2011 : revised selected papers /
by:
(Electronic resources)
Architecting critical systems = first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 : proceedings /
by:
(Electronic resources)
Energy Minimization Methods in Computer Vision and Pattern Recognition : = 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005, Proceedings
by:
(Electronic resources)
Advances in knowledge discovery and data mining = 14th Pacific-Asia Conference, PAKDD 2010, Hyderabad, India, June 21-24, 2010 : proceedings.. Part I /
by:
(Electronic resources)
Current topics in artificial intelligence = 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009 : selected papers /
by:
(Electronic resources)
Distributed computing and networking = 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010 : proceedings /
by:
(Electronic resources)
Euro-Par 2010 - parallel processing = 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, proceedings.. Part II /
by:
(Electronic resources)
Evolutionary computation, machine learning and data mining in bioinformatics = 7th European Conference, EvoBIO 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings /
by:
(Electronic resources)
Advanced communication and networking = Second International Conference, ACN 2010, Miyazaki, Japan, June 23-25, 2010, proceedings /
by:
(Electronic resources)
Reliable Implementation of Real Number Algorithms: Theory and Practice = International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers /
by:
(Electronic resources)
Approximation and Online Algorithms = 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers /
by:
(Electronic resources)
Brain, Vision, and Artificial Intelligence : = First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings
by:
(Electronic resources)
Emerging trends and applications in information communication technologies = second International Multi Topic Conference, IMTIC 2012, Jamshoro, Pakistan, March 28-30, 2012 : proceedings /
by:
(Electronic resources)
Hybrid artificial intelligence systems = 5th international conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010 : proceedings.. Part I /
by:
(Electronic resources)
Euro-Par 2009 parallel processing workshops = HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009 : revised selected papers /
by:
(Electronic resources)
Information retrieval technology = 5th Asia information retrieval symposium, AIRS 2009, Sapporo, Japan, October 21-23, 2009 : proceedings /
by:
(Electronic resources)
Progress in Cryptology - Mycrypt 2005 : = First International Conference on Cryptology in Malaysia, Kuala Lumpur, Malaysia, September 28-30, 2005, Proceedings
by:
(Electronic resources)
Theory and application of satisfiability testing = SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings /
by:
(Electronic resources)
Computer science = theory and applications : 6th international computer science symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011 : proceedings /
by:
(Electronic resources)
Structural information and communication complexity = 17th international colloquium, SIROCCO 2010, Sirince, Turkey, June 7-11, 2010 : proceedings /
by:
(Electronic resources)
Inductive Logic Programming = 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings /
by:
(Electronic resources)
Artificial Intelligence Applications and Innovations = IFIP TC12 WG12.5 - Second IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), September 7-9, 2005, Beijing, China /
by:
(Electronic resources)
Foundational and practical aspects of resource analysis = second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers /
by:
(Electronic resources)
Theory and Applications of Satisfiability Testing = 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings /
by:
(Electronic resources)
Information Security and Cryptology - ICISC 2004 = 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers /
by:
(Electronic resources)
Evolutionary Computation in Combinatorial Optimization = 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings /
by:
(Electronic resources)
Computing and intelligent systems = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part III /
by:
(Electronic resources)
Information and management engineering = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part V /
by:
(Electronic resources)
Data and applications security and privacy XXIV = 24th Annual IFIP WG 11.3 Working Conference, Rome, Italy, June 21-23, 2010, proceedings /
by:
(Electronic resources)
Artificial general intelligence = 4th international conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011 : proceedings /
by:
(Electronic resources)
Information and communications security = 10th International Conference, ICICS 2008, Birmingham, UK, October 20-22, 2008 : proceedings /
by:
(Electronic resources)
Computer algebra in scientific computing = 13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 : proceedings /
by:
(Electronic resources)
Security technology = international conference, SecTech 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings /
by:
(Electronic resources)
Computer vision, imaging and computer graphics = theory and applications : international joint conference, VISIGRAPP 2010, Angers, France, May 17-21, 2010, revised selected papers /
by:
(Electronic resources)
Graphs and algorithms in communication networks = studies in broadband, optical, wireless and ad hoc networks /
by:
(Electronic resources)
Computational intelligence methods for bioinformatics and biostatistics = 5th international meeting, CIBB 2008, Vietri sul Mare, Italy, October 3-4, 2008 : revised selected papers /
by:
(Electronic resources)
Developments in language theory = 13th international conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings /
by:
(Electronic resources)
Hybrid artificial intelligence systems = 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009 : proceedings /
by:
(Electronic resources)
Mathematical theory and computational practice = 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : Proceedings /
by:
(Electronic resources)
Algorithms and applications = essays dedicated to Esko Ukkonen on the occasion of his 60th birthday /
by:
(Electronic resources)
Automated technology for verification and analysis = 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings /
by:
(Electronic resources)
Distributed computing = 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009 : proceedings /
by:
(Electronic resources)
Algorithms and architectures for parallel processing = 9th international conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009 ; proceedings /
by:
(Electronic resources)
Parameterized and exact computation = 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers /
by:
(Electronic resources)
Computational collective intelligence = technologies and applications : Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. proceedings.. Part III /
by:
(Electronic resources)
Progress in cryptology - INDOCRYPT 2010 = 11th International Conference on Cryptology in India, Hyderabad, India, December 12-15, 2010 : proceedings /
by:
(Electronic resources)
Transactions on computational science XI = special issue on security in computing, part II /
by:
(Electronic resources)
Algorithms and models for the web-graph = 7th international workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010 : proceedings /
by:
(Electronic resources)
Combinatorial Pattern Matching = 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 Proceedings /
by:
(Electronic resources)
Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /
by:
(Electronic resources)
Approximation and online algorithms = 6th international workshop ; WAOA 2008, Karlsruhe, Germany, September 18 - 19, 2008, revised papers /
by:
(Electronic resources)
Computational geometry and graph theory = international conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007 ; revised selected papers /
by:
(Electronic resources)
Algorithms and models for the web-graph = 6th international workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009 ; proceedings /
by:
(Electronic resources)
Theory and applications of models of computation = 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings /
by:
(Electronic resources)
Distributed computing in sensor systems = 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009 : proceedings /
by:
(Electronic resources)
String processing and information retrieval = 16th International Symposium, SPIRE 2009 Saariselka, Finland, August 25-27, 2009 Proceedings /
by:
(Electronic resources)
Foundations and applications of security analysis = Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers /
by:
(Electronic resources)
Communications and Information Processing = International Conference, ICCIP 2012, Aveiro, Portugal, March 7-11, 2012 : revised selected papers.. Part II /
by:
(Electronic resources)
Frontiers of combining systems = 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings /
by:
(Electronic resources)
Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part II /
by:
(Electronic resources)
OpenMP in a New Era of Parallelism = 4th international workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008 : proceedings /
by:
(Electronic resources)
Information Security and Cryptology = Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers /
by:
(Electronic resources)
Sequences and Their Applications - SETA 2008 = 5th International Conference Lexington, KY, USA, September 14-18, 2008 Proceedings /
by:
(Electronic resources)
Hybrid artificial intelligence systems = third International Workshop, HAIS 2008, Burgos, Spain, September 24-26, 2008. proceedings /
by:
(Electronic resources)
Network Models and Optimization = Multiobjective Genetic Algorithm Approach /
by:
(Electronic resources)
Communications and multimedia security = 12th IFIP TC 6 / TC 11 international conference, CMS 2011, Ghent, Belgium, October 19-21,2011 : proceedings /
by:
(Electronic resources)
Ant colony optimization and swarm intelligence = 6th international conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008 : proceedings /
by:
(Electronic resources)
Transactions on computational science IV = special issue on security in computing /
by:
(Electronic resources)
Computational collective intelligence = technologies and applications : third international conference, ICCCI 2011, Gdynia, Poland, September 21-23, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Swarm, evolutionary, and memetic computing = first International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010 : proceedings /
by:
(Electronic resources)
Logic, language, information and computation = 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings /
by:
(Electronic resources)
Intelligent data engineering and automated learning - IDEAL 2010 = 11th international conference, Paisley, UK, September 1-3, 2010 : proceedings /
by:
(Electronic resources)
Mathematical Foundations of Computer Science 2008 = 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings /
by:
(Electronic resources)
Architectures for adaptive software systems = 5th International Conference on the Quality of Software Architectures, QOSA 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings /
by:
(Electronic resources)
Teaching formal methods = second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(Electronic resources)
Independent component analysis and signal separation = 8th International Conference, ICA 2009, Paraty, Brazil, March 15 - 18, 2009 proceedings /
by:
(Electronic resources)
Recent advances in intrusion detection = 13th International Symposium, RAID 2010, Ottawa, Ontario, Canada, September 15-17, 2010, proceedings /
by:
(Electronic resources)
Approximation and online algorithms = 7th International Workshop, WAOA 2009, Copenhagen Denmark, September 10-11, 2009 : revised papers /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 2010 = 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
by:
(Electronic resources)
Self-organizing architectures = First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009 : revised selected and invited papers /
by:
(Electronic resources)
Analytical and stochastic modeling techniques and applications = 17th international conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010 : proceedings /
by:
(Electronic resources)
Artificial intelligence and soft computing = 10th international conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010.. Part I /
by:
(Electronic resources)
Advances in swarm intelligence = first international conference, ICSI 2010, Beijing, China, June 12-15, 2010 : proceedings.. Part I /
by:
(Electronic resources)
Computer science - theory and applications = 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010 : proceedings /
by:
(Electronic resources)
Theory and applications of models of computation = 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings /
by:
(Electronic resources)
Deep Structure, Singularities, and Computer Vision : = First International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, Revised Selected Papers
by:
(Electronic resources)
Self-Stabilizing Systems : = 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005
by:
(Electronic resources)
Active Mining = Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003, Revised Selected Papers
by:
(Electronic resources)
Recent Advances in Constraints = joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers /
by:
(Electronic resources)
Computer vision = ACCV 2010 : 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010 : revised selected papers.. Part III /
by:
(Electronic resources)
Principles of distributed systems = 15th international conference, OPODIS 2011, Toulouse, France, December 13-16, 2011 : proceedings /
by:
(Electronic resources)
Convergence and hybrid information technology = 5th international conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011 : proceedings /
by:
(Electronic resources)
Public Key Cryptography - PKC 2009 = 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings /
by:
(Electronic resources)
Computer processing of oriental languages = Language Technology for the Knowledge-based Economy :: language technology for the knowledge-based economy ; 22nd international conference, ICCPOL 2009, Hong Kong, March 26-27, 2009 ; proceedings /
by:
(Electronic resources)
Artificial immune systems = 10th international conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011 : proceedings /
by:
(Electronic resources)
Contemporary computing = third International Conference, IC3 2010, Noida, India, August 9-11, 2010, proceedings.. Part II /
by:
(Electronic resources)
Computer safety, reliability, and security = 30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 : proceedings /
by:
(Electronic resources)
Mathematical foundations of computer science 2011 = 36th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 : proceedings /
by:
(Electronic resources)
Privacy and identity management for life = 5th IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School, Nice, France, September 7-11, 2009, Revised Selected Papers /
by:
(Electronic resources)
Job scheduling strategies for parallel processing = 13th international workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. revised papers /
by:
(Electronic resources)
Parallel Computing Technologies = 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /
by:
(Electronic resources)
Privacy enhancing technologies = 11th international symposium, PETS 2011, Waterloo, ON, Canada, July 27-29 2011 : proceedings /
by:
(Electronic resources)
Information Retrieval Technology = Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers /
by:
(Electronic resources)
Computer networks and intelligent computing = 5th international conference on information processing, ICIP 2011, Bangalore, India, August 5-7, 2011 : proceedings /
by:
(Electronic resources)
Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Artifical evolution = 9th International Conference, Evolution Artificielle, EA, 2009, Strasbourg, France, October 26-28, 2009 : revised selected papers /
by:
(Electronic resources)
Stabilization, safety, and security of distributed systems = 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, proceedings /
by:
(Electronic resources)
Information security applications = 12th International Workshop, WISA 2011, Jeju Island, Korea, August 22-24, 2011 : revised selected papers /
by:
(Electronic resources)
Advanced concepts for intelligent vision systems = 12th international conference, ACIVS 2010, Sydney, Australia, December 13-16, 2010 :proceedings, part II /
by:
(Electronic resources)
Logic, language, information and computation = 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
by:
(Electronic resources)
Intelligent information and database systems = third international conference, ACIIDS 2011, Daegu, Korea, April 20-22, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Biomedical engineering systems and technologies = third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010 : revised selected papers /
by:
(Electronic resources)
Wireless sensor networks = 6th European conference, EWSN 2009, Cork, Ireland, February 11-13, 2009 ; proceedings /
by:
(Electronic resources)
Structural, syntactic, and statistical pattern recognition = Joint IAPR International Workshop, SSPR&SPR 2010, Cesme, Izmir, Turkey, August 18-20, 2010, proceedings /
by:
(Electronic resources)
Security and privacy - silver linings in the cloud = 25th IFIP TC-11 International Information Security Conference, SEC 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings /
by:
(Electronic resources)
Distributed, parallel and biologically inspired systems = 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings /
by:
(Electronic resources)
Reachability problems = 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings /
by:
(Electronic resources)
Artificial intelligence and computational intelligence = international conference, AICI 2010, Sanya, China, October 23-24, 2010 : proceedings, part II /
by:
(Electronic resources)
Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Adaptive and learning agents = Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009 : revised selected papers /
by:
(Electronic resources)
Trust and trustworthy computing = 5th International Conference, TRUST 2012, Vienna, Austria, June 13-15, 2012 : proceedings /
by:
(Electronic resources)
Information security and cryptology = ICISC 2010 : 13th international conference, Seoul, Korea, December 1-3, 2010 : revised selected papers /
by:
(Electronic resources)
Recent advances in parallel virtual machine and message passing interface = 16th European PVM/MPI Users' Group Meeting, Helsinki, Finland, September 7-10, 2009 : proceedings /
by:
(Electronic resources)
Progress in cryptology - INDOCRYPT 2008 = 9th International Conference on Cryptology in India, Kharagpur, India, December 14-17, 2008, proceedings /
by:
(Electronic resources)
Combinatorial pattern matching = 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012 : proceedings /
by:
(Electronic resources)
Intelligent Computing Theories and Applications = 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings /
by:
(Electronic resources)
Tools for high performance computing 2011 = proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden /
by:
(Electronic resources)
Global trends in information systems and software applications = 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Combinatorial image analysis = 14th international workshop, IWCIA 2011, Madrid, Spain, May 23-25, 2011 : proceedings /
by:
(Electronic resources)
Artificial immune systems = 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012 : proceedings /
by:
(Electronic resources)
Computer science - theory and applications = 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012 : proceedings /
by:
(Electronic resources)
Trends in intelligent robotics, automation, and manufacturing = first international conference, IRAM 2012, Kuala Lumpur, Malaysia, November 28-30, 2012 : proceedings /
by:
(Electronic resources)
Algorithms and models for the web graph = 8th international workshop, WAW 2011, Atlanta, GA, USA, May 27-29, 2011 : proceedings /
by:
(Electronic resources)
Future challenges in security and privacy for academia and industry = 26th IFIP TC 11 international information security conference, SEC 2011, Lucerne, Switzerland, June 7-9, 2011 : proceedings /
by:
(Electronic resources)
Intelligent information and database systems = 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012 : proceedings.. Part I /
by:
(Electronic resources)
Wireless communications and applications = first International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers /
by:
(Electronic resources)
Building a national distributed e-Infrastructure - PL-Grid = scientific and technical achievements /
by:
(Electronic resources)
Foundations and practice of security = 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011 : revised selected papers /
by:
(Electronic resources)
VLSI-SoC = Design Methodologies for SoC and SiP : 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008 : revised selected papers /
by:
(Electronic resources)
Research in computational molecular biology = 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010 : proceedings /
by:
(Electronic resources)
Advances in self-organizing maps = 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009 : proceedings /
by:
(Electronic resources)
Critical information infrastructures security = third international workshop, CRITIS 2008, Rome, Italy, October13-15, 2008 : revised papers /
by:
(Electronic resources)
Advances in computer science and information technology = Networks and Communications : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012 : proceedings.. Part I /
by:
(Electronic resources)
Software process and product measurement = International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009 : proceedings /
by:
(Electronic resources)
Information security applications = 10th international workshop, WISA 2009, Busan, Korea, August 25-27, 2009 : revised selected papers /
by:
(Electronic resources)
Network control and optimization = Third Euro-NF Conference, NET-COOP 2009, Eindhoven, The Netherlands, November 23-25, 2009 : proceedings /
by:
(Electronic resources)
Image Analysis and Recognition = 5th International Conference, ICIAR 2008, Povoa de Varzim, Portugal, June 25-27, 2008. Proceedings /
by:
(Electronic resources)
Algorithms - ESA 2008 = 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings /
by:
(Electronic resources)
Advances in artificial intelligence - SBIA 2008 = 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 : proceedings /
by:
(Electronic resources)
Algorithms and computation = 19th international symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008, proceedings /
by:
(Electronic resources)
Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part I /
by:
(Electronic resources)
Computer algebra in scientific computing = 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010, proceedings /
by:
(Electronic resources)
Financial cryptography and data security = 15th International Conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011 : revised selected papers /
by:
(Electronic resources)
Hybrid artificial intelligent systems = 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012 : proceedings.. Part I /
by:
(Electronic resources)
High performance architecture and grid computing = international conference, HPAGC 2011, Chandigarh, India, July 19-20, 2011 : proceedings /
by:
(Electronic resources)
Graph transformations = 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012 : proceedings /
by:
(Electronic resources)
Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part I /
by:
(Electronic resources)
LATIN 2012: Theoretical informatics = 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012 : proceedings /
by:
(Electronic resources)
Job Scheduling Strategies for Parallel Processing = 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers /
by:
(Electronic resources)
Evolutionary Multiobjective Optimization = Theoretical Advances and Applications /
by:
(Electronic resources)
Fuzzy Systems and Knowledge Discovery = Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings.. II /
by:
(Electronic resources)
Implementation and application of automata = 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers /
by:
(Electronic resources)
Learning Theory = 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings /
by:
(Electronic resources)
Information Security and Cryptology : = First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings
by:
(Electronic resources)
Theory of Cryptography = Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12. 2005, Proceedings /
by:
(Electronic resources)
Public Key Infrastructure = Second European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30- July 1, 2005, Revised Selected Papers /
by:
(Electronic resources)
Dissemination of Information in Optical Networks = From Technology to Algorithms In Cooperation with Ralf Klasing /
by:
(Electronic resources)
Combinatorial Geometry and Graph Theory = Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers /
by:
(Electronic resources)
Integer Programming and Combinatorial Optimization = 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings /
by:
(Electronic resources)
Inductive logic programming = 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009 : revised papers /
by:
(Electronic resources)
Concurrency, compositionality, and correctness = essays in honor of Willem-Paul de Roever /
by:
(Electronic resources)
Runtime verification = First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010, proceedings /
by:
(Electronic resources)
Financial cryptography and data security = 13th International Conference, FC 2009, Accra Beach, Barbados, February 23-26, 2009 : revised selected papers /
by:
(Electronic resources)
Information retrieval technology = 4th Asia infomation retrieval symposium, AIRS 2008, Harbin, China, January 15-18, 2008 revised selected papers /
by:
(Electronic resources)
Transactions on computational systems biology XIV = special issue on computational models for cell processes /
by:
(Electronic resources)
Combinatorial Image Analaysis = 15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012. Proceedings /
by:
(Electronic resources)
Numerical methods and applications = 7th international conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010 : revised papers /
by:
(Electronic resources)
New software engineering paradigm based on complexity science = an introduction to NSE /
by:
(Electronic resources)
WALCOM = algorithms and computation : 5th international workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011 : proceedings /
by:
(Electronic resources)
Advances in Intelligent Computing = International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings.. I /
by:
(Electronic resources)
Intelligent information and database systems = 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012 : proceedings.. Part II /
by:
(Electronic resources)
Constructive side-channel analysis and secure design = Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012 : proceedings /
by:
(Electronic resources)
Advanced Computing = first International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011 : proceedings.. Part III /
by:
(Electronic resources)
Pattern Recognition = 27th DAGM Symposium, Vienna, Austria, August 31 - September 2, 2005, Proceedings /
by:
(Electronic resources)
Communication and networking = International Conference, FGCN 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings.. Part I /
by:
(Electronic resources)
Sanskrit computational linguistics = 4th international symposium, New Delhi, India, December 10-12, 2010 : proceedings /
by:
(Electronic resources)
Public key cryptography = PKC 2011 : 14th international conference on practice and theory in public key cryptography, Taormina, Italy, March 6-9, 2011 : proceedings /
by:
(Electronic resources)
Abstract state machines, Alloy, B, VDM, and Z = third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(Electronic resources)
Arithmetic of finite fields = third international workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010. Proceedings /
by:
(Electronic resources)
NETWORKING 2012 workshops = International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012 : proceedings /
by:
(Electronic resources)
Information security and privacy research = 27th IFIP TC 11 information security and privacy conference, SEC 2012, Heraklion, Crete, Greece, June 4-6, 2012 : proceedings /
by:
(Electronic resources)
Scientific and statistical database management = 22nd international conference, SSDBM 2010, Heidelberg, Germany, June 30-July 2, 2010 : proceedings /
by:
(Electronic resources)
Tests and proofs = 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(Electronic resources)
Combinatorial optimization and applications = 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012 : proceedings /
by:
(Electronic resources)
Internet of things, smart spaces, and next generation networking = 12th International Conference, NEW2AN 2012, and 5th Conference, ruSMART 2012, St. Petersburg, Russia, August 27-29, 2012 : proceedings /
by:
(Electronic resources)
Algorithms - ESA 2012 = 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012 : proceedings /
by:
(Electronic resources)
From animals to animats 12 = 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012 : proceedings /
by:
(Electronic resources)
Combinatorial algorithms = 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012 : revised selected papers /
by:
(Electronic resources)
AI 2012 = advances in artificial intelligence : 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012 : proceedings /
by:
(Electronic resources)
Trends and topics in computer vision = ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010 : revised selected papers.. Part I /
by:
(Electronic resources)
Swarm, evolutionary, and memetic computing = third international conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012 : proceedings /
by:
(Electronic resources)
Distributed Search by Constrained Agents = Algorithms, Performance, Communication /
by:
(Electronic resources)
Algorithms in bioinformatics = 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012 : proceedings /
by:
(Electronic resources)
Information computing and applications = third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012 : proceedings /
by:
(Electronic resources)
Runtime verification = 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers /
by:
(Electronic resources)
Hybrid metaheuristics = 6th international workshop, HM 2009, Udine, Italy, October 16-17, 2009 : proceedings /
by:
(Electronic resources)
Transactions on computational science IX = special issue on voronoi diagrams in science and engineering /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part III /
by:
(Electronic resources)
Communications and information processing = International Conference, ICCIP 2012 Aveiro, Portugal, March 7-11, 2012 : revised selected papers.. Part I /
by:
(Electronic resources)
Advances in bioinformatics and computational biology = 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012 : proceedings /
by:
(Electronic resources)
Pillars of Computer Science = Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
by:
(Electronic resources)
Advances in digital forensics VI = Sixth IFIP WG 11.9 International Conference on Digital Forensics, Hong Kong, China, January 4-6, 2010, revised selected papers /
by:
(Electronic resources)
Design and analysis of algorithms = First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings /
by:
(Electronic resources)
Formal methods and software engineering = 14th international conference on formal engineering methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings /
by:
(Electronic resources)
Genetic programming = 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings /
by:
(Electronic resources)
Swarm, evolutionary, and memetic computing = second international conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Hybrid artificial intelligent systems = 6th international conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Privacy and identity management for life = 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Trento, Italy, September 5-9, 2011 : revised selected papers /
by:
(Electronic resources)
Runtime verification = second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
(Electronic resources)
Contemporary computing = 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012 : proceedings /
by:
(Electronic resources)
Graph structures for knowledge representation and reasoning = second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised selected papers /
by:
(Electronic resources)
Information security = 13th international conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010 : revised selected papers /
by:
(Electronic resources)
Algorithmics of large and complex networks = design, analysis, and simulation /
by:
(Electronic resources)
Information security and privacy = 14th Australasian conference, ACISP 2009, Brisbane, Australia, July 1-3, 2009 : proceedings /
by:
(Electronic resources)
Image and Signal Processing = 3rd International Conference, ICISP 2008 Cherbourg-Octeville, France, July 1-3, 2008 Proceedings /
by:
(Electronic resources)
Pattern Recognition = 30th DAGM Symposium Munich, Germany, June 10-13, 2008 Proceedings /
by:
(Electronic resources)
Security and privacy in communication networks = 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010, proceedings /
by:
(Electronic resources)
Agents for games and simulations = trends in techniques, concepts and design /
by:
(Electronic resources)
Arithmetic of finite fields = 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012 : proceedings /
by:
(Electronic resources)
Transactions on computational science X = special issue on security in computing, part I /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2010 = International Conference, Fukuoka, Japan, March 23-26, 2010 : proceedings.. Part III /
by:
(Electronic resources)
Combinatorial pattern matching = 21st annual symposium, CPM 2010, New York, NY, USA, June 21-23, 2010 : proceedings /
by:
(Electronic resources)
Frontiers in algorithmics = 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, proceedings /
by:
(Electronic resources)
Ubiquitous computing and multimedia applications = International Conference, UCMA 2010, Miyazaki, Japan, June 23-25, 2010, proceedings /
by:
(Electronic resources)
Advances in knowledge discovery and data mining = 15th Pacific-Asia Conference, PAKDD 2011, Shenzhen, China, May 24-27, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Pattern recognition and machine intelligence = 4th international conference, PReMI 2011, Moscow, Russia, June 27 - July 1, 2011 : proceedings /
by:
(Electronic resources)
Distributed computing = 26th international symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012 : proceedings /
by:
(Electronic resources)
Algorithms and computation = 21st international symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010 : proceedings, part I /
by:
(Electronic resources)
Network control and optimization = Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers /
by:
(Electronic resources)
Computational intelligence and intelligent systems = 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010, proceedings /
by:
(Electronic resources)
Evolutionary computation in combinatorial optimization = 12th European Conference, EvoCOP 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(Electronic resources)
Digital enterprise and information systems = international conference, DEIS 2011, London, UK, July 20-22, 2011 : proceedings /
by:
(Electronic resources)
Algorithms and architectures for parallel processing = 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings.. Part I /
by:
(Electronic resources)
Intelligent data engineering and automated learning - IDEAL 2009 = 10th international conference, Bourgos, Spain, September 23-26, 2009 : proceedings /
by:
(Electronic resources)
Artificial immune systems = 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010 : proceedings /
by:
(Electronic resources)
Advances in cryptology - ASIACRYPT 2008 = 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008, proceedings /
by:
(Electronic resources)
Advanced functional programming = 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008 : revised lectures /
by:
(Electronic resources)
Advances in computation and intelligence = 5th international symposium, ISICA 2010, Wuhan, China, October 22-24, 2010 : proceedings /
by:
(Electronic resources)
Advanced intelligent computing theories and applications = 6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18-21, 2010, proceedings /
by:
(Electronic resources)
Grid and distributed computing = international conference, GDC 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings /
by:
(Electronic resources)
Advanced research on computer education, simulation and modeling = international conference, CESM 2011, Wuhan, China, June 18-19, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Applied cryptography and network security = 9th international conference, ACNS 2011, Nerja, Spain, June 7-10, 2011 : proceedings /
by:
(Electronic resources)
Advances in neural networks - ISNN 2012 = 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012 : proceedings.. Part I /
by:
(Electronic resources)
Perspectives of systems informatics = 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers /
by:
(Electronic resources)
Intelligent computing and information science = international conference, ICICIS 2011, Chongqing, China, January 8-9, 2011 : Proceedings.. Part I /
by:
(Electronic resources)
Information Security Applications = 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers /
by:
(Electronic resources)
Show more
Fewer
Subjects