-
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
-
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
-
Irreducible cartesian tensors
Calculus of tensors;e-böcker
Snider, Robert F - De Gruyter 2018
-
GLOBAL Optimization Algorithm : Newly Updated with Java Implementation and Parallelization, The
Mathematical optimization;Computer science;Global analysis (Mathematics);Calculus of Variations and Optimal Control; Optimization;Mathematics of Computing;Operations Research, Management Science;Analysis
Bánhelyi, Balázs;Csendes, Tibor;Lévai, Balázs;Pál, László;Zombori, Dániel - Imprint: Springer 2018 1st ed. 2018.
-
Multi-agent optimization : Cetraro, Italy 2014
Mathematical optimization
Nedić, Angelia - Fondazione CIME Roberto Conti 2018 1st ed. 2018.
-
Introduction to finite tight frames, An
Finite groups;Frames (Vector analysis);Electronic book
Waldron, Shayne - Birkhäuser 2018
-
Tensor Eigenvalues and their applications
Calculus of tensors;Eigenvalues;Electronic book
Qi, Liqun;Chen, Haibin;Chen, Yannan - Springer 2018
-
Introduction to the theory of schemes
Geometry, Algebraic;Sheaf theory;Electronic book
Manin, Yuri I - Springer 2018
-
Practical mathematical optimization : basic optimization theory and gradient-based algorithms
Algorithms;Computer programming;Mathematical optimization;Numerical analysis;Programming (Mathematics);Functions of real variables;Electronic book
Snyman, Jan A;Wilke, Daniel N - Springer 2018 Second edition.
-
Flag varieties : an interplay of geometry, combinatorics, and representation theory
Flag manifolds;Geometry, Algebraic;Representations of groups;Schubert varieties;Semisimple Lie groups;Electronic book
Lakshmibai, V;Brown, Justin - Springer 2018 Second edition.
-
Geometric algebra invitation to space-time physics, robotics and molecular geometry, A
Clifford algebras;Electronic book
Lavor, Carlile;Xambó-Descamps, S;Zaplana, Isiah - Springer 2018