Boolean | Booky.fi

Math for Programming

Kneusel, Ronald T.
Random House LLC US
2025
Pehmeäkantinen kirja

43,40 €

Elemente Der Diskreten Mathematik - Zahlen Und Zählen, Gruppen, Graphen, Ordnungen, Verbände Und Schaltkreise

Diekert, Volker; Kufleitner, Manfred; Rosenberger, Gerhard; Hertrampf, Ulrich
De Gruyter
2026
Pehmeäkantinen kirja

82,50 €

Handbook of Parallel Constraint Reasoning

Hamadi, Youssef; Sais, Lakhdar
Springer
2018
Kovakantinen kirja

137,30 €

Elements of Discrete Mathematics - Numbers and Counting, Groups, Graphs, Orders and Lattices

Volker Diekert; Manfred Kufleitner; Gerhard Rosenberger; Ulrich Hertrampf
De Gruyter
2023
Pehmeäkantinen kirja

90,00 €

Compilation for Secure Multi-party Computation

Büscher, Niklas; Katzenbeisser, Stefan
Springer
2017
Pehmeäkantinen kirja

61,10 €

Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, Novembe

Davis, Martin; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja

51,10 €

Cryptography and Coding - 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings

Groth, Jens
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Diagrammatic Representation and Inference - 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 201

Jamnik, Mateja; Uesaka, Yuri; Elzer Schwartz, Stephanie
Springer International Publishing AG
2016
Pehmeäkantinen kirja

66,10 €

Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups

Wehrung, Friedrich
Springer
2017
Pehmeäkantinen kirja

51,10 €

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

Czelakowski, Janusz
Springer
2018
Kovakantinen kirja

120,90 €

Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September

Simonis, Helmut
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

137,30 €

Warum vier?

Freise, Katja; Freise, Matthias
Brill I Fink
2026
Kovakantinen kirja

107,50 €

Theory and Practice of Natural Computing - Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proc

Dediu, Adrian-Horia; Magdalena, Luis; Martín-Vide, Carlos
Springer International Publishing AG
2015
Pehmeäkantinen kirja

41,20 €

Research in History and Philosophy of Mathematics : The CSHPM 2016 Annual Meeting in Calgary, Alberta

Zack, Maria; Schlimm, Dirk
Birkhäuser
2017
Kovakantinen kirja

100,90 €

WoLFram - A Word Level Framework for Formal Verification and its Application

Sülflow, André
Shaker Verlag
2010
Pehmeäkantinen kirja

79,60 €

The Congruences of a Finite Lattice : A "Proof-by-Picture" Approach

Grätzer, George
Birkhäuser
2016
Kovakantinen kirja

51,10 €

Introduction to Digital Systems Design

Donzellini, Giuliano; Oneto, Luca; Ponta, Domenico; Anguita, Davide
Springer
2018
Kovakantinen kirja

91,00 €

Logic Functions and Equations - Binary Models for Computer Science

Posthoff, Christian; Steinbach, Bernd
Springer Nature Switzerland AG
2019
Kovakantinen kirja

149,10 €

Visual Saliency: From Pixel-Level to Object-Level Analysis

Zhang, Jianming; Malmberg, Filip; Sclaroff, Stan
Springer
2019
Pehmeäkantinen kirja

51,10 €

Inductive Logic Programming - 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Pa

Davis, Jesse; Ramon, Jan
Springer International Publishing AG
2015
Pehmeäkantinen kirja

49,20 €