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