Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering Forlænget returret til 31/01/25

Sidst søgt på

Bliv medlem
Du er ikke logget ind

Log ind Opret dig

Bliv medlem

Bøger
E-bøger
Lydbøger
Podcasts
Medlemskaber
- Alle medlemskaber
Inspiration
Jul 2024
- Julegaver efter tema
- Bøger til julen
Bestsellere
Erhverv
Kundeservice

Log ind Opret dig

Forfatter
Sofiène Tahar

Alle bøger af Sofiène Tahar

Alle tilgængelige bogudgivelser af Sofiène Tahar på Saxo. Vi har 3 titler forfattet af Sofiène Tahar, tilgængelig her på shoppen, se udvalget nedenfor.

Filtrér resultat

Type
- Bøger (3)
Format
- Paperback (2)
- Hardback (1)
Sprog
- Engelsk (3)
Tags
- Computer architecture & logic design (3)
- Computer programming / software engineering (2)
- Mathematical logic (2)
- Mathematical theory of computation (2)
- Verification (2)
- Theorem proving (2)
- Modeling (1)
- Computer systems (1)
- Programming (1)
- Automated deduction (1)
- Logic design (1)
- D programming language (1)
- Software engineering (1)
- Stochastic analysis (1)
- Automatic theorem proving (1)
- Programming language (1)
- Hardware verification (1)
- Unification (1)
- Theorem provers (1)
- Formal verification (1)
- Formal methods (1)
- Probability & Statistics (1)
- Artificial intelligence (1)
- Algorithms & data structures (1)
- Information technology: general issues (1)
- Evaluation (1)
- Programming & scripting languages: general (1)
- Systems analysis & design (1)
- Model-checking (1)
- Semantics (1)
- Proving (1)
- Data processing (1)
- Higher-order logic (1)
- Computer science (1)
- Proof theory (1)
Forlag
- Springer-verlag Berlin And Heidelberg Gmbh & Co. K (2)
- Information Science Reference (1)

Ryd alle

Der er 3 produkter fra din søgning

Filtrér
Sorter efter

Sorter efter

- Theorem Proving in Higher Order Logics
- Bog, paperback
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Theorem Proving in Higher Order Logics
- Bog, paperback
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Formalized Probability Theory and Applications Using Theorem Proving
- Sofiène Tahar & Osman Hasan
- Bog, hardback
- Læs mere
- kr. 2.219,95
- kr. 1.934,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 2.219,95
- kr. 1.934,95
  med Shopping-fordele

I Saxo elsker vi bøger, og alt det bøger kan betyde for dig og for samfundet. I over 20 år har vi arbejdet for at inspirere dig til at se nye sider af bøger – og måske af livet – hver dag. Sammen med vores kunder og UNICEF gør vi en indsats for, at alle verdens børn skal lære at læse. Vi vil gøre det så nemt som muligt for dig at læse, lytte til og udgive bøger i alle afskygninger - fra forfatteren får sin første idé til du som læser vender den sidste side. Læs Lyt Lev.

Administrér samtykke

Kontakt & hjælp

Saxo.com A/S (CVR: 29197849)

Telefon: (+45) 38150510

Email: info@saxo.com

Sociale medier

facebook
instagram
linkedin
youtube

Nem betaling

Tekst, grafik, billeder, lyd og andet indhold på dette website er beskyttet efter lov om ophavsret. Saxo.com A/S forbeholder sig alle rettigheder til indholdet, på egne og udgiveres vegne, herunder retten til at udnytte indholdet med henblik på tekst- og datamining, jf. ophavsretslovens § 11 b og DSM-direktivets artikel 4.

Kontakt os
Om Saxo
Presse
Karriere i Saxo
Adresser
Følg din ordre
Gavekort
Returnering
Cookiepolitik
Cookiedeklaration
Persondatapolitik
Salgsbetingelser

Bliv medlem af Saxo
Bøger i Saxos app
Bøger
Lydbøger
E-bøger
Studiebøger
Erhvervskunder
Saxo for UNICEF
Nye bogtitler
Saxo Publish

Boginspiration

Indtast din e-mail

Saxo.com må gerne kontakte mig via e-mail, sms og telefon med tilpassede nyheder og tilbud på print og digitale produkter og tjenester, lyd-, streaming-, kultur- og underholdningstilbud, arrangementer samt mulighed for deltagelse i konkurrencer o.l. fra Saxo.com og fra udvalgte brands og koncernselskaber i JP/Politikens Hus A/S. Listen med brands og koncernselskaber kan løbende opdateres, så der altid præsenteres relevante og aktuelle nyheder og tilbud.

Med mit samtykke accepterer jeg også, at Saxo.com må behandle mine persondata og indsamle information om min interaktion med markedsføringsmeddelelser (såsom åbning og læsning) ved hjælp af tracking pixels og lignende teknologier. Læs mere i vores privatlivspolitik og cookiepolitik.

Samtykket kan altid tilbagekaldes via afmeldingslink eller ved at kontakte kundeservice.

Machine Name: SAXO081