Passer au contenu principal Passer au contenu du pied de page

Programs as Diagrams: From Categorical Computability to Computable Categories

Dusko Pavlovic

20 septembre 2023

145,95 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 730 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

252

Theory and Applications of Computability

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783031348266

Antenna Design by Simulation-Driven Optimization

Slawomir Koziel Couverture souple
80,50 $
2 formats offerts
Writing for Computer Science

Justin Zobel Couverture souple
80,50 $
3 formats offerts
Parallel Iterative Algorithms: From Sequential To Grid Computing

Jacques Mohcine Bahi Couverture souple
118,50 $
Programs as Diagrams: From Categorical Computability to Computable Categories

Dusko Pavlovic Couverture souple
94,95 $
Advances in Computational Intelligence and Its Applications

Sheikh Fahad Ahmad Couverture souple
78,50 $
2 formats offerts
Maple and Mathematica: A Problem Solving Approach for Mathematics

Inna K. Shingareva Couverture rigide
124,50 $
Connecting Discrete Mathematics and Computer Science

David Liben-Nowell Couverture rigide
85,95 $
Topics in Parallel and Distributed Computing: Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms

Sushil K. Prasad Couverture souple
87,95 $
3 formats offerts
An Invitation To Computational Homotopy

Graham Ellis Couverture souple
64,50 $
2 formats offerts
Introduction to Cloud Computing Performance Testing

Manish Dhote Couverture souple
68,95 $
Computational Algorithms for Fingerprint Recognition

Bir Bhanu Couverture souple
160,95 $
2 formats offerts
Action Research In Software Engineering: Theory And Applications

Miroslaw Staron Couverture souple
80,50 $
Parallel Algorithms In Computational Science And Engineering

Ananth Grama Couverture souple
204,50 $
Conformal Geometry: Computational Algorithms And Engineering Applications

Miao Jin Couverture souple
204,50 $
3 formats offerts
Model-driven Dependability Assessment Of Software Systems

Simona Bernardi Couverture souple
160,95 $
3 formats offerts
Parallel Algorithms In Computational Science And Engineering

Ananth Grama Couverture rigide
204,50 $
2 formats offerts
Computational Finance: An introductory course with R

Argimiro Arratia Couverture rigide
116,95 $
2 formats offerts
Handbook Of Probabilistic Models

Pijush Samui Couverture souple
288,95 $
2 formats offerts
Developing Bioinformatics Computer Skills: An Introduction To Software Tools For Biological Applications

Cynthia Gibas Couverture souple
56,99 $
Computational Interaction

Couverture rigide
104,50 $
2 formats offerts

Évaluation éditoriale

Auteur

Programs as Diagrams: From Categorical Computability to Computable Categories

Dusko Pavlovic Couverture souple
94,95 $
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Robert L. Carpenter Couverture souple
63,95 $
Selected Topics in Algebra: and its Interrelations with Logic, Number Theory and Algebraic Geometry

I. Bucur Couverture souple
160,95 $
Turing Computability: Theory And Applications

Robert I. Soare Couverture souple
94,95 $
2 formats offerts
Algebraic, Analytic, and Computational Number Theory and Its Applications

Couverture rigide
145,86 $
A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory

T. H. Tse Couverture souple
53,95 $
2 formats offerts
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Wolfgang Schreiner Couverture rigide
124,50 $
2 formats offerts
Foundations of Coding: Theory and Applications of Error-Correcting Codes with an Introduction to Cryptography and Information Theory

Jiri Adamek Couverture rigide
336,95 $
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

Henk Barendregt Couverture souple
25,95 $
Introduction to Cryptography with Mathematical Foundations and Computer Implementations

Alexander Stanoyevitch Couverture souple
110,95 $
Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Jacob T Schwartz Couverture souple
71,50 $
3 formats offerts
Semantics Of The Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, And Denotational Semantics

Dirk Draheim Couverture souple
189,95 $
2 formats offerts
Discrete Structure and Automata Theory for Learners: Learn Discrete Structure Concepts and Automata Theory with JFLAP (English Edition)

Sukhpreet Kaur Gill Couverture souple
25,95 $
2 formats offerts
Introduction to Languages, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

Alan P. Parkes Couverture souple
116,95 $
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Wolfgang Schreiner Couverture souple
87,95 $
Fundamentals Of Logic And Computation: With Practical Automated Reasoning And Verification

Zhe Hou Couverture rigide
94,95 $
2 formats offerts
Algorithmic Aspects Of Graph Connectivity

Hiroshi Nagamochi Couverture souple
65,95 $
2 formats offerts
Algorithmic Randomness And Complexity

Rodney G. Downey Couverture souple
160,95 $
2 formats offerts
Models of Computation: An Introduction to Computability Theory

Maribel Fernandez Couverture souple
72,95 $
Algorithms for Constructing Computably Enumerable Sets

Kenneth J. Supowit Couverture souple
94,95 $