Visar resultat för...

Computer Science Foundations and Applied Logic

21 produkter
William M. Farmer - Simple Type Theory, Inbunden

Simple Type Theory

Av William M. Farmer

Inbunden, Engelska, 2023

1 729 kr

Slutsåld
William M. Farmer - Simple Type Theory, Häftad

Simple Type Theory

Av William M. Farmer

Häftad, Engelska, 2024

999 kr

Skickas inom 7-10 vardagar
Kenneth J. Supowit - Algorithms for Constructing Computably Enumerable Sets, Inbunden

Algorithms for Constructing Computably Enumerable Sets

Av Kenneth J. Supowit

Inbunden, Engelska, 2023

999 kr

Skickas inom 7-10 vardagar
Kenneth J. Supowit - Algorithms for Constructing Computably Enumerable Sets, Häftad

Algorithms for Constructing Computably Enumerable Sets

Av Kenneth J. Supowit

Häftad, Engelska, 2024

939 kr

Skickas inom 7-10 vardagar
Raimund Ubar, Jaan Raik, Maksim Jenihhin, Artur Jutman - Structural Decision Diagrams in Digital Test, Inbunden

Structural Decision Diagrams in Digital Test

Av Raimund Ubar, Jaan Raik, Maksim Jenihhin, Artur Jutman

Inbunden, Engelska, 2024

3 649 kr

Skickas inom 7-10 vardagar
Raimund Ubar, Jaan Raik, Maksim Jenihhin, Artur Jutman - Structural Decision Diagrams in Digital Test, Häftad

Structural Decision Diagrams in Digital Test

Av Raimund Ubar, Jaan Raik, Maksim Jenihhin, Artur Jutman

Häftad, Engelska, 2025

3 649 kr

Skickas inom 7-10 vardagar
Eike Best, Raymond Devillers - Petri Net Primer, Inbunden

Petri Net Primer

Av Eike Best, Raymond Devillers

Inbunden, Engelska, 2024

1 319 kr

Skickas inom 7-10 vardagar
Eike Best, Raymond Devillers - Petri Net Primer, Häftad

Petri Net Primer

Av Eike Best, Raymond Devillers

Häftad, Engelska, 2025

999 kr

Skickas inom 7-10 vardagar
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles - Guide to Software Verification with Frama-C, Inbunden

Guide to Software Verification with Frama-C

Av Nikolai Kosmatov, Virgile Prevosto, Julien Signoles

Inbunden, Engelska, 2024

939 kr

Skickas inom 5-8 vardagar
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles - Guide to Software Verification with Frama-C, Häftad

Guide to Software Verification with Frama-C

Av Nikolai Kosmatov, Virgile Prevosto, Julien Signoles

Häftad, Engelska, 2025

839 kr

Skickas inom 7-10 vardagar
Shuichi Yukita - Category Theory Using Haskell, Inbunden

Category Theory Using Haskell

Av Shuichi Yukita

Inbunden, Engelska, 2024

3 239 kr

Skickas inom 7-10 vardagar
Evgeny Kagan, Alexander Rybalov, Ronald Yager - Multi-valued Logic for Decision-Making Under Uncertainty, Inbunden

Multi-valued Logic for Decision-Making Under Uncertainty

Av Evgeny Kagan, Alexander Rybalov, Ronald Yager

Inbunden, Engelska, 2025

3 239 kr

Skickas inom 7-10 vardagar
William M. Farmer - Simple Type Theory, Inbunden

Simple Type Theory

Av William M. Farmer

Inbunden, Engelska, 2025

1 239 kr

Skickas inom 7-10 vardagar
  • Nyhet
Luis Enrique Sucar - Causal Discovery, Inbunden

Causal Discovery

Av Luis Enrique Sucar

Inbunden, Engelska, 2025

1 809 kr

Kommande
Edna Ernestine Kramer - Nature and Growth of Modern Mathematics, Häftad

Nature and Growth of Modern Mathematics

Av Edna Ernestine Kramer

Häftad, Engelska, 1983

1 849 kr

Skickas inom 5-8 vardagar
Mircea Pitici - Best Writing on Mathematics 2018, Häftad

Best Writing on Mathematics 2018

Av Mircea Pitici

Häftad, Engelska, 2018

269 kr

Skickas inom 5-8 vardagar
Wei Li - Mathematical Logic, Inbunden
Del 25 - Progress in Computer Science and Applied Logic

Mathematical Logic

Av Wei Li

Inbunden, Engelska, 2014

709 kr

Skickas inom 7-10 vardagar
Juliette Kennedy, Ruy J.G.B. de Queiroz, Ruy J. G. B. de Queiroz - Logic, Language, Information, and Computation, Häftad

Logic, Language, Information, and Computation

Av Juliette Kennedy, Ruy J.G.B. de Queiroz, Ruy J. G. B. de Queiroz

Häftad, Engelska, 2017

729 kr

Skickas inom 7-10 vardagar