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 /
…で:
(言語・文字資料 (印刷物))
Curves and surfaces[electronic resource] :7th International Conference, Avignon, France, June 24 - 30, 2010 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Topics in Cryptology - CT-RSA 2012[electronic resource] :the Cryptographers' Track at the RSA Conference 2012, San Francisco, CA, USA, February 27 - March 2, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Mathematical modeling and computational science[electronic resource] :international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Cryptography and security[electronic resource] :from theory to applications : essays dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday /
…で:
(言語・文字資料 (印刷物))
Latent variable analysis and signal separation[electronic resource] :10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Parameterized and exact computation[electronic resource] :6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Foundations of information and knowledge systems[electronic resource] :7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Approximation and online algorithms[electronic resource] :9th International Workshop, WAOA 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Evolutionary computation in combinatorial optimization[electronic resource] :12th European Conference, EvoCOP 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Mathematical modelling and scientific computation[electronic resource] :International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
LATIN 2012: Theoretical informatics[electronic resource] :10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Fun with algorithms[electronic resource] :6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
How the world computes[electronic resource] :Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Advances in information and computer security[electronic resource] :7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Combinatorial Image Analaysis[electronic resource] :15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012. Proceedings /
…で:
(言語・文字資料 (印刷物))
Comparative genomics[electronic resource] :international workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computational geometry and graph theory[electronic resource] :international conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007 ; revised selected papers /
…で:
(言語・文字資料 (印刷物))
Multiobjective optimization[electronic resource] :interactive and evolutionary approaches /
…で:
(言語・文字資料 (印刷物))
Research in cryptology[electronic resource] :second western European workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Semantics in data and knowledge bases[electronic resource] :third international workshop, SDKB 2008, Nantes, France, March 29, 2008 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Simulated evolution and learning[electronic resource] :9th international conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Design and analysis of algorithms [electronic resource] :First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Internet and network economics[electronic resource] :8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Progress in cryptology - INDOCRYPT 2012[electronic resource] :13th International Conference on Cryptology in India, Kolkata, India, December 9-12, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Algorithms and computation[electronic resource] :23rd international symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Cryptology and network security[electronic resource] :11th international conference, CANS 2012, Darmstadt, Germany, December 12-14, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Principles of distributed systems[electronic resource] :16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Combinatorial algorithms[electronic resource] :23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Parallel problem solving from nature - PPSN XI[electronic resource] :11th International Conference, Krakow, Poland, September 11-15, 2010 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Parallel problem solving from nature - PPSN XI[electronic resource] :11th International Conference, Krakow, Poland, September 11-15, 2010 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Integration of AI and OR techniques in constraint programming[electronic resource] :11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Integer programming and combinatorial optimization[electronic resource] :17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Fun with algorithms[electronic resource] :7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Frontiers in algorithmics[electronic resource] :8th International Workshop, FAW 2014, Zhangjiajie, China, June 28-30, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Developments in language theory[electronic resource] :18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Mathematical software - ICMS 2014[electronic resource] :4th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Evolutionary computation in combinatorial optimisation[electronic resource] :14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Mathematical foundations of computer science 2014[electronic resource] :39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Mathematical foundations of computer science 2014[electronic resource] :39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.part I /
…で:
(言語・文字資料 (印刷物))
Theoretical computer science[electronic resource] :8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Algorithms in bioinformatics[electronic resource] :14th International Workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Algorithms - ESA 2014[electronic resource] :22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computer science - theory and applications[electronic resource] :9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Combinatorial pattern matching[electronic resource] :25th annual symposium, CPM 2014, Moscow, Russia, June 16-18, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Algorithms for computational biology[electronic resource] :first International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014 : proceedigns /
…で:
(言語・文字資料 (印刷物))
Algorithmic aspects in information and management[electronic resource] :10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Experimental algorithms[electronic resource] :13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 - July 1, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Approximation and online algorithms[electronic resource] :11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 5-6, 2013 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Algorithm theory - SWAT 2014[electronic resource] :14th candinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Deontic logic and normative systems[electronic resource] :12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Automata, languages, and programming[electronic resource] :41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Automata, languages, and programming[electronic resource] :41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Clusters, orders, and trees[electronic resource] :methods and applications : in honor of Boris Mirkin's 70th birthday /
…で:
(言語・文字資料 (印刷物))
Graph-based representation and reasoning[electronic resource] :21st International Conference on Conceptual Structures, ICCS 2014, Iasi, Romania, July 27-30, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computing and combinatorics[electronic resource] :20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Graph transformation[electronic resource] :7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computers and games[electronic resource] :8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Combinatorial optimization[electronic resource] :third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Learning and intelligent optimization[electronic resource] :8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Structural information and communication complexity[electronic resource] :21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Descriptional complexity of formal systems[electronic resource] :16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Diagrammatic representation and inference[electronic resource] :8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Pristine perspectives on logic, language, and computation[electronic resource] :ESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers /
…で:
(言語・文字資料 (印刷物))
Advances in cryptology - CRYPTO 2014[electronic resource] :34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Advances in cryptology - CRYPTO 2014[electronic resource] :34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Logic and its applications[electronic resource] :6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Algorithms and discrete applied mathematics[electronic resource] :first International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Language and automata theory and applications[electronic resource] :9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
WALCOM[electronic resource] :algorithms and computation : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Arithmetic of finite fields[electronic resource] :5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Big data integration theory[electronic resource] :theory and methods of database mappings, programming languages, and semantics /
…で:
(言語・文字資料 (印刷物))
Graph structures for knowledge representation and reasoning[electronic resource] :third International Workshop, GKR 2013, Beijing, China, August 3, 2013 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Algorithms and computation[electronic resource] :8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Language and automata theory and applications[electronic resource] :8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Foundations of information and knowledge systems[electronic resource] :8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Theory of cryptography[electronic resource] :11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Mathematical methods for curves and surfaces[electronic resource] :8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Mathematical tools for data mining[electronic resource] :set theory, partial orders, combinatorics /
…で:
(言語・文字資料 (印刷物))
LATIN 2014[electronic resource] :theoretical informatics : 11th Latin American Symposium, Montevideo, Uruguay, March 31-April 4, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Algorithms and complexity[electronic resource] :9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015 : proceedings /
…で:
(コンピュータ・メディア)
Formal concept analysis[electronic resource] :13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings /
…で:
(コンピュータ・メディア)
Descriptional complexity of formal systems[electronic resource] :17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Combinatorial algorithms[electronic resource] :25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Frontiers in algorithmics[electronic resource] :9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Mathematics of program construction[electronic resource] :12th International Conference, MPC 2015, Konigswinter, Germany, June 29 - July 1, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Combinatorial pattern matching[electronic resource] :26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 - July 1, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Experimental algorithms[electronic resource] :14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Finite difference methods, theory and applications[electronic resource] :6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Computing and combinatorics[electronic resource] :21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Cellular automata and discrete complex systems[electronic resource] :21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Automata, languages, and programming[electronic resource] :42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Automata, languages, and programming[electronic resource] :42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Operators for similarity search[electronic resource] :semantics, techniques and usage scenarios /
…で:
(言語・文字資料 (印刷物))
Graph transformation[electronic resource] :8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Automated deduction in geometry[electronic resource] :10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Constructive side-channel analysis and secure design[electronic resource] :6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Developments in language theory[electronic resource] :19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Algorithms and Data Structures[electronic resource] :14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
DNA computing and molecular programming[electronic resource] :21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Advances in cryptology - CRYPTO 2015[electronic resource] :35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Advances in cryptology - CRYPTO 2015[electronic resource] :35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Fundamentals of computation theory[electronic resource] :20th International Symposium, FCT 2015, Gdansk, Poland, August 17-19, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Advances in spatial and temporal databases[electronic resource] :14th International Symposium, SSTD 2015, Hong Kong, China, August 26-28, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Advances in information and computer security[electronic resource] :10th International Workshop on Security, IWSEC 2015, Nara, Japan, August 26-28, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Latent variable analysis and signal separation[electronic resource] :12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Curves and surfaces[electronic resource] :8th International Conference, Paris, France, June 12-18, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Machines, computations, and universality[electronic resource] :7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Combinatorics on words[electronic resource] :10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Mathematical foundations of computer science 2015[electronic resource] :40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Algorithms in bioinformatics[electronic resource] :15th International Workshop, WABI 2015, Atlanta, GA, USA, September 10-12, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Algebraic informatics[electronic resource] :6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Logic programming and nonmonotonic reasoning[electronic resource] :13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computer algebra in scientific computing[electronic resource] :17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Geometric science of information[electronic resource] :second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Structural information and communication complexity[electronic resource] :22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015 : post-proceedings /
…で:
(言語・文字資料 (印刷物))
Progress in cryptology - INDOCRYPT 2015[electronic resource] :16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Algorithms - ESA 2015[electronic resource] :23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Logic, rationality, and interaction[electronic resource] :5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Algorithms and computation[electronic resource] :26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Combinatorial optimization and applications[electronic resource] :9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Algorithms and models for the web graph[electronic resource] :12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Cryptography and coding[electronic resource] :15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Logic-based program synthesis and transformation[electronic resource] :25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Advances in computer games[electronic resource] :14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Combinatorial image analysis[electronic resource] :17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Trusted systems[electronic resource] :6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Approximation and online algorithms[electronic resource] :13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Algorithms and discrete applied mathematics[electronic resource] :second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
WALCOM[electronic resource] :Algorithms and Computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Genetic programming[electronic resource] :19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Evolutionary computation in combinatorial optimization[electronic resource] :16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Selected areas in cryptography - SAC 2015[electronic resource] :22nd International Conference, Sackville, NB, Canada, August 12-14, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Trusted systems[electronic resource] :7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
LATIN 2016[electronic resource] :theoretical informatics : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Discrete geometry for computer imagery[electronic resource] :19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Integer programming and combinatorial optimization[electronic resource] :18th International Conference, IPCO 2016, Liege, Belgium, June 1-3, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Experimental algorithms[electronic resource] :15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Information security and cryptology[electronic resource] :11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Hybrid metaheuristics[electronic resource] :10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Theory of cryptography[electronic resource] :13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Topics in theoretical computer science[electronic resource] :the first IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Algorithmic aspects of cloud computing[electronic resource] :first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Language and automata theory and applications[electronic resource] :10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Algorithms for computational biology[electronic resource] :third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Implementation and application of automata[electronic resource] :21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Algorithmic aspects in information and management[electronic resource] :11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Mathematical software - ICMS 2016[electronic resource] :5th International Conference, Berlin, Germany, July 11-14, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Computing and combinatorics[electronic resource] :22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Fast software encryption[electronic resource] :23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016 : revised selected papers /
…で:
(コンピュータ・メディア)
Developments in language theory[electronic resource] :20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Algorithms in bioinformatics[electronic resource] :16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016 : proceedings /
…で:
(コンピュータ・メディア)
DNA computing and molecular programming[electronic resource] :22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Combinatorial algorithms[electronic resource] :27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Parallel problem solving from nature - PPSN XIV[electronic resource] :14th International Conference, Edinburgh, UK, September 17-21, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Descriptive set theoretic methods in automata theory[electronic resource] :decidability and topological complexity /
…で:
(コンピュータ・メディア)
Graph-theoretic concepts in computer science[electronic resource] :41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers /
…で:
(コンピュータ・メディア)
Guide to discrete mathematics[electronic resource] :an accessible introduction to the history, theory, logic and applications /
…で:
(コンピュータ・メディア)
Combinatorial Optimization[electronic resource] :4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016 : revised selected papers /
…で:
(コンピュータ・メディア)
Computer algebra in scientific computing[electronic resource] :18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Graphical models for security[electronic resource] :third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016 : revised selected papers /
…で:
(コンピュータ・メディア)
Map framework[electronic resource] :a formal model of maps as a fundamental data type in information systems /
…で:
(コンピュータ・メディア)
Theory of cryptography[electronic resource] :14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016 : proceedings.Part I /
…で:
(コンピュータ・メディア)
Theory of cryptography[electronic resource] :14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016 : proceedings.Part II /
…で:
(コンピュータ・メディア)
Optimization by GRASP[electronic resource] :greedy randomized adaptive search procedures /
…で:
(コンピュータ・メディア)
Innovations for community services[electronic resource] :16th International Conference, I4CS 2016, Vienna, Austria, June 27-29, 2016 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Discrete and computational geometry and graphs[electronic resource] :18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Swarm intelligence based optimization[electronic resource] :second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Learning and intelligent optimization[electronic resource] :10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Graph drawing and network visualization[electronic resource] :24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
System modeling and optimization[electronic resource] :27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
主題