-
Introduction to the theory of schemes
Schemes (Algebraic geometry);Sheaf theory;Geometry, Algebraic
Manin, I͡U. I - Springer 2018 1st ed. 2018.
-
Cohesive Subgraph Computation over Large Sparse Graphs : Algorithms, Data Structures, and Programming Techniques
Algorithms;Data structures (Computer scienc;Data Structures
Chang, Lijun;Qin, Lu - Imprint: Springer 2018 1st ed. 2018.
-
Aesthetics of interdisciplinarity : art and mathematics
Geometry;Mathematics;Design
Fenyvesi, Kristóf;Lähdesmäki, Tuuli - Boston 2017
-
Verifiable Composition of Signature and Encryption : A Comprehensive Study of the Design Paradigms
Data structures (Computer science);Computer science;Data Structures and Information Theory;Mathematics of Computing
El Aimani, Laila - Imprint: Springer 2017 1st ed. 2017.
-
Shape optimization and spectral theory
MATHEMATICS / Optimization
Henrot, Antoine - De Gruyter Open Poland 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