-
Aesthetics of interdisciplinarity : art and mathematics
Geometry;Mathematics;Design
Fenyvesi, Kristóf;Lähdesmäki, Tuuli - Boston 2017
-
Complex systems : theory and applications
Computational complexity;System analysis;System theory
Martinez, Rebecca - Nova Science Publishers, Inc. 2017
-
Genetic algorithms : advances in research and applications
Genetic algorithms
Carson, Julia - Nova Science Publishers, Inc. 2017
-
Data structures and transmission : research, technology and applications
Data structures (Computer science);Data transmission systems
Barlow, Mackenzie - Nova Science Publishers, Inc. 2017
-
Approximation and online algorithms : 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25-26, 2016, Revised selected papers
Approximation algorithms;Online algorithms;Conference papers and proceedings
Jansen, Klaus;Mastrolilli, Monaldo - Springer 2017
-
Logic and its applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Logic, Symbolic and mathematical;Conference papers and proceedings
Ghosh, Sujata;Prasad, Sanjiva - Springer 2017
-
Applied logic for computer scientists : computational deduction and formal proofs
Computer logic;Computer science
Ayala-Rincón, M;Moura, Flávio L. C. de - Springer 2017
-
Small dynamic complexity classes : an investigation into dynamic descriptive complexity
Computational complexity
Zeume, Thomas - Springer 2017
-
WALCOM : algorithms and computation : 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29?31, 2017, proceedings
Computer algorithms;Conference papers and proceedings
Poon, Sheung-Hung;Rahman, Md. Saidur;Yen, Hsu-Chun - Springer 2017
-
Language and automata theory and applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
Formal languages;Machine theory;Mathematical linguistics;Conference papers and proceedings
Drewes, Frank;Martín Vide, Carlos;Truthe, Bianca - Springer 2017
-
Logic, language, and computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised selected papers
Computational linguistics;Computer logic;Programming languages (Electronic computers);Conference papers and proceedings
Hansen, Helle Hvid;Murray, Sarah E;Sadrzadeh, Mehrnoosh;Zeevat, Henk - Springer 2017
-
Evolutionary multi-criterion optimization : 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings
Evolutionary computation;Mathematical optimization;Conference papers and proceedings
Grimme, Christian;Jin, Yaochu;Klamroth, Kathrin;Rudolph, Günter;Schütze, Oliver;Trautmann, Heike;Wiecek, Margaret - Springer 2017
-
Applications of evolutionary computation : 20th European Conference, EvoApplications 2017, Amsterdam, the Netherlands, April 19-21, 2017, Proceedings. Part II
Evolutionary computation;Conference papers and proceedings
Sim, Kevin;Squillero, Giovanni - Springer 2017
-
Process algebras for Petri nets : the alphabetization of distributed systems
Computer algorithms;Electronic data processing;Parallel processing (Electronic computers);Petri nets
Gorrieri, Roberto - Springer 2017
-
Outlier ensembles : an introduction
Computer algorithms;Data mining
Aggarwal, Charu C;Sathe, Saket - Springer 2017
-
Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers
Formal methods (Computer science);Object-oriented methods (Computer science);Conference papers and proceedings
Duan, Zhenhua;Liu, Shaoying;Nagoya, Fumiko;Tian, Cong - Springer 2017
-
Algorithms and Complexity : 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings
Algorithms;Computer science;Data structures (Computer science)
Fotakis, Dimitris;Pagourtzis, Aris;Paschos, Vangelis Th - Springer 2017
-
Cellular automata and discrete complex systems : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
Cellular automata;Computer science;Conference papers and proceedings
Dennunzio, Alberto;Formenti, Enrico;Manzoni, Luca;Porreca, Antonio E - Springer 2017
-
Digital logic for computing
Computer logic
Seiffertt, John - Springer 2017
-
Frontiers in algorithmics : 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings
Computer algorithms;Conference papers and proceedings
Rosamond, Frances;Xiao, Mingyu - Springer 2017
Select
BookNavigator
BookNavigator
Computer ScienceTheory of Computation