Discrete Mathematics in Computer Science.

Duality in vector optimization by: (書目-電子資源)

Fete of combinatorics and computer science by: (書目-電子資源)

Computer algebra in scientific computing = 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings / by: (書目-電子資源)

Mathematical foundations of computer science 2011 = 36th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 : proceedings / by: (書目-電子資源)

Conceptual Structures: Knowledge Visualization and Reasoning = 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings / by: (書目-電子資源)

Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / by: (書目-電子資源)

Uncertainty reasoning for the semantic web I = ISWC international workshops, URSW 2005-2007 : revised selected and invited papers / by: (書目-電子資源)

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: (書目-電子資源)

Efficient algorithms = essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday / by: (書目-電子資源)

Advances in Cryptology - ASIACRYPT 2012 = 18th international conference on the theory and application of cryptology and information security, Beijing, China, December 2-6, 2012 : proceedings / by: (書目-電子資源)

Fast Software Encryption = 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers / by: (書目-電子資源)

The multivariate algorithmic revolution and beyond = essays dedicated to Michael R. Fellows on the occasion of his 60th birthday / by: (書目-電子資源)

Computers and games = 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings / by: (書目-電子資源)

Formal concept analysis = 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012 : proceedings / by: (書目-電子資源)

Selected Areas in Cryptography = 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, revised selected papers / by: (書目-電子資源)

Provable security = third international conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009 : proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science = 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings / by: (書目-電子資源)

Comparative genomics = international workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008 : proceedings / by: (書目-電子資源)

Computational geometry, graphs and applications = 9th international conference, CGGA 2010, Dalian, China, November 3-6, 2010 : revised selected papers / by: (書目-電子資源)

Topics in cryptology - CT-RSA 2010 = the Cryptographers' track at the RSA Conference 2010, San Francisco, CA, USA, March 1-5, 2010 : proceedings / by: (書目-電子資源)

Algorithm theory - SWAT 2010 = 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010 : proceedings / by: (書目-電子資源)

Advances in cryptology - CRYPTO 2010 = 30th Annual Cryptology Conference, Santa Barbara, CA, USA, August 15-19, 2010, proceedings / by: (書目-電子資源)

Principles of distributed systems = 15th international conference, OPODIS 2011, Toulouse, France, December 13-16, 2011 : proceedings / by: (書目-電子資源)

Principles of distributed systems = 14th international conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010 : proceedings / by: (書目-電子資源)

Introduction to discrete event systems by: (書目-電子資源)

Comparative Genomics = RECOMB 2004 International Workshop, RCG 2004, Bertinoro, Italy, October 16-19, 2004, Revised Selected Papers / by: (書目-電子資源)

Integer Programming and Combinatorial Optimization = 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings / by: (書目-電子資源)

Combinatorial Geometry and Graph Theory = Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers / by: (書目-電子資源)

Graph transformations = 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - October 2, 2010, proceedings / by: (書目-電子資源)

Theory of Cryptography = Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12. 2005, Proceedings / by: (書目-電子資源)

Computing and combinatorics = 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010 : proceedings / by: (書目-電子資源)

Implementation and application of automata = 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers / by: (書目-電子資源)

Euclidean shortest paths = exact or approximate algorithms / by: (書目-電子資源)

Combinatorial algorithms = 22nd international workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011 : revised selected papers / by: (書目-電子資源)

Advances in information and computer security = 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012 : proceedings / by: (書目-電子資源)

Theory and applications of models of computation = 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings / by: (書目-電子資源)

Computer science - theory and applications = 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010 : proceedings / by: (書目-電子資源)

Formal concept analysis = 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings / by: (書目-電子資源)

Developments in language theory = 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, proceedings / by: (書目-電子資源)

Algorithmic number theory = 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010 : proceedings / by: (書目-電子資源)

Approximation, randomization, and combinatorial optimization = algorithms and techniques : 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010, proceedings / by: (書目-電子資源)

Logic programming and nonmonotonic reasoning = 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009 : proceedings / by: (書目-電子資源)

Mathematical software - ICMS 2010 = Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, proceedings / by: (書目-電子資源)

Algorithms - ESA 2010 = 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, proceedings.. Part II / by: (書目-電子資源)

Experimental algorithms = 8th international symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009 : proceedings / by: (書目-電子資源)

Mathematical methods for curves and surfaces = 7th International Conference, MMCS 2008, Tonsberg, Norway, June 26-July 1, 2008 : revised selected papers / by: (書目-電子資源)

Foundations of Generic Optimization. 2. Applications of Fuzzy Control, Genetic Algorithms and Neural Networks / by: (書目-電子資源)

Transactions on computational science VII by: (書目-電子資源)

Semantics-oriented natural language processing = mathematical models and algorithms / by: (書目-電子資源)

Parallel problem solving from nature - PPSN XI = 11th International Conference, Krakow, Poland, September 11-15, 2010 : proceedings.. Part II / by: (書目-電子資源)

Foundations of Generic Optimization. Volume 1,. A Combinatorial Approach to Epistasis / by: (書目-電子資源)

Graph theoretic concepts in computer science = 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009 : revised papers / by: (書目-電子資源)

Computer algebra in scientific computing = 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings / by: (書目-電子資源)

System modeling and optimization = 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007 : revised selected papers / by: (書目-電子資源)

Learning and intelligent optimization = 4th International Conference, LION 4, Venice, Italy, January 18-22, 2010 : selected papers / by: (書目-電子資源)

Logic, rationality, and interaction = second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings / by: (書目-電子資源)

Algorithms and computation = 22nd international symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011 : proceedings / by: (書目-電子資源)

Approximation and online algorithms = 7th International Workshop, WAOA 2009, Copenhagen Denmark, September 10-11, 2009 : revised papers / by: (書目-電子資源)

Post-quantum cryptography = 4th international workshop, PQCrypto 2011, Taipei, Taiwan, November 29 - December 2, 2011 : proceedings / by: (書目-電子資源)

Integer programming and combinatorial optimization = 13th International Conference, IPCO 2008, Bertinoro, Italy, May 26-28, 2008 : proceedings / by: (書目-電子資源)

Cryptology and network security = 10th international conference, CANS 2011, Sanya, China, December 10-12, 2011 : proceedings / by: (書目-電子資源)

Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part I / by: (書目-電子資源)

The mathematics of language = 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, revised selected papers / by: (書目-電子資源)

Internet and network economics = 7th international workshop, WINE 2011, Singapore, December 11-14, 2011 : proceedings / by: (書目-電子資源)

Simulated evolution and learning = 8th International Conference, SEAL 2010, Kanpur, India, December 1-4, 2010, proceedings / by: (書目-電子資源)

Advances in cryptology = CRYPTO 2011 : 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011 : proceedings / by: (書目-電子資源)

Theory of cryptography = 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings / by: (書目-電子資源)

Models of computation in context = 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings / by: (書目-電子資源)

Structural Information and Communication Complexity = 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings / by: (書目-電子資源)

Mathematics and computation in music = third international conference, MCM 2011, Paris, France, June 15-17, 2011 : proceedings / by: (書目-電子資源)

Graph drawing = 19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers / by: (書目-電子資源)

Research in cryptology = second western European workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007 : revised selected papers / by: (書目-電子資源)

Computation, cooperation, and life = essays dedicated to Gheorghe Paun on the occasion of his 60th birthday / by: (書目-電子資源)

Applied cryptography and network security = 8th international conference, ACNS 2010, Beijing, China, June 22-25, 2010 : proceedings / by: (書目-電子資源)

Advances in artificial life = Darwin Meets von Neumann : 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009 : revised selected papers.. Part I / by: (書目-電子資源)

Internet and network economics = 4th international workshop, WINE 2008, Shanghai, China, December 17-20, 2008, proceedings / by: (書目-電子資源)

Information security and privacy = 15th Australasian Conference, ACISP 2010, Sydney, Australia, July 5-7, 2010, proceedings / by: (書目-電子資源)

Music recommendation and discovery = the long tail, long fail, and long play in the digital music space / by: (書目-電子資源)

Tutorials on Emerging Methodologies and Applications in Operations Research = Presented at Informs 2004, Denver, CO / by: (書目-電子資源)

Combinatorial optimization and applications = 4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010 : proceedings, part II / by: (書目-電子資源)

Coding and cryptology = third international workshop, IWCC 2011, Qingdao, China, May 30-June 3, 2011 : proceedings / by: (書目-電子資源)

Graph-theoretic concepts in computer science = 36th International Workshop, WG 2010, Zaros, Crete, Greece, June 28-30, 2010, revised papers / by: (書目-電子資源)

Topics in cryptology--CT-RSA 2009 = the Cryptographers' Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009 ; proceedings / by: (書目-電子資源)

Distributed Computing in Sensor Systems = 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings / by: (書目-電子資源)

Parameterized and exact computation = third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation = 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers / by: (書目-電子資源)

Theory of Cryptography = Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008. Proceedings / by: (書目-電子資源)

Mathematical Foundations of Computer Science 2008 = 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings / by: (書目-電子資源)

Algebra and coalgebra in computer science = 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings / by: (書目-電子資源)

Algorithmic aspects of wireless sensor networks = fourth international workshop, ALGOSENSORS 2008, Reykjavik, Iceland, July 2008. revised selected papers / by: (書目-電子資源)

LATIN 2012: Theoretical informatics = 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012 : proceedings / by: (書目-電子資源)

Logic, language, information and computation = 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings / by: (書目-電子資源)

Comparative genomics = international workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009 : proceedings / by: (書目-電子資源)

Graph drawing = 17th international symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009 : revised papers / by: (書目-電子資源)

Combinatorial image analysis = 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009 : proceedings / by: (書目-電子資源)

Progress in Cryptology - INDOCRYPT 2005 : = 6th International Conference on Cryptology in India, Bangalore, India, December 10-12, 2005, Proceedings by: (書目-電子資源)

Algorithms and computation = 23rd international symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012 : proceedings / by: (書目-電子資源)

Sequential approximate multi-objective optimization using computational intelligence by: (書目-電子資源)

Graph transformations = 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; proceedings / by: (書目-電子資源)

Cryptographic hardware and embedded systems = CHES 2011 : 13th international workshop, Nara, Japan, September 28 - October 1, 2011 : proceedings / by: (書目-電子資源)

Logic programming and nonmonotonic reasoning = 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings / by: (書目-電子資源)

Knowledge processing with interval and soft computing by: (書目-電子資源)

Arithmetic of Finite Fields = 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings / by: (書目-電子資源)

Cryptography and security = from theory to applications : essays dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday / by: (書目-電子資源)

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: (書目-電子資源)

Ant colony optimization and swarm intelligence = 6th international conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008 : proceedings / by: (書目-電子資源)

Research in cryptology = 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011 : revised selected papers / by: (書目-電子資源)

Information security and cryptology - ICISC 2008 = 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised selected papers / by: (書目-電子資源)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems = 6th international conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009 ; proceedings / by: (書目-電子資源)

A geometry of approximation = rough set theory: logic, algebra and topology of Conceptual Patterns / by: (書目-電子資源)

Algorithms and data structures = 12th international symposium, WADS 2011, New York, NY, USA, August 15-17, 2011 : proceedings / by: (書目-電子資源)

Sequences and Their Applications - SETA 2008 = 5th International Conference Lexington, KY, USA, September 14-18, 2008 Proceedings / by: (書目-電子資源)

Computing and Combinatorics = 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings / by: (書目-電子資源)

Cryptology and network security = 11th international conference, CANS 2012, Darmstadt, Germany, December 12-14, 2012 : proceedings / by: (書目-電子資源)

Theory of quantum computation, communication, and cryptography = 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, revised selected papers / by: (書目-電子資源)

Sparsity = graphs, structures, and algorithms / by: (書目-電子資源)

Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part II / by: (書目-電子資源)

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: (書目-電子資源)

Mathematical foundations of computer science 2012 = 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings / by: (書目-電子資源)

Graph Drawing = 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers / by: (書目-電子資源)

Graph transformations = 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012 : proceedings / by: (書目-電子資源)

Research in computational molecular biology = 12th annual international conference, RECOMB 2008, Singapore, March 30 - April 2, 2008. proceedings / by: (書目-電子資源)

High performance networking, computing, and communication systems = second international conference, ICHCC 2011, Singapore, May 5-6, 2011, selected papers / by: (書目-電子資源)

Pairing-Based Cryptography -- Pairing 2008 = Second International Conference, Egham, UK, September 1-3, 2008. Proceedings / by: (書目-電子資源)

Diagrammatic representation and inference = 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010, proceedings / by: (書目-電子資源)

Studies in complexity and cryptography = miscellanea on the interplay between randomness and computation / by: (書目-電子資源)

Theory and applications of models of computation = 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings / by: (書目-電子資源)

Combinatorial optimization and applications = third international conference, COCOA 2009, Huangshan, China, June 10-12, 2009 : proceedings / by: (書目-電子資源)

Advances in cryptology - EUROCRYPT 2010 = 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, French Riviera, May 30 - June 3, 2010 : proceedings / by: (書目-電子資源)

Algorithmic Applications in Management = First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings / by: (書目-電子資源)

Fast Software Encryption = 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers / by: (書目-電子資源)

Graph-Based Representations in Pattern Recognition = 5th IAPR International Workshop, GbRPR 2005, Poitiers, France, April 11-13, 2005, Proceedings / by: (書目-電子資源)

Advances in Grid Computing - EGC 2005 = European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers / by: (書目-電子資源)

Algorithms and models for the web-graph = 6th international workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009 ; proceedings / by: (書目-電子資源)

Theorem proving in higher order logics = 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : Proceedings / by: (書目-電子資源)

Computational geometry and graph theory = international conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007 ; revised selected papers / by: (書目-電子資源)

Approximation and online algorithms = 6th international workshop ; WAOA 2008, Karlsruhe, Germany, September 18 - 19, 2008, revised papers / by: (書目-電子資源)

Modeling Decisions for Artificial Intelligence = 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009 : proceedings / by: (書目-電子資源)

Algorithms and data structures = 11th international symposium, WADS 2009, Banff, Canada, August 21-23, 2009 : proceedings / by: (書目-電子資源)

Advanced Parallel Processing Technologies : = 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings by: (書目-電子資源)

Applications and theory of petri nets = 30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 : proceedings / by: (書目-電子資源)

LATIN 2010 = theoretical informatics : 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010 : proceedings / by: (書目-電子資源)

Spatially Structured Evolutionary Algorithms = Artificial Evolution in Space and Time / by: (書目-電子資源)

Computer algebra in scientific computing = 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010, proceedings / by: (書目-電子資源)

Structural information and communication complexity = 16th international colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, revised selected papers / by: (書目-電子資源)

Graph-Theoretic Concepts in Computer Science : = 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers by: (書目-電子資源)

Developments in Language Theory = 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings / by: (書目-電子資源)

Regulatory Genomics = RECOMB 2004 International Workshop, RRG 2004, San Diego, CA, USA, March 26-27, 2004, Revised Selected Papers / by: (書目-電子資源)

Computer Algebra in Scientific Computing : = 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings by: (書目-電子資源)

Algorithms and Data Structures = 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings / by: (書目-電子資源)

Transactions on computational science XI = special issue on security in computing, part II / by: (書目-電子資源)

Progress in cryptology - INDOCRYPT 2010 = 11th International Conference on Cryptology in India, Hyderabad, India, December 12-15, 2010 : proceedings / by: (書目-電子資源)

Structural information and communication complexity = 18th international colloquium, SIROCCO 2011, Gdansk, Poland, June 26-29, 2011 : proceedings / by: (書目-電子資源)

Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part I / by: (書目-電子資源)

Mathematics and computation in music = first international conference, MCM 2007 Berlin, Germany, May 18-20, 2007 : revised selected papers / by: (書目-電子資源)

Algorithms and computation = 19th international symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008, proceedings / by: (書目-電子資源)

Advances in Neural Networks - ISNN 2005 = Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings.. III / by: (書目-電子資源)

Internet and network economics = 5th international workshop, WINE 2009, Rome, Italy, December 14-18, 2009 : proceedings / by: (書目-電子資源)

Integer programming and combinatorial optimization = 14th international conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010 : proceedings / by: (書目-電子資源)

Deontic logic in computer science = 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings / by: (書目-電子資源)

Theoretical Computer Science : = 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings by: (書目-電子資源)

Algorithms - ESA 2008 = 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings / by: (書目-電子資源)

Parameterized and exact computation = 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers / by: (書目-電子資源)

Cryptography and coding = 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009 : proceedings / by: (書目-電子資源)

Experimental algorithms = 7th International Workshop, WEA 2008, Provincetown, MA, USA, May 30 - June 1, 2008 : proceedings / by: (書目-電子資源)

Network optimization = 5th international conference, INOC 2011, Hamburg, Germany, June 13-16, 2011 : proceedings / by: (書目-電子資源)

Information security applications = 10th international workshop, WISA 2009, Busan, Korea, August 25-27, 2009 : revised selected papers / by: (書目-電子資源)

Applications of graph transformations with industrial relevance = third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007 : revised selected and invited papers / by: (書目-電子資源)

Advances in Cryptology - CRYPTO 2005 = 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005, Proceedings / by: (書目-電子資源)

Mathematical modelling and scientific computation = International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012 : proceedings / by: (書目-電子資源)

Pairing-based cryptography - Pairing 2009 = Third International Conference Palo Alto, CA, USA, August 12-14, 2009 : Proceedings / by: (書目-電子資源)

Developments in language theory = 13th international conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings / by: (書目-電子資源)

Frontiers in Algorithmics = Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009 : proceedings / by: (書目-電子資源)

Automata, languages and programming = 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.. Part I / by: (書目-電子資源)

Advanced manufacturing and sustainable logistics = 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010 : proceedings / by: (書目-電子資源)

Graphs and algorithms in communication networks = studies in broadband, optical, wireless and ad hoc networks / by: (書目-電子資源)

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems = Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005 / by: (書目-電子資源)

Analysis for computer scientists = foundations, methods, and algorithms / by: (書目-電子資源)

Design and Analysis of Randomized Algorithms = Introduction to Design Paradigms / by: (書目-電子資源)

Combinatorial Image Analysis = 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings / by: (書目-電子資源)

Practice and Theory of Automated Timetabling V : = 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers by: (書目-電子資源)

The algorithm design manual by: (書目-電子資源)

Algorithms and models for the web graph = 8th international workshop, WAW 2011, Atlanta, GA, USA, May 27-29, 2011 : proceedings / by: (書目-電子資源)

Automated deduction in geometry = 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers / by: (書目-電子資源)

Computer science - theory and applications = 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012 : proceedings / by: (書目-電子資源)

Combinatorial image analysis = 14th international workshop, IWCIA 2011, Madrid, Spain, May 23-25, 2011 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing = 13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 : proceedings / by: (書目-電子資源)

Stochastic Algorithms: Foundations and Applications : = Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005 by: (書目-電子資源)

Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques = algorithms and techniques : 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005, and 9th International Workshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005 : proceedings / by: (書目-電子資源)

Automated deduction in geometry = 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers / by: (書目-電子資源)

Combinatorial pattern matching = 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Algorithmic number theory = 8th international symposium, ANTS-VIII, Banff, Canada, May 17-22, 2008 : proceedings / by: (書目-電子資源)

SOFSEM 2012 = theory and practice of computer science : 38th conference on current trends in theory and practice of computer science, Spindleruv Mlyn, Czech Republic, January 21-27, 2012 : proceedings / by: (書目-電子資源)

Numerical Analysis and Its Applications = Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers / by: (書目-電子資源)

Approximation and Online Algorithms = Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers / by: (書目-電子資源)

Algorithms in Bioinformatics : = 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005, Proceedings by: (書目-電子資源)

Diagrammatic Representation and Inference = 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings / by: (書目-電子資源)

Theory of quantum computation, communication, and cryptography = third workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

Handbook of large-scale random networks by: (書目-電子資源)

Advances in Neural Networks - ISNN 2005 = Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings.. I / by: (書目-電子資源)

Simulated evolution and learning = 9th international conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012 : proceedings / by: (書目-電子資源)

Evolutionary computation in combinatorial optimization = 9th European conference, EvoCOP 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings / by: (書目-電子資源)

Multiobjective optimization = interactive and evolutionary approaches / by: (書目-電子資源)

Machine learning and knowledge discovery in databases = European conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012 : proceedings.. Part II / by: (書目-電子資源)

Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part II / by: (書目-電子資源)

Public key cryptography - PKC 2010 = 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010 : proceedings / by: (書目-電子資源)

Building bridges = between mathematics and computer science / by: (書目-電子資源)

Foundations of information and knowledge systems = 7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings / by: (書目-電子資源)

Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part I / by: (書目-電子資源)

Combinatorial Optimization and Applications = Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008. Proceedings / by: (書目-電子資源)

Combinatorial optimization = Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012 : revised selected papers / by: (書目-電子資源)

Evolutionary Computation in Combinatorial Optimization = 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings / by: (書目-電子資源)

Algorithms and complexity = 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010 : proceedings / by: (書目-電子資源)

Discrete and Computational Geometry : = Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 2004 by: (書目-電子資源)

Transactions on computational science XIV = special issue on Voronoi diagrams and Delaunay triangulation / by: (書目-電子資源)

Information Security and Cryptology - ICISC 2004 = 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers / by: (書目-電子資源)

Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / by: (書目-電子資源)

Combinatorial algorithms = 20th International Workshop, IWOCA 2009, Hradec nad Moravici, Czech Republic, June 28 - July 2, 2009 : revised selected papers / by: (書目-電子資源)

Formal theories of information = from Shannon to semantic information theory and general concepts of information / by: (書目-電子資源)

Internet and network economics = 8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings / by: (書目-電子資源)

Progress in cryptology - INDOCRYPT 2012 = 13th International Conference on Cryptology in India, Kolkata, India, December 9-12, 2012 : proceedings / by: (書目-電子資源)

Discrete geometry for computer imagery = 15th IAPR International Conference, DGCI 2009, Montreal, Canada, September 30-October 2, 2009 : proceedings / by: (書目-電子資源)

Robot Vision = Second International Workshop, RobVis 2008, Auckland, New Zealand, February 18-20, 2008. Proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Graph theory, computational intelligence and thought = essays dedicated to Martin Charles Golumbic on the occasion of his 60th Birthday / by: (書目-電子資源)

Algorithms and Computation : = 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings by: (書目-電子資源)

Structural information and communication complexity = 17th international colloquium, SIROCCO 2010, Sirince, Turkey, June 7-11, 2010 : proceedings / by: (書目-電子資源)

Advances in geometric modeling and processing = 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008 ; proceedings / by: (書目-電子資源)

WALCOM: algorithms and computation = third international workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings / by: (書目-電子資源)

Computer science = theory and applications : 6th international computer science symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011 : proceedings / by: (書目-電子資源)

Deontic logic in computer science = 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings / by: (書目-電子資源)

Computing and Combinatorics = 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-19, 2005, Proceedings / by: (書目-電子資源)

Algebraic informatics = 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : ;proceedings / by: (書目-電子資源)

Parameterized and exact computation = 6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers / by: (書目-電子資源)

Combinatorial computational biology of RNA = pseudoknots and neutral networks / by: (書目-電子資源)

Research trends in combinatorial optimization = Bonn 2008 / by: (書目-電子資源)

Cryptographic hardware and embedded systems - CHES 2010 = 12th international workshop, Santa Barbara, USA, August 17-20, 2010 : proceedings / by: (書目-電子資源)

Algebra and coalgebra in computer science = third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / by: (書目-電子資源)

Pairing-based cryptography - Pairing 2010 = 4th international conference, Yamanaka Hot Spring, Japan, December 2010, proceedings / by: (書目-電子資源)

Progress in Cryptology - Mycrypt 2005 : = First International Conference on Cryptology in Malaysia, Kuala Lumpur, Malaysia, September 28-30, 2005, Proceedings by: (書目-電子資源)

Graph-based representations in pattern recognition = 8th IAPR-TC-15 International Workshop, GbRPR 2011, Munster, Germany, May 18-20, 2011 : proceedings / by: (書目-電子資源)

Developments in language theory = 12th international conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : proceedings / by: (書目-電子資源)

Mathematical foundations of computer science 2010 = 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, proceedings / by: (書目-電子資源)

Mathematical morphology and its application to signal and image processing = 9th international symposium, ISMM 2009 Groningen, the Netherlands, August 24-27, 2009 : proceedings / by: (書目-電子資源)

Information retrieval technology = 5th Asia information retrieval symposium, AIRS 2009, Sapporo, Japan, October 21-23, 2009 : proceedings / by: (書目-電子資源)

Automata, languages and programming = 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.. part I / by: (書目-電子資源)

Fast software encryption = 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012 : revised selected papers / by: (書目-電子資源)

Computer security - ESORICS 2009 = 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009 : proceedings / by: (書目-電子資源)

Advances in Cryptology - ASIACRYPT 2005 : = 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005, Proceedings by: (書目-電子資源)

Advances in cryptology = ASIACRYPT 2011 : 17th international conference on the theory and application of cryptology and information security, Seoul, South Korea, December 4-8, 2011 : proceedings / by: (書目-電子資源)

Algorithm theory - SWAT 2012 = 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012 : proceedings / by: (書目-電子資源)

Topics in Cryptology -- CT-RSA 2005 = The Cryptographers' Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings / by: (書目-電子資源)

Algorithms and models for the web graph = 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012 : proceedings / by: (書目-電子資源)

Approximation algorithms and semidefinite programming by: (書目-電子資源)

Automata, languages and programming = 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.. part II / by: (書目-電子資源)

Information Security and Privacy = 16th Australasian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011 : proceedings / by: (書目-電子資源)

Combinatorial algorithms = 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012 : revised selected papers / by: (書目-電子資源)

WALCOM: Algorithms and Computation = Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Advances in Neural Networks - ISNN 2005 = Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings.. II / by: (書目-電子資源)

Discrete geometry for computer imagery = 14th IAPR international conference, DGCI 2008, Lyon, France, April 16-18, 2008 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Graphs, dioids and semirings = new models and algorithms / by: (書目-電子資源)

Cryptography and Coding : = 10th IMA International Conference, Cirencester, UK, December 19-21, 2005, Proceedings by: (書目-電子資源)

Parallel problem solving from nature - PPSN XII = 12th International Conference, Taormina, Italy, September 1-5, 2012 : proceedings.. Part II / by: (書目-電子資源)

Progress in cryptology - Africacrypt 2008 = first international conference on cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. proceedings / by: (書目-電子資源)

SOFSEM 2011 = theory and practice of computer science : 37th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 22 - 28, 2011 : proceedings / by: (書目-電子資源)

Learning and intelligent optimization = 6th International Conference, LION 6, Paris, France, January 16-20, 2012 : revised selected papers / by: (書目-電子資源)

Mathematics of surfaces XIII = 13th IMA International Conference York, UK, September 7-9, 2009 : proceedings / by: (書目-電子資源)

Advances in Cryptology -- CRYPTO 2008 = 28th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2008. Proceedings / by: (書目-電子資源)

Algorithms - ESA 2012 = 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012 : proceedings / by: (書目-電子資源)

Arithmetic of finite fields = third international workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010. Proceedings / by: (書目-電子資源)

Stochastic algorithms = foundations and applications : 5th international symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009 : proceedings / by: (書目-電子資源)

Combinatorial optimization and applications = 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012 : proceedings / by: (書目-電子資源)

Progress in cryptology - INDOCRYPT 2008 = 9th International Conference on Cryptology in India, Kharagpur, India, December 14-17, 2008, proceedings / by: (書目-電子資源)

Curves and surfaces = 7th International Conference, Avignon, France, June 24 - 30, 2010 : revised selected papers / by: (書目-電子資源)

Validated Designs for Object-oriented Systems by: (書目-電子資源)

Latent variable analysis and signal separation = 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012 : proceedings / by: (書目-電子資源)

Graph drawing = 18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 : revised selected papers / by: (書目-電子資源)

Abstract state machines, Alloy, B, VDM, and Z = third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings / by: (書目-電子資源)

Evolutionary computation in combinatorial optimization = 8th European conference, EVOCOP 2008, Naples, Italy, March 26-28, 2008 : proceedings / by: (書目-電子資源)

Public key cryptography = PKC 2011 : 14th international conference on practice and theory in public key cryptography, Taormina, Italy, March 6-9, 2011 : proceedings / by: (書目-電子資源)

Integer programming and combinatoral optimization = 15th international conference, IPCO 2011, New York, NY, USA, June 15-17, 2011 : proceedings / by: (書目-電子資源)

Computers and games = 7th international conference, CG 2010, Kanazawa, Japan, September 24-26, 2010 : revised selected papers / by: (書目-電子資源)

Mathematical Tools for Data Mining = Set Theory, Partial Orders, Combinatorics / by: (書目-電子資源)

How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings / by: (書目-電子資源)

Logic functions and equations = examples and exercises / by: (書目-電子資源)

DNA computing and molecular programming = 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012 : proceedings / by: (書目-電子資源)

A beginner's guide to discrete mathematics by: (書目-電子資源)

Structural information and communication complexity = 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012 : revised selected papers / by: (書目-電子資源)

Sets, logic and maths for computing by: (書目-電子資源)

Advances in cryptology - CRYPTO 2012 = 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Abstract state machines, Alloy, B and Z = second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings / by: (書目-電子資源)

Progress in cryptology = INDOCRYPT 2011 : 12th International Conference on Cryptology in India, Chennai, India, December 11-14, 2011 : proceedings / by: (書目-電子資源)

WALCOM = algorithms and computation : 4th international workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010 : proceedings / by: (書目-電子資源)

Language, games, and evolution = trends in current research on language and game theory / by: (書目-電子資源)

Advances in computer games = 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011 : revised selected papers / by: (書目-電子資源)

Theoretical computer science = 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings / by: (書目-電子資源)

Parallel problem solving from nature - PPSN XII = 12th International Conference, Taormina, Italy, September 1-5, 2012 : proceedings.. Part I / by: (書目-電子資源)

Developments in language theory = 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012 : proceedings / by: (書目-電子資源)

Logic and the foundations of game and decision theory - LOFT 8 = 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

Sanskrit computational linguistics = 4th international symposium, New Delhi, India, December 10-12, 2010 : proceedings / by: (書目-電子資源)

Parameterized and exact computation = 5th international symposium, IPEC 2010, Chennai, India, December 13-15, 2010 : proceedings / by: (書目-電子資源)

Information security and cryptology = ICISC 2010 : 13th international conference, Seoul, Korea, December 1-3, 2010 : revised selected papers / by: (書目-電子資源)

Latin 2008 = theoretical informatics : 8th Latin American symposium, Buzios, Brazil, April 7-11, 2008 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Approximation, randomization, and combinatorial optimization = algorithms and techniques : 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009 : proceedings / by: (書目-電子資源)

Approximation and online algorithms = 9th International Workshop, WAOA 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers / by: (書目-電子資源)

Algorithms - ESA 2005 : = 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings by: (書目-電子資源)

Algebraic informatics = third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings / by: (書目-電子資源)

Line drawing interpretation by: (書目-電子資源)

Logic, language, information and computation = 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings / by: (書目-電子資源)

Ordering block designs = gray codes, universal cycles and configuration orderings / by: (書目-電子資源)

Evolutionary computation in combinatorial optimization = 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings / by: (書目-電子資源)

Mathematics of Surfaces XI = 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings / by: (書目-電子資源)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems = 5th international conference, CPAIOR 2008, Paris, France, May 20-23, 2008 : proceedings / by: (書目-電子資源)

WALCOM = algorithms and computation : 5th international workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011 : proceedings / by: (書目-電子資源)

Ludics, dialogue and interaction = PRELUDE Project - 2006-2009 : revised selected papers / by: (書目-電子資源)

Information security and cryptology - ICISC 2011 = 14th International Conference, Seoul, Korea, November 30 - December 2, 2011 : revised aelected papers / by: (書目-電子資源)

Applications and Theory of Petri Nets 2005 = 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / by: (書目-電子資源)

Algorithmic Aspects of Wireless Sensor Networks = Third International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers / by: (書目-電子資源)

Combinatorial Image Analaysis = 15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012. Proceedings / by: (書目-電子資源)

Discrete Geometry for Computer Imagery = 16th IAPR International Conference, DGCI 2011, Nancy, France, April 6-8, 2011. Proceedings / by: (書目-電子資源)

An Introduction to Sequential Dynamical Systems by: (書目-電子資源)

Semantics in data and knowledge bases = third international workshop, SDKB 2008, Nantes, France, March 29, 2008 : revised selected papers / by: (書目-電子資源)

Information retrieval technology = 4th Asia infomation retrieval symposium, AIRS 2008, Harbin, China, January 15-18, 2008 revised selected papers / by: (書目-電子資源)

Frontiers in algorithmics and algorithmic aspects in information and management = joint international conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011 : proceedings / by: (書目-電子資源)

Advances in neural networks - ISNN 2011 = 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29 - June 1, 2011 : proceedings.. Part I / by: (書目-電子資源)

Combinatorial optimization and applications = 5th international conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011 : proceedings / by: (書目-電子資源)

Cryptographic hardware and embedded systems - CHES 2012 = 14th International Workshop, Leuven, Belgium, September 9-12, 2012 : proceedings / by: (書目-電子資源)

Mathematics of program construction = 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings / by: (書目-電子資源)

Theory of quantum computation, communication and cryptography = 5th conference, TQC 2010, Leeds, UK, April 13-15, 2010 : revised selected papers / by: (書目-電子資源)

Information, Security and Cryptology - ICISC 2009 = 12th International Conference, Seoul, Korea, December 2-4, 2009 : revised selected papers / by: (書目-電子資源)

CATBox = an interactive course in combinatorial optimization / by: (書目-電子資源)

Fundamentals of computation theory = 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings / by: (書目-電子資源)

Progress in Cryptology - LATINCRYPT 2012 = 2nd International Conference on Cryptology and Information Security in Latin America, Santiago, Chile, October 7-10, 2012 : proceedings / by: (書目-電子資源)

Core concepts in data analysis = summarization, correlation and visualization / by: (書目-電子資源)

Linear and integer programming vs linear integration and counting = a duality viewpoint / by: (書目-電子資源)

Transactions on rough sets XIII by: (書目-電子資源)

Frontiers in algorithmics and algorithmic aspects in information and management = joint international conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012 : proceedings / by: (書目-電子資源)

Advances in artificial life = Darwin Meets von Neumann, 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009 : revised selected papers.. Part II / by: (書目-電子資源)

Evolutionary computation in combinatorial optimization = 11th European Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011 : proceedings / by: (書目-電子資源)

Applied cryptography and network security = 9th international conference, ACNS 2011, Nerja, Spain, June 7-10, 2011 : proceedings / by: (書目-電子資源)

Logic, language, information and computation = 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings / by: (書目-電子資源)

Lectures on advances in combinatorics by: (書目-電子資源)

Fast software encryption = 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

Recent trends in wireless and mobile networks = third international conferences, WiMo 2011 and CoNeCo 2011, Ankara, Turkey, June 26-28, 2011 : proceedings / by: (書目-電子資源)

Advanced Encryption Standard - AES = 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers / by: (書目-電子資源)

Algorithm Theory - SWAT 2008 = 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings / by: (書目-電子資源)

Numerical analysis and its applications = 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008 : revised selected papers / by: (書目-電子資源)

Topics in cryptology = CT-RSA 2011 : the cryptographers' track at the RSA conference 2011, San Francisco, CA, USA, February 14-18, 2011 : proceedings / by: (書目-電子資源)

Fun with algorithms = 5th international conference, FUN 2010, Ischia, Italy, June 2-4, 2010 : proceedings / by: (書目-電子資源)

Approximation and Online Algorithms = 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers / by: (書目-電子資源)

Learning and intelligent optimization = 5th international conference, LION 5, Rome, Italy, January 17-21, 2011 : selected papers / by: (書目-電子資源)

Advances in cryptology - CRYPTO 2009 = 29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2009 : Proceedings / by: (書目-電子資源)

Automata, languages and programming = 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.. Part II / by: (書目-電子資源)

Evolutionary computation in combinatorial optimization = 12th European Conference, EvoCOP 2012, Malaga, Spain, April 11-13, 2012 : proceedings / by: (書目-電子資源)

Approximation and online algorithms = 8th international workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010 : revised papers / by: (書目-電子資源)

Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part III / by: (書目-電子資源)

Graph drawing = 16th international symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008 ; revised papers / by: (書目-電子資源)

Graph-theoretic concepts in computer science = 34th international workshop, WG 2008, Durham, UK, June 30 - July 2, 2008. revised papers / by: (書目-電子資源)

Combinatorial optimization and applications = 4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010 : proceedings, part I / by: (書目-電子資源)

Algorithms and computation = 21st international symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010 : proceedings, part I / by: (書目-電子資源)

Algorithms - ESA 2010 = 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, proceedings.. Part I / by: (書目-電子資源)

Algorithms and computation = 20th international symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009 : proceedings / by: (書目-電子資源)

Reliable Implementation of Real Number Algorithms: Theory and Practice = International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers / by: (書目-電子資源)

Algorithmic aspects in information and management = 5th international conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009 : proceedings / by: (書目-電子資源)

The linear ordering problem = exact and heuristic methods in combinatorial optimization / by: (書目-電子資源)

Rewriting techniques and applications = 20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings / by: (書目-電子資源)

Formal concept analysis = 7th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedings / by: (書目-電子資源)

Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday / by: (書目-電子資源)

Computing and Combinatorics = 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012 : proceedings / by: (書目-電子資源)

Formal concept analysis = 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010 : proceedings / by: (書目-電子資源)

Topics in cryptology : = CT-RSA 2008 by: (書目-電子資源)

Applications of discrete geometry and mathematical morphology = first International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers / by: (書目-電子資源)

Programs, proofs, processes = 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings / by: (書目-電子資源)

Automated reasoning = 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / by: (書目-電子資源)

Security Technology = International Conference, SecTech 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings / by: (書目-電子資源)

Information Retrieval Technology : = Second Asia Information Retrieval Symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005, Proceedings by: (書目-電子資源)

Network Analysis = Methodological Foundations / by: (書目-電子資源)

Graph Theory by: (書目-電子資源)

Theory and applications of models of computation = 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings / by: (書目-電子資源)

Graph-theoretic concepts in computer science = 37th international workshop, WG 2011, Tepla Monastery, Czech Republic, June 21-24, 2011 : revised papers / by: (書目-電子資源)

Applied algebra, algebraic algorithms and error-correcting codes = 18th international symposium, AAECC-18, Tarragona, Spain, June 8-12, 2009 : proceedings / by: (書目-電子資源)

Developments in language theory = 15th international conference, DLT 2011, Milan, Italy, July 19-22 2011 : proceedings / by: (書目-電子資源)

Diagrammatic representation and inference = 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012 : proceedings / by: (書目-電子資源)

Formal Concept Analysis = 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings / by: (書目-電子資源)

Coding and cryptology = second international workshop, IWCC 2009, Zhangjiajie, China, June 1-5, 2009 : proceedings / by: (書目-電子資源)

Frontiers in algorithmics = 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, proceedings / by: (書目-電子資源)

Algorithmic decision theory = first international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings / by: (書目-電子資源)

Structural analysis of complex networks by: (書目-電子資源)

Nonblocking Electronic and Photonic Switching Fabrics by: (書目-電子資源)

Advances in computer games = 12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009 : revised papers / by: (書目-電子資源)

Algorithmic game theory = first international symposium, SAGT 2008, Paderborn, Germany, April 30-May 2, 2008. proceedings / by: (書目-電子資源)

Frontiers in Algorithmics = Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings / by: (書目-電子資源)

STACS 2005 = 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings / by: (書目-電子資源)

Foundations of Information and Knowledge Systems = 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings / by: (書目-電子資源)

Distributed Computing in Sensor Systems = First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30-July 1, 2005, Proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Arithmetic of finite fields = 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012 : proceedings / by: (書目-電子資源)

Relations and kleene algebra in computer science = 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings / by: (書目-電子資源)

Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / by: (書目-電子資源)

Applications and Theory of Petri Nets = 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings / by: (書目-電子資源)

Complexity of constraints = an overview of current research themes / by: (書目-電子資源)

Algorithmics of large and complex networks = design, analysis, and simulation / by: (書目-電子資源)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems = 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011 : proceedings / by: (書目-電子資源)

Formal Concept Analysis = Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings / by: (書目-電子資源)

Fundamentals of Computation Theory = 15th International Symposium, FCT 2005, Lubeck, Gemany, August 17-20, 2005, Proceedings / by: (書目-電子資源)

Simulated evolution and learning = 7th international conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, proceedings / by: (書目-電子資源)

Advances in Artificial Life : = 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings by: (書目-電子資源)

Applications of evolutionary computation = EvoApplications 2010 : EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010 : proceedings.. Part I / by: (書目-電子資源)

Internet and network economics = 6th international workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010 : proceedings / by: (書目-電子資源)

DNA computing and molecular programming = 17th international conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011 : proceedings / by: (書目-電子資源)

Latent variable analysis and signal separation = 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010, proceedings / by: (書目-電子資源)

Algorithmic aspects in information and management = 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010 : proceedings / by: (書目-電子資源)

Computing and combinatorics = 17th annual international conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011 : proceedings / by: (書目-電子資源)

Graph Theory, Combinatorics and Algorithms = Interdisciplinary Applications / by: (書目-電子資源)

Cryptography and coding = 13th IMA international conference, IMACC 2011, Oxford, UK, December 12-15, 2011 : proceedings / by: (書目-電子資源)

Advances in geometric modeling and processing = 6th international conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010 : proceedings / by: (書目-電子資源)

Identity-based encryption by: (書目-電子資源)

Mathematical Foundations of Computer Science 2005 = 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings / by: (書目-電子資源)

Lectures on logic and computation = ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 : selected lecture notes / by: (書目-電子資源)

Spectral methods for uncertainty quantification = with applications to computational fluid dynamics / by: (書目-電子資源)

Design and analysis of algorithms = First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings / by: (書目-電子資源)

Algorithms = ESA 2011 : 19th Annual European Symposium, Saarbrucken, Germany, September 5-9, 2011 : proceedings / by: (書目-電子資源)

Applications of graph transformations with industrial relevance = 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011 : revised selected and invited papers / by: (書目-電子資源)

Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / by: (書目-電子資源)

Conceptual structures, leveraging semantic technologies = 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009 : proceedings / by: (書目-電子資源)

Structural Information and Communication Complexity = 12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005, Proceedings / by: (書目-電子資源)

Algorithmic Aspects in Information and Management = 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings / by: (書目-電子資源)

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : = 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings by: (書目-電子資源)

Information hiding = 12th international conference, IH 2010, Calgary, AB, Canada, June 28-30, 2010 : revised selected papers / by: (書目-電子資源)

Parameterized and exact computation = 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Fundamentals of computation theory = 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009 : proceedings / by: (書目-電子資源)

Foundations of information and knowledge systems = 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009 : proceedings / by: (書目-電子資源)

Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012 : proceedings.. Part I / by: (書目-電子資源)

Fun with algorithms = 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012 : proceedings / by: (書目-電子資源)

Sets, Logic and Maths for Computing by: (書目-電子資源)

Parallel problem solving from nature - PPSN XI = 11th International Conference, Krakow, Poland, September 11-15, 2010 : proceedings.. Part I / by: (書目-電子資源)

Mathematical morphology and its applications to image and signal processing = 10th international symposium, ISMM 2011, Verbania-Intra, Italy, July 6-8, 2011 : proceedings / by: (書目-電子資源)

The LLL algorithm = survey and applications / by: (書目-電子資源)

Digital watermarking = 7th international workshop, IWDW 2008, Busan, Korea, November 10-12, 2008 : selected papers / by: (書目-電子資源)

Logic, language, information and computation = 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings / by: (書目-電子資源)

Graph-theoretic concepts in computer science = 38th international workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012 : revised selcted papers / by: (書目-電子資源)

Rough sets, fuzzy sets, data mining and granular computing = 12th international conference, RSFDGrC 2009, Delhi, India, December 15-18, 2009 : proceedings / by: (書目-電子資源)

Emerging trends in visual computing = LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008 ; revised invited papers / by: (書目-電子資源)

Structural, syntactic, and statistical pattern recognition = joint IAPR international workshop, SSPR & SPR 2008, Orlando, USA, December 4-6, 2008, proceedings / by: (書目-電子資源)

Adaptive Scalarization Methods in Multiobjective Optimization by: (書目-電子資源)

Principles of distributed systems = 16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings / by: (書目-電子資源)

Sequences and their applications - SETA 2010 = 6th International Conference, Paris, France, September 13-17, 2010, proceedings / by: (書目-電子資源)

Game of Life cellular automata by: (書目-電子資源)

Mathematics and computation in music = second international conference, MCM 2009, John Clough Memorial Conference, New Haven, CT, USA, June 19 - 22, 2009 : proceedings / by: (書目-電子資源)

Algorithms and computation = 21st international symposium, ISAAC 2010, Jeju, Korea, December 15-17, 2010 : proceedings, part II / by: (書目-電子資源)

Implementation and application of automata = 16th international conference, CIAA 2011, Blois, France, July 13-16, 2011 : proceedings / by: (書目-電子資源)

Information hiding = 13th international conference, IH 2011, Prague, Czech Republic, May 18-20, 2011 : revised selected papers / by: (書目-電子資源)

Computing and Combinatorics = 15th Annual International Conference, COCOON 2009 Niagara Falls, NY, USA, July 13-15, 2009 Proceedings / by: (書目-電子資源)

Graph-based representations in pattern recognition = 7th IAPR-TC-15 international workshop, GbRPR 2009, Venice, Italy, May 26-28, 2009 : proceedings / by: (書目-電子資源)

Fast software encryption = 18th international workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011 : revised selected papers / by: (書目-電子資源)

Experimental and Efficient Algorithms = 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings / by: (書目-電子資源)

Comparative Genomics : = RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005, Proceedings by: (書目-電子資源)

Mathematical modeling and computational science = international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers / by: (書目-電子資源)

Extremal combinatorics = with applications in computer science / by: (書目-電子資源)

Cryptology and network security = 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010, proceedings / by: (書目-電子資源)

Sequences and their applications - SETA 2012 = 7th International Conference, Waterloo, ON, Canada, June 4-8, 2012 : proceedings / by: (書目-電子資源)

Transactions on computational science IX = special issue on voronoi diagrams in science and engineering / by: (書目-電子資源)

Research in Computational Molecular Biology = 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings / by: (書目-電子資源)

Discrete Geometry for Computer Imagery = 12th International Conference, DGCI 2005, Poitiers, France, April 11-13, 2005, Proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Selected Areas in Cryptography = 16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers / by: (書目-電子資源)

Public key cryptography - PKC 2012 = 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012 : proceedings / by: (書目-電子資源)

Algorithms in bioinformatics = 11th international workshop, WABI 2011, Saarbrucken, Germany, September 5-7, 2011 : proceedings / by: (書目-電子資源)

Progress in cryptology - AFRICACRYPT 2009 = Second International Conference on Cryptology in Africa, Gammarth, Tunisia, June 21 - 25, 2009 : Proceedings / by: (書目-電子資源)