Γ
Haku: 31 tulosta hakuehdolla "automatic theorem proving, lisp (computer program language)" – Bookshop Siirry sisältöön

Ostoskorisi on tyhjä

Jatka ostoksia

Onko sinulla tili?

Kirjaudu sisään tarkistaaksesi nopeammin.

Ostoskorisi 0

Ladataan...

Välisumma

€0,00 EUR

Näytä ostoskori (0)
Jatka ostoksia
  • Alennusmyynti
  • Lahjaideoita
    • Funko POP!
    • Kangaspussit
    • Tuoksukynttilät
    • Palapelit ja pelit
    • Kupit ja termospullot
    • Pehmolelut
    • Moleskine-muistikirjat
  • TOP-kirjat
  • Kaunokirjallisuus
    • Kauhukirjallisuus
    • Rakkausromaanit
    • Rikosromaanit ja jännityskirjat
      • Rikosromaanit ja jännityskirjat
      • Jännityselokuvat
      • Etsivät
      • Rikosromaanit
    • Fantasia
      • Fantasiaproosa
      • Eepos
      • Huuhtelu
      • Keijut
      • Lohikäärmeet
    • Tieteiskirjallisuus
      • Tieteiskirjallisuus
      • Toiminta ja seikkailut
      • Selviytyminen
      • Matka ajassa
      • Robotit
      • Utopiat ja dystopiat
    • Runous ja draama
      • Runous ja draama
      • Runous
      • Draama
      • Kirjallisuus
  • Ei-kaunokirjallinen
    • Liiketoiminta ja raha
      • Liiketoiminta ja talous
      • Pienyritykset
      • Johtaminen
      • Johtajuus
      • Menestys liiketoiminnassa
      • Markkinointi ja myynti
      • Strateginen suunnittelu
      • Hankkeiden hallinta
    • Elämäkerrat ja muistelmat
      • Elämäkerrat
      • Autobiografia
    • Psykologia ja itsensä kehittäminen
      • Psykologia
      • Henkilökohtainen kehittyminen
      • Miesten ja naisten väliset suhteet
      • Itsensä toteuttaminen
      • Isyys
      • Onnellisuus ja hyvinvointi
      • Psykoterapia
      • Mielenterveys
      • Itseaputekniikat
      • Psyykkinen trauma
    • Historia ja yhteiskunta
      • Historia
      • Muinaiset sivilisaatiot
      • Keskiaika
      • 1900-luku
      • Neuvostoliitto ja Venäjä
      • Holokausti
      • Maailmansodat
      • Maailmanhistoria
      • Historiografia
      • Sosiaalihistoria
      • Sotahistoria
      • Arkeologia
    • Hengellisyys
      • Uskonto ja hengellisyys
      • Raamattu
      • Juutalaisuus
      • Kristinusko
      • Buddhalaisuus
    • Politiikka ja yhteiskunta
      • Politiikka ja yhteiskunta
      • Sosiologia
      • Feminismi
      • Ihmisoikeudet
      • Terrorismi
      • Sosiaalinen media
    • Filosofia
      • Etiikka
      • Estetiikka
      • Nykyaikainen filosofia
      • Antiikin filosofia
  • Sarjakuvat ja manga
    • Sarjakuvat
    • Manga
    • Supersankarit
  • Lapsille
    • Kuvakirjat
    • Lasten satuja
    • Lelukirjat ja liikkuvat kirjat
    • Tutustumiskierros lapsille
    • Lasten runoutta
  • Vapaa-aika ja koti
    • Ravitsemus
    • Keittokirjat
    • Jooga
    • Autot
    • Shakmatit
    • Puutarhanhoito
    • Käsityöt
    • Matkailu
      • Matkakuvaukset
      • Matkailuoppaat
      • Atlasit ja kartat
  • Tiede ja terveys
    • Tiede ja luonto
      • Matematiikka
      • Kemia
      • Biologia ja eläimet
      • Ilmastonmuutos
      • Ekologia
      • Kasvitiede
      • Geologia
      • Geneetikot
      • Kosmologia
    • Lääketiede
      • Sairaudet ja hoito
      • Sisätaudit
      • Kirurgia
      • Hoito-oppaat
      • Aivot
      • Farmakologia
    • Teknologia ja IT
      • Tietojen käsittely
      • Tekniikka
      • Tekoäly
      • Tietokoneverkot
      • Internet
      • Tietoturva
      • Ohjelmointi
    • Laki
      • Kansainvälinen oikeus
      • Rikosoikeus
      • Perustuslakioikeus
      • Aineeton omaisuus
    • Koulutus
      • Opiskelijoiden kirjat
      • Koulut
      • Korkea-asteen koulutus ja opetus
      • Kasvatuspsykologia
      • Erityisopetus
    • Kielten oppiminen
      • Englanti
      • Espanjan kieli
      • Ranskan kieli
      • Saksan kieli
      • Kielitiede
      • Sanakirjat
  • Ohje
Kirjaudu sisään

Maa/alue

  • Latvia EUR €
  • Liettua EUR €
  • Puola PLN zł
  • Suomi EUR €
  • Viro EUR €
    Bookshop
    • Alennusmyynti
    • Lahjaideoita
      • Funko POP!
      • Kangaspussit
      • Tuoksukynttilät
      • Palapelit ja pelit
      • Kupit ja termospullot
      • Pehmolelut
      • Moleskine-muistikirjat
    • TOP-kirjat
    • Kaunokirjallisuus
      • Kauhukirjallisuus
      • Rakkausromaanit
      • Rikosromaanit ja jännityskirjat
        • Rikosromaanit ja jännityskirjat
        • Jännityselokuvat
        • Etsivät
        • Rikosromaanit
      • Fantasia
        • Fantasiaproosa
        • Eepos
        • Huuhtelu
        • Keijut
        • Lohikäärmeet
      • Tieteiskirjallisuus
        • Tieteiskirjallisuus
        • Toiminta ja seikkailut
        • Selviytyminen
        • Matka ajassa
        • Robotit
        • Utopiat ja dystopiat
      • Runous ja draama
        • Runous ja draama
        • Runous
        • Draama
        • Kirjallisuus
    • Ei-kaunokirjallinen
      • Liiketoiminta ja raha
        • Liiketoiminta ja talous
        • Pienyritykset
        • Johtaminen
        • Johtajuus
        • Menestys liiketoiminnassa
        • Markkinointi ja myynti
        • Strateginen suunnittelu
        • Hankkeiden hallinta
      • Elämäkerrat ja muistelmat
        • Elämäkerrat
        • Autobiografia
      • Psykologia ja itsensä kehittäminen
        • Psykologia
        • Henkilökohtainen kehittyminen
        • Miesten ja naisten väliset suhteet
        • Itsensä toteuttaminen
        • Isyys
        • Onnellisuus ja hyvinvointi
        • Psykoterapia
        • Mielenterveys
        • Itseaputekniikat
        • Psyykkinen trauma
      • Historia ja yhteiskunta
        • Historia
        • Muinaiset sivilisaatiot
        • Keskiaika
        • 1900-luku
        • Neuvostoliitto ja Venäjä
        • Holokausti
        • Maailmansodat
        • Maailmanhistoria
        • Historiografia
        • Sosiaalihistoria
        • Sotahistoria
        • Arkeologia
      • Hengellisyys
        • Uskonto ja hengellisyys
        • Raamattu
        • Juutalaisuus
        • Kristinusko
        • Buddhalaisuus
      • Politiikka ja yhteiskunta
        • Politiikka ja yhteiskunta
        • Sosiologia
        • Feminismi
        • Ihmisoikeudet
        • Terrorismi
        • Sosiaalinen media
      • Filosofia
        • Etiikka
        • Estetiikka
        • Nykyaikainen filosofia
        • Antiikin filosofia
    • Sarjakuvat ja manga
      • Sarjakuvat
      • Manga
      • Supersankarit
    • Lapsille
      • Kuvakirjat
      • Lasten satuja
      • Lelukirjat ja liikkuvat kirjat
      • Tutustumiskierros lapsille
      • Lasten runoutta
    • Vapaa-aika ja koti
      • Ravitsemus
      • Keittokirjat
      • Jooga
      • Autot
      • Shakmatit
      • Puutarhanhoito
      • Käsityöt
      • Matkailu
        • Matkakuvaukset
        • Matkailuoppaat
        • Atlasit ja kartat
    • Tiede ja terveys
      • Tiede ja luonto
        • Matematiikka
        • Kemia
        • Biologia ja eläimet
        • Ilmastonmuutos
        • Ekologia
        • Kasvitiede
        • Geologia
        • Geneetikot
        • Kosmologia
      • Lääketiede
        • Sairaudet ja hoito
        • Sisätaudit
        • Kirurgia
        • Hoito-oppaat
        • Aivot
        • Farmakologia
      • Teknologia ja IT
        • Tietojen käsittely
        • Tekniikka
        • Tekoäly
        • Tietokoneverkot
        • Internet
        • Tietoturva
        • Ohjelmointi
      • Laki
        • Kansainvälinen oikeus
        • Rikosoikeus
        • Perustuslakioikeus
        • Aineeton omaisuus
      • Koulutus
        • Opiskelijoiden kirjat
        • Koulut
        • Korkea-asteen koulutus ja opetus
        • Kasvatuspsykologia
        • Erityisopetus
      • Kielten oppiminen
        • Englanti
        • Espanjan kieli
        • Ranskan kieli
        • Saksan kieli
        • Kielitiede
        • Sanakirjat
    • Ohje
    Kirjaudu sisään Kärry

    Maa/alue

    • Latvia EUR €
    • Liettua EUR €
    • Puola PLN zł
    • Suomi EUR €
    • Viro EUR €

    Toimitus 5–10 päivän kuluessa valitsemaasi postiautomaattiin, ilmaiseksi 23 €:n ostoksista alkaen

    Hakutulokset

    • The Little Prover

      The Little Prover

      Myynti

      The Little Prover

      Myyjä:
      Daniel P. Friedman
      Normaali hinta €53,14
      Myyntihinta €53,14 Normaali hinta €55,25
      Yksikköhinta /  per 
      Myynti
    • Book cover of: Lisp in Small Pieces. By: Christian Queinnec

      Lisp in Small Pieces

      Myynti

      Lisp in Small Pieces

      Myyjä:
      Christian Queinnec
      Normaali hinta €112,55
      Myyntihinta €112,55 Normaali hinta €116,50
      Yksikköhinta /  per 
      Myynti
    • Book cover of: AutoCADET's Guide to Visual LISP. By: Bill Kramer

      The AutoCADET's Guide to Visual LISP

      Myynti

      The AutoCADET's Guide to Visual LISP

      Myyjä:
      Bill Kramer
      Normaali hinta €72,53
      Myyntihinta €72,53 Normaali hinta €75,24
      Yksikköhinta /  per 
      Myynti
    • Book cover of: Symbolic Computation and Automated Reasoning. By: Michael Kohlhase

      Symbolic Computation and Automated Reasoning

      Myynti

      Symbolic Computation and Automated Reasoning

      Myyjä:
      Michael Kohlhase
      Normaali hinta €116,18
      Myyntihinta €116,18 Normaali hinta €120,24
      Yksikköhinta /  per 
      Myynti
    • Book cover of: Mathematical Reasoning with Diagrams. By: Mateja Jamnik

      Mathematical Reasoning with Diagrams

      Myynti

      Mathematical Reasoning with Diagrams

      Myyjä:
      Mateja Jamnik
      Normaali hinta €80,26
      Myyntihinta €80,26 Normaali hinta €99,42
      Yksikköhinta /  per 
      Myynti

    • Automated Theorem Proving

      Myynti

      Automated Theorem Proving

      Myyjä:
      Special Session on Automatic Theorem Proving (1983 Denver, Colo.)
      Normaali hinta €69,51
      Myyntihinta €69,51 Normaali hinta €72,13
      Yksikköhinta /  per 
      Myynti
    • Book cover of: Automated Technology for Verification and Analysis. By: Bernd Finkbeiner

      Automated Technology for Verification and Analysis

      Myynti

      Automated Technology for Verification and Analysis

      Myyjä:
      Bernd Finkbeiner
      Normaali hinta €55,55
      Myyntihinta €55,55 Normaali hinta €57,74
      Yksikköhinta /  per 
      Myynti
    • Book cover of: Structure and Interpretation of Computer Programs. By: Harold Abelson

      Structure and Interpretation of Computer Programs

      Myynti

      Structure and Interpretation of Computer Programs

      Myyjä:
      Harold Abelson
      Normaali hinta €88,30
      Myyntihinta €88,30 Normaali hinta €91,50
      Yksikköhinta /  per 
      Myynti
    • Book cover of: Structure and Interpretation of Computer Programs

      Structure and Interpretation of Computer Programs

      Myynti

      Structure and Interpretation of Computer Programs

      Myyjä:
      Harold (Massachusetts Institute of Technology) Abelson
      Normaali hinta €93,15
      Myyntihinta €93,15 Normaali hinta €96,50
      Yksikköhinta /  per 
      Myynti
    • Book cover of: Systemic Text Generation as Problem Solving. By: Terry Patten

      Systemic Text Generation as Problem Solving

      Myynti

      Systemic Text Generation as Problem Solving

      Myyjä:
      Terry Patten
      Normaali hinta €45,85
      Myyntihinta €45,85 Normaali hinta €47,74
      Yksikköhinta /  per 
      Myynti
    • Book cover of: Masterminds of Programming. By: Federico Biancuzzi

      Masterminds of Programming

      Masterminds of Programming

      Myyjä:
      Federico Biancuzzi
      Normaali hinta €59,99
      Myyntihinta €59,99 Normaali hinta
      Yksikköhinta /  per 
    • Book cover of: Programming with Higher-Order Logic. By: Dale Miller

      Programming with Higher-Order Logic

      Myynti

      Programming with Higher-Order Logic

      Myyjä:
      Dale Miller
      Normaali hinta €54,35
      Myyntihinta €54,35 Normaali hinta €56,50
      Yksikköhinta /  per 
      Myynti
    • Book cover of: Some Assembly Required. By: Timothy S. Margush

      Some Assembly Required

      Myynti

      Some Assembly Required

      Myyjä:
      Timothy S. Margush
      Normaali hinta €140,44
      Myyntihinta €140,44 Normaali hinta €145,25
      Yksikköhinta /  per 
      Myynti
    • Book cover of: Automata, Languages, and Programming. By: Fedor V. Fomin

      Automata, Languages, and Programming

      Myynti

      Automata, Languages, and Programming

      Myyjä:
      Fedor V. Fomin
      Normaali hinta €55,55
      Myyntihinta €55,55 Normaali hinta €57,74
      Yksikköhinta /  per 
      Myynti
    • Book cover of: Automata, Languages, and Programming. By: Magnús M. Halldórsson

      Automata, Languages, and Programming

      Myynti

      Automata, Languages, and Programming

      Myyjä:
      Magnús M. Halldórsson
      Normaali hinta €55,55
      Myyntihinta €55,55 Normaali hinta €57,74
      Yksikköhinta /  per 
      Myynti
    • Book cover of: LISP Network Deployment and Troubleshooting. By: SHAKIL, TARIQUE

      LISP Network Deployment and Troubleshooting

      Myynti

      LISP Network Deployment and Troubleshooting

      Myyjä:
      TARIQUE SHAKIL
      Normaali hinta €54,55
      Myyntihinta €54,55 Normaali hinta €56,24
      Yksikköhinta /  per 
      Myynti
    • Book cover of: Semantic Structures (RLE Linguistics B: Grammar). By: David L. Waltz

      Semantic Structures (RLE Linguistics B: Grammar)

      Myynti

      Semantic Structures (RLE Linguistics B: Grammar)

      Myyjä:
      David L. Waltz
      Normaali hinta €60,40
      Myyntihinta €60,40 Normaali hinta €62,74
      Yksikköhinta /  per 
      Myynti
    • Book cover of: Automata, Languages, and Programming. By: Javier Esparza

      Automata, Languages, and Programming

      Myynti

      Automata, Languages, and Programming

      Myyjä:
      Javier Esparza
      Normaali hinta €55,55
      Myyntihinta €55,55 Normaali hinta €57,74
      Yksikköhinta /  per 
      Myynti
    • Learn You a Haskell for Great Good

      Learn You a Haskell for Great Good

      Myynti

      Learn You a Haskell for Great Good

      Myyjä:
      Miran Lipovaa
      Normaali hinta €51,65
      Myyntihinta €51,65 Normaali hinta €55,24
      Yksikköhinta /  per 
      Myynti
    • LISP Network Deployment and Troubleshooting

      LISP Network Deployment and Troubleshooting

      Myynti

      LISP Network Deployment and Troubleshooting

      Myyjä:
      Tarique Shakil
      Normaali hinta €55,55
      Myyntihinta €55,55 Normaali hinta €57,74
      Yksikköhinta /  per 
      Myynti
    • Book cover of: Introduction to Programming Languages. By: Arvind Kumar Bansal

      Introduction to Programming Languages

      Myynti

      Introduction to Programming Languages

      Myyjä:
      Arvind Kumar Bansal
      Normaali hinta €243,50
      Myyntihinta €243,50 Normaali hinta €251,50
      Yksikköhinta /  per 
      Myynti
    • Book cover of: Programming Languages and Systems. By: Atsushi Igarashi

      Programming Languages and Systems

      Myynti

      Programming Languages and Systems

      Myyjä:
      Atsushi Igarashi
      Normaali hinta €55,55
      Myyntihinta €55,55 Normaali hinta €57,74
      Yksikköhinta /  per 
      Myynti
    • Book cover of: Semantics of Programming Languages and Model Theory

      Semantics of Programming Languages and Model Theory

      Myynti

      Semantics of Programming Languages and Model Theory

      Myyjä:
      Manfred Droste
      Normaali hinta €195,00
      Myyntihinta €195,00 Normaali hinta €201,50
      Yksikköhinta /  per 
      Myynti
    • Book cover of: Advanced Logo. By: Michael Friendly

      Advanced Logo

      Myynti

      Advanced Logo

      Myyjä:
      Michael Friendly
      Normaali hinta €43,43
      Myyntihinta €43,43 Normaali hinta €45,24
      Yksikköhinta /  per 
      Myynti
    • 1
    • 2
    • Next

    SHOP

    • Ohje
    • Toimitusehdot
    • Palautukset ja takuu

    HOME

    • Etusivu
    • Tietosuojakäytäntö
    • Käyttöehdot
    • Artikkelit

    Tutustu

    • Liettualaiset kirjailijat
    • Kaikki tekijät
    • Kaikki kategoriat
    Salidzini.lv logotipsPhilips, Bērnu preces, Trenažieri, Mēbeles, Dārza tehnika, Zobu birstes, Krūmgrieži, Sadzīves tehnika
    Maksutavat
    • American Express
    • Apple Pay
    • BLIK
    • Google Pay
    • Klarna
    • Maestro
    • Mastercard
    • MobilePay
    • Shop Pay
    • Union Pay
    • Visa

    Maa/alue

    • Latvia EUR €
    • Liettua EUR €
    • Puola PLN zł
    • Suomi EUR €
    • Viro EUR €
    MB Laufgard · info@bookshop.lt
      • Valinnan valitseminen johtaa koko sivun päivitykseen.
      • Avautuu uuteen ikkunaan.