-
Engines of Order : A Mechanology of Algorithmic Techniques
Computer software;Algorithms;Electronic books.
Rieder, Bernhard - Project MUSE 2020 new
-
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. new
-
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. new
-
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. new
-
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 new
-
Tensor analysis for engineers : transformations and applications
Calculus of tensors;e-böcker
Tabatabaian, Mehrzad - Mercury Learning and Information 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
Snider, Robert F - De Gruyter 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
-
Frontiers of dynamic games : game theory and management, St. Petersburg, 2017
Game theory;Electronic book;Conference papers and proceedings;kokousjulkaisut
Mazalov, V. V;Petrosi︠a︡n, L. A;Zenkevich, N. A - Birkhäuser 2018
-
Handbook of heuristics
Algorithms;Heuristic algorithms;Electronic book;Handbooks and manuals
Martí, Rafael;Pardalos, P. M;Resende, Mauricio G. C - Springer 2018
-
Clifford analysis and related topics : in honor of Paul A. M. Dirac, CART 2014, Tallahassee, Florida, December 15-17
Clifford algebras;Electronic book;Conference papers and proceedings;kokousjulkaisut
Cerejeiras, Paula;Dirac, P. A. M;Nolder, Craig;Ryan, John;Vanegas Espinoza, Carmen Judith - Springer 2018
-
Motivic integration
Motives (Mathematics);Electronic book
Chambert-Loir, Antoine;Nicaise, Johannes;Sebag, Julien - Birkhäuser 2018