SULJE VALIKKO

Lahjaksi
Löydä joulun ilo kirjoista
Onnea Finlandia-ehdokkaat!
Näistä puhumme juuri nyt!
Henkilökunta suosittelee
Kaunokirjallisuus
Kotimainen kaunokirjallisuus
Käännetty kaunokirjallisuus
Runous
Sarjakuvat
Mietelauseet
Pokkarit
Keltainen Kirjasto
Otavan kirjasto
Tietokirjallisuus
Elämänkerrat ja muistelmat
Yleistieto
Tietotekniikka
Ajoneuvot
Taide ja arkkitehtuuri
Käsityötaide
Historia
Yhteiskunta
Yritykset ja talous
Oikeustiede
Lääketiede
Kalenterit
Hyvinvointikirjat
Elämäntaito
Ihmissuhteet
Kauneus ja terveys
Psykologia
Lapset, vauvat, raskaus
Voimistelu
Harrastekirjat
Keittokirjat
Sisustus
Käsityöt
Talo ja piha
Puutarha ja kasvit
Urheilu ja ulkoilu
Matkakirjat
Eläimet
Musiikki
Valokuvaus
Metsästys ja kalastus
Lastenkirjat
Kuvakirjat
Oppi&ilo tuotteet kaikenikäisille
Nuortenkirjat
Selkokirjat
Lahjakortti
Tietoa verkkokaupasta
Akateeminen Kirjakauppa
akateeminen.com
Myymälät
Yhteystiedot
Uutiset

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Dirk Siefkes | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 14 tuotetta
Haluatko tarkentaa hakukriteerejä?



Decidable Theories - Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
DECIDABLE THEORIES - VOL. 1: BÜCHI`S MONADIC SECOND ORDER SUCCESSOR ARITHMETIC
Dirk Siefkes; Gert H. Müller
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1970)
Pehmeäkantinen kirja
25,40 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Pioniere der Informatik - Ihre Lebensgeschichte im Interview
PIONIERE DER INFORMATIK - IHRE LEBENSGESCHICHTE IM INTERVIEW
Dirk Siefkes; Anette Braun; Peter Eulenhöfer; Heike Stach; Klaus Städtler
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1998)
Kovakantinen kirja
28,40 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Pioniere der Informatik - Ihre Lebensgeschichte im Interview
PIONIERE DER INFORMATIK - IHRE LEBENSGESCHICHTE IM INTERVIEW
Dirk Siefkes; Anette Braun; Peter Eulenhöfer; Heike Stach; Klaus Städtler
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja
23,90 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formalisieren und Beweisen - Logik für Informatiker
FORMALISIEREN UND BEWEISEN - LOGIK FÜR INFORMATIKER
Dirk Siefkes
Springer Fachmedien Wiesbaden (1992)
Pehmeäkantinen kirja
64,50 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formalisieren und Beweisen - Logik für Informatiker
FORMALISIEREN UND BEWEISEN - LOGIK FÜR INFORMATIKER
Dirk Siefkes
Springer Fachmedien Wiesbaden (1990)
Pehmeäkantinen kirja
51,00 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Sozialgeschichte der Informatik - Kulturelle Praktiken und Orientierungen
SOZIALGESCHICHTE DER INFORMATIK - KULTURELLE PRAKTIKEN UND ORIENTIERUNGEN
Dirk Siefkes
Deutscher Universitatsverlag (1998)
Pehmeäkantinen kirja
41,90 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
GI-4.Jahrestagung - Berlin, 9.–12. Oktober 1974
GI-4.JAHRESTAGUNG - BERLIN, 9.–12. OKTOBER 1974
Dirk Siefkes
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1975)
Pehmeäkantinen kirja
46,40 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formale Methoden und kleine Systeme - Lernen, leben und arbeiten in formalen Umgebungen
FORMALE METHODEN UND KLEINE SYSTEME - LERNEN, LEBEN UND ARBEITEN IN FORMALEN UMGEBUNGEN
Dirk Siefkes
Springer Fachmedien Wiesbaden (1992)
Pehmeäkantinen kirja
69,00 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Büchi’s Monadic Second Order Successor Arithmetic
BÜCHI’S MONADIC SECOND ORDER SUCCESSOR ARITHMETIC
Dirk Siefkes
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1970)
Pehmeäkantinen kirja
46,40 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Finite Automata, Their Algebras and Grammars - Towards a Theory of Formal Expressions
FINITE AUTOMATA, THEIR ALGEBRAS AND GRAMMARS - TOWARDS A THEORY OF FORMAL EXPRESSIONS
J. Richard Büchi; Dirk Siefkes
Springer-Verlag New York Inc. (2012)
Pehmeäkantinen kirja
97,90 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Collected Works of J. Richard Büchi
THE COLLECTED WORKS OF J. RICHARD BÜCHI
J. Richard Büchi; Saunders Mac Lane; Dirk Siefkes
Springer-Verlag New York Inc. (2011)
Pehmeäkantinen kirja
49,60 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Collected Works of J. Richard Büchi
THE COLLECTED WORKS OF J. RICHARD BÜCHI
J. Richard Büchi; Saunders Mac Lane; Dirk Siefkes
Springer-Verlag New York Inc. (1989)
Kovakantinen kirja
78,50 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Sichtweisen der Informatik
SICHTWEISEN DER INFORMATIK
Wolfgang Coy; Frieder Nake; Reinhard Stransfeld; Jörg-Martin Pflüger; Arno Rolf; Jürgen Seetzen; Dirk Siefkes
Springer Fachmedien Wiesbaden (1992)
Pehmeäkantinen kirja
60,00 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Finite Automata, Their Algebras and Grammars - Towards a Theory of Formal Expressions
FINITE AUTOMATA, THEIR ALGEBRAS AND GRAMMARS - TOWARDS A THEORY OF FORMAL EXPRESSIONS
J Richard Büchi; Dirk Siefkes
Springer (2021)
Pehmeäkantinen kirja
115,80 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Decidable Theories - Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Dirk Siefkes, Gert H. Müller
25,40 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 134 sivua
Asu: Pehmeäkantinen kirja
Painos: 1970
Julkaisuvuosi: 1970, 01.01.1970 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Mathematics 120
Series: Lecture Notes in Mathematics

Volume: 120

Book description: N/A

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Decidable Theories - Vol. 1: Büchi`s Monadic Second Order Successor Arithmeticzoom
Näytä kaikki tuotetiedot
ISBN:
9783540049098
Aihealue:
Ulkomaiset kirjat » Mathematics » Logic
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste
Yhteystiedot
Toimitusehdot
Asiakaspalvelu
Tietosuojaseloste