-
Combinatorial optimization and applications : 15th international conference, COCOA 2021, Tianjin, China, December 17-19, 2021, proceedings
Computer science;Data structures (Computer science)
Du, Dingzhu - Springer 2021
-
Algorithmic aspects in information and management : 15th International Conference, AAIM 2021, Virtual event, December 20-22, 2021, Proceedings
Computer algorithms
Wu, Weili;Du, Hongwei - Springer 2021
-
Handbook of satisfiability
Propositional calculus;Decision making;Computer algorithms;Algebra, Boolean;e-böcker
Biere, Armin;Heule, Marijn;Maaren, Hans van;Walsh, Toby - IOS Press 2021 Second edition.
-
Constitution of algorithms : ground-truthing, programming, formulating, The
Algorithms
Jaton, Florian;Bowker, Geoffrey C - MIT Press 2021
-
Approximation and online algorithms : 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised selected papers
Approximation algorithms;Computer science;Online algorithms
Koenemann, Jochen;Peis, Britta - Springer 2021
-
Descriptional complexity of formal systems : 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual event, September 5, 2021, Proceedings
Machine theory
Ko, Sang-Ki;Han, Yo-Sub - Springer 2021
-
Topological phases of matter and quantum computation : AMS Special Session on Topological Phases of Matter and Quantum Computation, September 24-25, 2016, Brunswick, Maine
Quantum theory -- Quantum field theory; related classical field theories -- Axiomatic quantum field theory; operator algebras;Quantum theory -- Groups and algebras in quantum theory -- Quantum groups and related algebraic methods;Group theory and generalizations -- Linear algebraic groups and related topics;Category theory; homological algebra;Associative rings and algebras -- Modules, bimodules and ideals -- Module categories; module theory in a category-theoretic context; Morit;$K$-theory -- Higher algebraic $K$-theory -- Symmetric monoidal categories;Topological groups;Quantum groups;Quantum computing;Categories (Mathematics)
Bruillard, Paul;Plavnik, Julia;Ortiz Marrero, Carlos - American Mathematical Society 2020
-
Physique quantique, information et calcul : des concepts aux applications
Quantum computing;Quantum theory
Degiovanni, Pascal;Cabart, Clément;Portier, Natacha;Roussel, Benjamin - CNRS éditions 2020
-
Engines of Order : A Mechanology of Algorithmic Techniques
Computer software;Algorithms;Electronic books.
Rieder, Bernhard - Project MUSE 2020
-
Optimiseurs itératifs : mesures de difficulté et jeux d'essai
Mathematical optimization
Clerc, Maurice - ISTE Editions 2019
-
Design and analysis of algorithms : a contemporary perspective
Algorithms
Sen, Sandeep;Kumar, Amit - Cambridge University Press 2019
-
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Logic design;Software engineering;Computer science;Computer software;Artificial intelligence;Computer logic;Logics and Meanings of Programs;Software Engineering/Programming and Operating Systems;Mathematical Logic and Formal Languages;Algorithm Analysis and Problem Complexity;Logic in AI
Vojnar, Tomáš;Zhang, Lijun - Imprint: Springer 2019 1st ed. 2019.
-
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6â11, 2019, Proceedings, Part III
Logic design;Software engineering;Computer science;Computer industry;Computer system performance;Computer simulation;Logics and Meanings of Programs;Software Engineering/Programming and Operating Systems;Mathematical Logic and Formal Languages;The Computing Profession;System Performance and Evaluation;Simulation and Modeling
Beyer, Dirk;Huisman, Marieke;Kordon, Fabrice;Steffen, Bernhard - Imprint: Springer 2019 1st ed. 2019.
-
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Logic design;Computer science;Software engineering;Artificial intelligence;Computer system performance;Computer industry;Logics and Meanings of Programs;Mathematical Logic and Formal Languages;Software Engineering/Programming and Operating Systems;System Performance and Evaluation;The Computing Profession
Vojnar, Tomáš;Zhang, Lijun - Imprint: Springer 2019 1st ed. 2019.
-
Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms
Computer algorithms;Discrete mathematics and graph theory
Chan, Timothy M - Society for Industrial and Applied Mathematics (SIAM, 3600 Market Street, Floor 6, Philadelphia, PA 19104) 2019
-
Theory of games and economic behavior
Game theory;Economics, Mathematical
Von Neumann, John;Morgenstern, Oskar - Encyclopædia Universalis 2019
-
Algorithmic regulation
Algorithms;e-böcker
Yeung, Karen;Lodge, Martin - Oxford University Press 2019
-
Tensor numerical methods in scientific computing
Calculus of tensors
Khoromskij, Boris N - De Gruyter 2018
-
Tensor numerical methods in quantum chemistry
Calculus of tensors;Quantum chemistry;Tensor algebra
Khoromskaia, Venera;Khoromskij, Boris - De Gruyter 2018
-
Stratégies managériales et création de valeur : une approche par la théorie des jeux
Game theory
Hammoudi, Abdelhakim;Daidj, Nabyla - ISTE Editions 2018