Mathematical theory of computation - Page №8
544 products
Paper book «Understanding Behaviour of Distributed Systems Using mCRL2», authors Jan Friso Groote, Muhammad Atif – фото №1
0
0
Understanding Behaviour of Distributed Systems Using mCRL2
Jan Friso Groote Jan Friso Groote, Muhammad Atif
Not available
Paper book «Modern Directional Statistics», authors Christophe Ley, Thomas Verdebout – фото №1
0
0
Modern Directional Statistics
Christophe Ley Christophe Ley, Thomas Verdebout
Not available
Paper book «Mathematical Foundations of Data Science», authors Bernhard Bermeitinger, Matthias Cetto, Siegfried Handschuh, Tomas Hrycej – фото №1
0
0
Mathematical Foundations of Data Science
Bernhard Bermeitinger Bernhard Bermeitinger, Matthias Cetto, Siegfried Handschuh, Tomas Hrycej
Not available
Paper book «Introduction to Computation: Haskell, Logic and Automata», authors Donald Sannella, Haoran Peng, Michael Furman, Philip Wadler – фото №1
0
0
Introduction to Computation: Haskell, Logic and Automata
Donald Sannella Donald Sannella, Haoran Peng, Michael Furman, Philip Wadler
Not available
Paper book «An Introduction to Kolmogorov Complexity and Its Applications», authors Ming Li, Paul Vitányi – фото №1
0
0
Not available
Paper book «Computational Thinking: A Perspective on Computer Science», authors Jialin Zhang, Zhiwei Xu – фото №1
0
0
Not available
Paper book «A Guide to Graph Algorithms», authors Mingyu Xiao, Ton Kloks – фото №1
0
0
A Guide to Graph Algorithms
Mingyu Xiao Mingyu Xiao, Ton Kloks
Not available
Paper book «Matheuristics: Algorithms and Implementations», authors Marco Antonio Boschetti, Thomas Stützle, Vittorio Maniezzo – фото №1
0
0
Matheuristics: Algorithms and Implementations
Marco Antonio Boschetti Marco Antonio Boschetti, Thomas Stützle, Vittorio Maniezzo
Not available
Paper book «Cluster Analysis and Applications», authors Francisco Martínez-Álvarez, Kristian Sabo, Rudolf Scitovski, Šime Ungar – фото №1
0
0
Cluster Analysis and Applications
Francisco Martínez-Álvarez Francisco Martínez-Álvarez, Kristian Sabo, Rudolf Scitovski, Šime Ungar
Not available
Paper book «Business Processes for Business Communities: Modeling Languages, Methods, Tools», authors Андреас Обервайс / Андреас Обервайс / , Франк Шёнталер / Франк Шонталер / , Gottfried Vossen, Томас Карле / Томас Карле /  – фото №1
0
0
Business Processes for Business Communities: Modeling Languages, Methods, Tools
Андреас Обервайс / Андреас Обервайс / Андреас Обервайс / Андреас Обервайс / , Франк Шёнталер / Франк Шонталер / , Gottfried Vossen, Томас Карле / Томас Карле /
Not available
Paper book «An Introduction to Metaheuristics for Optimization», authors Bastien Chopard, Marco Tomassini – фото №1
0
0
An Introduction to Metaheuristics for Optimization
Bastien Chopard Bastien Chopard, Marco Tomassini
Not available
Paper book «Pyomo — Optimization Modeling in Python», authors Bethany L. Nicholson, Carl D. Laird, David L. Woodruff, Gabriel A. Hackebeil, Jean-Paul Watson, John D. Siirola, Michael L. Bynum, William E. Hart – фото №1
0
0
Pyomo — Optimization Modeling in Python
Bethany L. Nicholson Bethany L. Nicholson, Carl D. Laird, David L. Woodruff, Gabriel A. Hackebeil, Jean-Paul Watson, John D. Siirola, Michael L. Bynum, William E. Hart
Not available
Paper book «Decidability of Logical Theories and Their Combination», authors Cristina Sernadas, João Rasga – фото №1
0
0
Decidability of Logical Theories and Their Combination
Cristina Sernadas Cristina Sernadas, João Rasga
Not available
Paper book «Pyomo — Optimization Modeling in Python», authors Bethany L. Nicholson, Carl D. Laird, David L. Woodruff, Gabriel A. Hackebeil, Jean-Paul Watson, John D. Siirola, Michael L. Bynum, William E. Hart – фото №1
0
0
Pyomo — Optimization Modeling in Python
Bethany L. Nicholson Bethany L. Nicholson, Carl D. Laird, David L. Woodruff, Gabriel A. Hackebeil, Jean-Paul Watson, John D. Siirola, Michael L. Bynum, William E. Hart
Not available
Paper book «Property Testing: Problems and Techniques», authors Arnab Bhattacharyya, Yuichi Yoshida – фото №1
0
0
Property Testing: Problems and Techniques
Arnab Bhattacharyya Arnab Bhattacharyya, Yuichi Yoshida
Not available
Paper book «Property Testing: Problems and Techniques», authors Arnab Bhattacharyya, Yuichi Yoshida – фото №1
0
0
Property Testing: Problems and Techniques
Arnab Bhattacharyya Arnab Bhattacharyya, Yuichi Yoshida
Not available
Paper book «Introduction to Parallel Computing: From Algorithms to Programming on State-of-the-Art Platforms», authors Borut Robič, Boštjan Slivnik, Patricio Bulić, Roman Trobec – фото №1
0
0
Introduction to Parallel Computing: From Algorithms to Programming on State-of-the-Art Platforms
Borut Robič Borut Robič, Boštjan Slivnik, Patricio Bulić, Roman Trobec
Not available
Paper book «Fundamentals of Quantum Programming in IBM's Quantum Computers», authors Athanasios V. Vasilakos, Weng-Long Chang – фото №1
0
0
Fundamentals of Quantum Programming in IBM's Quantum Computers
Athanasios V. Vasilakos Athanasios V. Vasilakos, Weng-Long Chang
Not available
Paper book «Practical Optimization: Algorithms and Engineering Applications», authors Andreas Antoniou, Wu-Sheng Lu – фото №1
0
0
Practical Optimization: Algorithms and Engineering Applications
Andreas Antoniou Andreas Antoniou, Wu-Sheng Lu
Not available
Paper book «Linear Programming Using MATLAB®», authors Nikolaos Ploskas, Nikolaos Samaras – фото №1
0
0
Linear Programming Using MATLAB®
Nikolaos Ploskas Nikolaos Ploskas, Nikolaos Samaras
Not available
Paper book «Visual Saliency: From Pixel-Level to Object-Level Analysis», authors Filip Malmberg, Jianming Zhang, Stan Sclaroff – фото №1
0
0
Visual Saliency: From Pixel-Level to Object-Level Analysis
Filip Malmberg Filip Malmberg, Jianming Zhang, Stan Sclaroff
Not available
Paper book «Formal Languages and Compilation», authors Angelo Morzenti, Luca Breveglieri, Stefano Crespi Reghizzi – фото №1
0
0
Formal Languages and Compilation
Angelo Morzenti Angelo Morzenti, Luca Breveglieri, Stefano Crespi Reghizzi
Not available
Paper book «Learning with Uncertainty», authors Junhai Zhai, Xizhao Wang – фото №1
0
0
Learning with Uncertainty
Junhai Zhai Junhai Zhai, Xizhao Wang
Not available
Paper book «Machine Learning: Algorithms and Applications», authors Eihab Bashier Mohammed Bashier, Mohssen Mohammed, Muhammad Badruddin Khan – фото №1
0
0
Machine Learning: Algorithms and Applications
Eihab Bashier Mohammed Bashier Eihab Bashier Mohammed Bashier, Mohssen Mohammed, Muhammad Badruddin Khan
Not available
Paper book «Constructive Fractional Analysis with Applications», author George A. Anastassiou – фото №1
0
0
Constructive Fractional Analysis with Applications
George A. Anastassiou George A. Anastassiou
Not available
Paper book «High-Speed 3D Imaging with Digital Fringe Projection Techniques», author Song Zhang – фото №1
Paper book «Observer Design for Control and Fault Diagnosis of Boolean Networks», author Zhihua Zhang – фото №1
Paper book «Words and Their Meaning», author Howard Jackson – фото №1
0
0
Words and Their Meaning
Howard Jackson Howard Jackson
Not available
Paper book «Electromagnetics, Control and Robotics: A Problems & Solutions Approach», author Harish Parthasarathy – фото №1
0
0
Not available
Paper book «High-Performance Algorithms for Mass Spectrometry-Based Omics», authors Fahad Saeed, Muhammad Haseeb – фото №1
0
0
Not available
Paper book «Algebraic Graph Algorithms: A Practical Guide Using Python», author K. Erciyes – фото №1
0
0
Not available
Paper book «Computability», author George Tourlakis – фото №1
0
0
Computability
George Tourlakis George Tourlakis
Not available
Paper book «Concise Guide to Software Engineering: From Fundamentals to Application Methods», author Gerard O'Regan – фото №1
Paper book «Planetary Spacecraft Navigation», author James Miller – фото №1
0
0
Planetary Spacecraft Navigation
James Miller James Miller
Not available
Paper book «Quaternions for Computer Graphics», author John Vince – фото №1
0
0
Not available
Paper book «Foundation Mathematics for Computer Science: A Visual Approach», author John Vince – фото №1
Paper book «Quaternions for Computer Graphics», author John Vince – фото №1
0
0
Not available
Paper book «Constructive Fractional Analysis with Applications», author George A. Anastassiou – фото №1
0
0
Constructive Fractional Analysis with Applications
George A. Anastassiou George A. Anastassiou
Not available
Paper book «Additive Cellular Automata: Theory and Applications, Volume 1», authors Dipanwita Roy Chowdhury, Parimal Pal Chaudhuri, Santanu Chattopadhyay, Sukumar Nandi – фото №1
0
0
Additive Cellular Automata: Theory and Applications, Volume 1
Dipanwita Roy Chowdhury Dipanwita Roy Chowdhury, Parimal Pal Chaudhuri, Santanu Chattopadhyay, Sukumar Nandi
Not available
Paper book «Mathematics of Quantum Computing: An Introduction», author Wolfgang Scherer – фото №1
0
0
Mathematics of Quantum Computing: An Introduction
Wolfgang Scherer Wolfgang Scherer
Not available
Paper book «Principles of the Spin Model Checker», author Mordechai Ben-Ari – фото №1
0
0
Principles of the Spin Model Checker
Mordechai Ben-Ari Mordechai Ben-Ari
Not available
Paper book «Computational Physics: Problem Solving with Python», authors Cristian C. Bordeianu, Manuel J. Páez, Rubin H. Landau – фото №1
0
0
Computational Physics: Problem Solving with Python
Cristian C. Bordeianu Cristian C. Bordeianu, Manuel J. Páez, Rubin H. Landau
Not available
Paper book «Mathematics for Computer Graphics», author John Vince – фото №1
0
0
Not available
Paper book «On the Concentration Properties of Interacting Particle Processes», authors Limin Wu, Peng Hu, Pierre Del Moral – фото №1
0
0
On the Concentration Properties of Interacting Particle Processes
Limin Wu Limin Wu, Peng Hu, Pierre Del Moral
Not available
Paper book «Pedigree Polytopes: New Insights on Computational Complexity of Combinatorial Optimisation Problems», author Tirukkattuppalli Subramanyam Arthanari – фото №1
0
0
Pedigree Polytopes: New Insights on Computational Complexity of Combinatorial Optimisation Problems
Tirukkattuppalli Subramanyam Arthanari Tirukkattuppalli Subramanyam Arthanari
Not available
Paper book «Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations», authors Michael Plum, Mitsuhiro T. Nakao, Yoshitaka Watanabe – фото №1
0
0
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Michael Plum Michael Plum, Mitsuhiro T. Nakao, Yoshitaka Watanabe
Not available
Paper book «Computability», author George Tourlakis – фото №1
0
0
Computability
George Tourlakis George Tourlakis
Not available