Passer au contenu principal Passer au contenu du pied de page

Introduction To Computation: Haskell, Logic And Automata

Donald Sannella , Michael Fourman , Haoran Peng

20 janvier 2022

55,50 $

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 278 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

366

Undergraduate Topics in Computer Science

Publié par: Springer Nature

Dimensions à l’expédition: 11" H x 8" W x 1" L

ISBN: 9783030769079

Latin 2002: Theoretical Informatics: 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings

Sergio Rajsbaum Couverture souple
160,95 $
Chinese Computational Linguistics: 20th China National Conference, Ccl 2021, Hohhot, China, August 13-15, 2021, Proceedings

Sheng Li Couverture souple
80,50 $
2 formats offerts
Bioinformatics Research and Applications: 20th International Symposium, ISBRA 2024, Kunming, China, July 19-21, 2024, Proceedings, Part III

Wei Peng Couverture souple
80,50 $
2 formats offerts
Bioinformatics Research and Applications: 20th International Symposium, ISBRA 2024, Kunming, China, July 19-21, 2024, Proceedings, Part II

Wei Peng Couverture souple
72,95 $
Bioinformatics Research and Applications: 20th International Symposium, ISBRA 2024, Kunming, China, July 19-21, 2024, Proceedings, Part III

Wei Peng Couverture souple
72,95 $
Computational Intelligence In Data Mining: Proceedings Of The International Conference On Cidm 2017

Himansu Sekhar Behera Couverture souple
321,50 $
2 formats offerts
Multidisciplinary Information Retrieval: 6th Information Retrieval Facility Conference, IRFC 2013, Limassol, Cyprus, October 7-9, 2013, Proceedings

Mihai Lupu Couverture souple
72,95 $
Bioinformatics Research and Applications: 20th International Symposium, ISBRA 2024, Kunming, China, July 19-21, 2024, Proceedings, Part I

Wei Peng Couverture souple
131,50 $
2 formats offerts
Bioinformatics Research and Applications: 20th International Symposium, ISBRA 2024, Kunming, China, July 19-21, 2024, Proceedings, Part I

Wei Peng Couverture souple
72,95 $
Bioinformatics Research and Applications: 20th International Symposium, ISBRA 2024, Kunming, China, July 19-21, 2024, Proceedings, Part II

Wei Peng Couverture souple
131,50 $
2 formats offerts
Computational Intelligence In Data Mining: Proceedings Of The International Conference On Iccidm 2018

Himansu Sekhar Behera Couverture souple
364,95 $
2 formats offerts
Computational Intelligence in Analytics and Information Systems: 2-volume set

Parneeta Dhaliwal Couverture rigide
547,95 $
Bioinformatics Research and Application: 7th International Symposium, ISBRA 2011, Changsha, China, May 27-29, 2011, Proceedings

Jianer Chen Couverture souple
80,50 $
Geometries, Codes And Cryptography

Couverture souple
71,50 $
Topics in Theoretical Computer Science: Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Mohammad Reza Mousavi Couverture souple
80,50 $
2 formats offerts
Computational Intelligence In Data Mining: Proceedings Of The International Conference On Cidm, 10-11 December 2016

Himansu Sekhar Behera Couverture souple
554,95 $
2 formats offerts
Algorithms and Discrete Applied Mathematics: 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings

Subrahmanyam Kalyanasundaram Couverture souple
109,50 $
2 formats offerts
Computational Linguistics and Intelligent Text Processing: 13th International Conference, CICLing 2012, New Delhi, India, March 11-17, 2012, Proceedings, Part II

Alexander Gelbukh Couverture souple
80,50 $
Dictionary of Computing (2015): Updated with the latest technologies

Handz Valentin Couverture souple
15,95 $
LATIN 2022: Theoretical Informatics: 15th Latin American Symposium, Guanajuato, Mexico, November 7-11, 2022, Proceedings

Armando Castañeda Couverture souple
145,95 $
2 formats offerts

Évaluation éditoriale

Auteur

Boolean Functions and Computation Models

Peter Clote Couverture souple
159,50 $
2 formats offerts
A Recursive Introduction to the Theory of Computation

Carl Smith Couverture souple
80,50 $
2 formats offerts
Introduction to Lattice Theory with Computer Science Applications

Vijay K. Garg Couverture rigide
133,70 $
2 formats offerts
Automata And Computability

Dexter C. Kozen Couverture souple
80,50 $
2 formats offerts
Ethical And Secure Computing: A Concise Module

Joseph Migga Kizza Couverture souple
62,95 $
4 formats offerts
Verification of Reactive Systems: Formal Methods and Algorithms

Klaus Schneider Couverture souple
80,50 $
Algorithms for Constructing Computably Enumerable Sets

Kenneth J. Supowit Couverture rigide
94,95 $
2 formats offerts
Concise Guide To Quantum Computing: Algorithms, Exercises, And Implementations

Sergei Kurgalin Couverture rigide
102,50 $
2 formats offerts
Handbook of Mathematical Models in Computer Vision

Nikos Paragios Couverture souple
160,95 $
2 formats offerts
Models of Computation: An Introduction to Computability Theory

Maribel Fernandez Couverture souple
72,95 $
Theory of Computation

Dexter C. Kozen Couverture souple
159,50 $
Introduction To Compiler Design

Torben Ægidius Mogensen Couverture souple
72,95 $
7 formats offerts
Introduction to the Theory of Programming Languages

Gilles Dowek Couverture souple
58,50 $
2 formats offerts
Algorithms for Constructing Computably Enumerable Sets

Kenneth J. Supowit Couverture souple
94,95 $
Fundamentals of Cryptography: Introducing Mathematical and Algorithmic Foundations

Duncan Buell Couverture souple
65,95 $
2 formats offerts
Extremal Combinatorics: With Applications in Computer Science

Stasys Jukna Couverture souple
90,95 $
2 formats offerts
Introduction To Concurrency Theory: Transition Systems And Ccs

Roberto Gorrieri Couverture souple
80,50 $
2 formats offerts
Metamathematics, Machines and Gödel's Proof

N. Shankar Couverture souple
63,95 $
Computational Methods For Deep Learning: Theoretic, Practice And Applications

Wei Qi Yan Couverture rigide
90,50 $
4 formats offerts
Formal Methods For Software Engineering: Languages, Methods, Application Domains

Markus Roggenbach Couverture rigide
124,50 $
2 formats offerts