Discrete Mathematics in Computer Science.
概要
| 作品: | 226 作品在 224 項出版品 224 種語言 | |
|---|---|---|
書目資訊
Graph drawing[electronic resource] :19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Curves and surfaces[electronic resource] :7th International Conference, Avignon, France, June 24 - 30, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Cryptography and security[electronic resource] :from theory to applications : essays dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Foundations of information and knowledge systems[electronic resource] :7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
LATIN 2012: Theoretical informatics[electronic resource] :10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Fun with algorithms[electronic resource] :6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Image Analaysis[electronic resource] :15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012. Proceedings /
by:
(書目-語言資料,印刷品)
Comparative genomics[electronic resource] :international workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Computational geometry and graph theory[electronic resource] :international conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007 ; revised selected papers /
by:
(書目-語言資料,印刷品)
Multiobjective optimization[electronic resource] :interactive and evolutionary approaches /
by:
(書目-語言資料,印刷品)
Research in cryptology[electronic resource] :second western European workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007 : revised selected papers /
by:
(書目-語言資料,印刷品)
Semantics in data and knowledge bases[electronic resource] :third international workshop, SDKB 2008, Nantes, France, March 29, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
Simulated evolution and learning[electronic resource] :9th international conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Internet and network economics[electronic resource] :8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and computation[electronic resource] :23rd international symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Cryptology and network security[electronic resource] :11th international conference, CANS 2012, Darmstadt, Germany, December 12-14, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Principles of distributed systems[electronic resource] :16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial algorithms[electronic resource] :23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Parallel problem solving from nature - PPSN XI[electronic resource] :11th International Conference, Krakow, Poland, September 11-15, 2010 : proceedings.Part II /
by:
(書目-語言資料,印刷品)
Parallel problem solving from nature - PPSN XI[electronic resource] :11th International Conference, Krakow, Poland, September 11-15, 2010 : proceedings.Part I /
by:
(書目-語言資料,印刷品)
Integer programming and combinatorial optimization[electronic resource] :17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Fun with algorithms[electronic resource] :7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Frontiers in algorithmics[electronic resource] :8th International Workshop, FAW 2014, Zhangjiajie, China, June 28-30, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Developments in language theory[electronic resource] :18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical software - ICMS 2014[electronic resource] :4th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Theoretical computer science[electronic resource] :8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms in bioinformatics[electronic resource] :14th International Workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms - ESA 2014[electronic resource] :22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial pattern matching[electronic resource] :25th annual symposium, CPM 2014, Moscow, Russia, June 16-18, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms for computational biology[electronic resource] :first International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014 : proceedigns /
by:
(書目-語言資料,印刷品)
Experimental algorithms[electronic resource] :13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 - July 1, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithm theory - SWAT 2014[electronic resource] :14th candinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Deontic logic and normative systems[electronic resource] :12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming[electronic resource] :41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part I /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming[electronic resource] :41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part II /
by:
(書目-語言資料,印刷品)
Clusters, orders, and trees[electronic resource] :methods and applications : in honor of Boris Mirkin's 70th birthday /
by:
(書目-語言資料,印刷品)
Computing and combinatorics[electronic resource] :20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Graph transformation[electronic resource] :7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Computers and games[electronic resource] :8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Combinatorial optimization[electronic resource] :third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Descriptional complexity of formal systems[electronic resource] :16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Pristine perspectives on logic, language, and computation[electronic resource] :ESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers /
by:
(書目-語言資料,印刷品)
Advances in cryptology - CRYPTO 2014[electronic resource] :34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014 : proceedings.Part I /
by:
(書目-語言資料,印刷品)
Advances in cryptology - CRYPTO 2014[electronic resource] :34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014 : proceedings.Part II /
by:
(書目-語言資料,印刷品)
Logic and its applications[electronic resource] :6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and discrete applied mathematics[electronic resource] :first International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications[electronic resource] :9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
WALCOM[electronic resource] :algorithms and computation : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Arithmetic of finite fields[electronic resource] :5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Big data integration theory[electronic resource] :theory and methods of database mappings, programming languages, and semantics /
by:
(書目-語言資料,印刷品)
Algorithms and computation[electronic resource] :8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications[electronic resource] :8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Foundations of information and knowledge systems[electronic resource] :8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Theory of cryptography[electronic resource] :11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical tools for data mining[electronic resource] :set theory, partial orders, combinatorics /
by:
(書目-語言資料,印刷品)
LATIN 2014[electronic resource] :theoretical informatics : 11th Latin American Symposium, Montevideo, Uruguay, March 31-April 4, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Descriptional complexity of formal systems[electronic resource] :17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial algorithms[electronic resource] :25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Frontiers in algorithmics[electronic resource] :9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematics of program construction[electronic resource] :12th International Conference, MPC 2015, Konigswinter, Germany, June 29 - July 1, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial pattern matching[electronic resource] :26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 - July 1, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Experimental algorithms[electronic resource] :14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Computing and combinatorics[electronic resource] :21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming[electronic resource] :42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part II /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming[electronic resource] :42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part I /
by:
(書目-語言資料,印刷品)
Operators for similarity search[electronic resource] :semantics, techniques and usage scenarios /
by:
(書目-語言資料,印刷品)
Graph transformation[electronic resource] :8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction in geometry[electronic resource] :10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Developments in language theory[electronic resource] :19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Data Structures[electronic resource] :14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in cryptology - CRYPTO 2015[electronic resource] :35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015 : proceedings.Part I /
by:
(書目-語言資料,印刷品)
Advances in cryptology - CRYPTO 2015[electronic resource] :35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015 : proceedings.Part II /
by:
(書目-語言資料,印刷品)
Fundamentals of computation theory[electronic resource] :20th International Symposium, FCT 2015, Gdansk, Poland, August 17-19, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in spatial and temporal databases[electronic resource] :14th International Symposium, SSTD 2015, Hong Kong, China, August 26-28, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Curves and surfaces[electronic resource] :8th International Conference, Paris, France, June 12-18, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Combinatorics on words[electronic resource] :10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms in bioinformatics[electronic resource] :15th International Workshop, WABI 2015, Atlanta, GA, USA, September 10-12, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algebraic informatics[electronic resource] :6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing[electronic resource] :17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Geometric science of information[electronic resource] :second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms - ESA 2015[electronic resource] :23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, rationality, and interaction[electronic resource] :5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and computation[electronic resource] :26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial optimization and applications[electronic resource] :9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Cryptography and coding[electronic resource] :15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in computer games[electronic resource] :14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Combinatorial image analysis[electronic resource] :17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Trusted systems[electronic resource] :6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
WALCOM[electronic resource] :Algorithms and Computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Genetic programming[electronic resource] :19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Trusted systems[electronic resource] :7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
LATIN 2016[electronic resource] :theoretical informatics : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Discrete geometry for computer imagery[electronic resource] :19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Integer programming and combinatorial optimization[electronic resource] :18th International Conference, IPCO 2016, Liege, Belgium, June 1-3, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Experimental algorithms[electronic resource] :15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Hybrid metaheuristics[electronic resource] :10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Theory of cryptography[electronic resource] :13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016 : proceedings.Part II /
by:
(書目-語言資料,印刷品)
Descriptive set theoretic methods in automata theory[electronic resource] :decidability and topological complexity /
by:
(書目-電子資源)
Map framework[electronic resource] :a formal model of maps as a fundamental data type in information systems /
by:
(書目-電子資源)
Optimization by GRASP[electronic resource] :greedy randomized adaptive search procedures /
by:
(書目-電子資源)
Innovations for community services[electronic resource] :16th International Conference, I4CS 2016, Vienna, Austria, June 27-29, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
主題