Γ
Ieškoti: 20 rezultatai pagal užklausą „Automatic theorem proving, Lisp (computer program language)“ – Bookshop Pereiti prie turinio
  • Išpardavimas
  • Dovanų idėjos
    • Funko POP!
    • Medžiaginiai maišeliai
    • Kvapiosios žvakės
    • Dėlionės ir žaidimai
    • Puodeliai ir termosai
    • Pliušiniai žaislai
    • Moleskine užrašinės
  • TOP Knygos
  • Grožinė
    • Siaubo literatūra
    • Meilės romanai
    • Detektyvai ir trileriai
      • Detektyvai ir trileriai
      • Trileriai
      • Detektyvai
      • Kriminaliniai romanai
    • Fantastika
      • Fantastinė proza
      • Epika
      • Raganojimas
      • Fėjos
      • Drakonai
    • Mokslinė fantastika
      • Mokslinė fantastika
      • Veiksmo ir nuotykių
      • Išgyvenimas
      • Kelionės laiku
      • Robotai
      • Utopijos ir distopijos
    • Poezija ir drama
      • Poezija ir drama
      • Poezija
      • Drama
      • Literatūra
  • Negrožinė
    • Verslas ir pinigai
      • Verslas ir ekonomika
      • Smulkus verslas
      • Vadyba
      • Lyderystė
      • Sėkmė versle
      • Rinkodara ir pardavimai
      • Strateginis planavimas
      • Projektų valdymas
    • Biografijos ir memuarai
      • Biografijos
      • Autobiografija
    • Psichologija ir saviugda
      • Psichologija
      • Asmeninis tobulėjimas
      • Vyrų ir moterų santykiai
      • Savirealizacija
      • Tėvystė
      • Laimė ir gerovė
      • Psichoterapija
      • Psichikos sveikata
      • Savipagalbos technikos
      • Psichinė trauma
    • Istorija ir visuomenė
      • Istorija
      • Senovės civilizacijos
      • Viduramžiai
      • XX amžius
      • Sovietų Sąjunga ir Rusija
      • Holokaustas
      • Pasauliniai karai
      • Pasaulio istorija
      • Istoriografija
      • Socialinė istorija
      • Karo istorija
      • Archeologija
    • Dvasingumas
      • Religija ir dvasingumas
      • Biblija
      • Judaizmas
      • Krikščionybė
      • Budizmas
    • Politika ir visuomenė
      • Politika ir visuomenė
      • Sociologija
      • Feminizmas
      • Žmogaus teisės
      • Terorizmas
      • Socialinė žiniasklaida
    • Filosofija
      • Etika
      • Estetika
      • Šiuolaikinė filosofija
      • Senovės filosofija
  • Komiksai ir manga
    • Komiksai
    • Manga
    • Superherojai
  • Vaikams
    • Paveikslėlių knygos
    • Vaikų pasakos
    • Žaislinės ir judančios knygos
    • Pažintinė vaikams
    • Vaikų poezija
  • Laisvalaikis ir namai
    • Mityba
    • Kulinarinės knygos
    • Joga
    • Automobiliai
    • Šachmatai
    • Sodininkystė
    • Rankdarbiai
    • Turizmas
      • Kelionių aprašymai
      • Kelionių vadovai
      • Atlasai ir žemėlapiai
  • Mokslas ir sveikata
    • Mokslas ir gamta
      • Matematika
      • Chemija
      • Biologija ir gyvūnai
      • Klimato kaita
      • Ekologija
      • Botanika
      • Geologija
      • Genetikai
      • Kosmologija
    • Medicina
      • Ligos ir gydymas
      • Vidaus medicina
      • Chirurgija
      • Slaugos knygos
      • Smegenys
      • Farmakologija
    • Technologijos ir IT
      • Duomenų apdorojimas
      • Inžinerija
      • Dirbtinis intelektas
      • Kompiuterių tinklai
      • Internetas
      • Kompiuterių saugumas
      • Programavimas
    • Teisė
      • Tarptautinė teisė
      • Baudžiamoji teisė
      • Konstitucinė teisė
      • Intelektinė nuosavybė
    • Švietimas
      • Studentų knygos
      • Mokyklos
      • Aukštasis mokslas ir dėstymas
      • Edukacinė psichologija
      • Specialusis ugdymas
    • Kalbų mokymasis
      • Anglų kalba
      • Ispanų kalba
      • Prancūzų kalba
      • Vokiečių kalba
      • Lingvistika
      • Žodynai
  • Pagalba
Prisijungti

Šalis/regionas

  • Estija EUR €
  • Latvija EUR €
  • Lenkija PLN zł
  • Lietuva EUR €
  • Suomija EUR €
    Bookshop
    • Išpardavimas
    • Dovanų idėjos
      • Funko POP!
      • Medžiaginiai maišeliai
      • Kvapiosios žvakės
      • Dėlionės ir žaidimai
      • Puodeliai ir termosai
      • Pliušiniai žaislai
      • Moleskine užrašinės
    • TOP Knygos
    • Grožinė
      • Siaubo literatūra
      • Meilės romanai
      • Detektyvai ir trileriai
        • Detektyvai ir trileriai
        • Trileriai
        • Detektyvai
        • Kriminaliniai romanai
      • Fantastika
        • Fantastinė proza
        • Epika
        • Raganojimas
        • Fėjos
        • Drakonai
      • Mokslinė fantastika
        • Mokslinė fantastika
        • Veiksmo ir nuotykių
        • Išgyvenimas
        • Kelionės laiku
        • Robotai
        • Utopijos ir distopijos
      • Poezija ir drama
        • Poezija ir drama
        • Poezija
        • Drama
        • Literatūra
    • Negrožinė
      • Verslas ir pinigai
        • Verslas ir ekonomika
        • Smulkus verslas
        • Vadyba
        • Lyderystė
        • Sėkmė versle
        • Rinkodara ir pardavimai
        • Strateginis planavimas
        • Projektų valdymas
      • Biografijos ir memuarai
        • Biografijos
        • Autobiografija
      • Psichologija ir saviugda
        • Psichologija
        • Asmeninis tobulėjimas
        • Vyrų ir moterų santykiai
        • Savirealizacija
        • Tėvystė
        • Laimė ir gerovė
        • Psichoterapija
        • Psichikos sveikata
        • Savipagalbos technikos
        • Psichinė trauma
      • Istorija ir visuomenė
        • Istorija
        • Senovės civilizacijos
        • Viduramžiai
        • XX amžius
        • Sovietų Sąjunga ir Rusija
        • Holokaustas
        • Pasauliniai karai
        • Pasaulio istorija
        • Istoriografija
        • Socialinė istorija
        • Karo istorija
        • Archeologija
      • Dvasingumas
        • Religija ir dvasingumas
        • Biblija
        • Judaizmas
        • Krikščionybė
        • Budizmas
      • Politika ir visuomenė
        • Politika ir visuomenė
        • Sociologija
        • Feminizmas
        • Žmogaus teisės
        • Terorizmas
        • Socialinė žiniasklaida
      • Filosofija
        • Etika
        • Estetika
        • Šiuolaikinė filosofija
        • Senovės filosofija
    • Komiksai ir manga
      • Komiksai
      • Manga
      • Superherojai
    • Vaikams
      • Paveikslėlių knygos
      • Vaikų pasakos
      • Žaislinės ir judančios knygos
      • Pažintinė vaikams
      • Vaikų poezija
    • Laisvalaikis ir namai
      • Mityba
      • Kulinarinės knygos
      • Joga
      • Automobiliai
      • Šachmatai
      • Sodininkystė
      • Rankdarbiai
      • Turizmas
        • Kelionių aprašymai
        • Kelionių vadovai
        • Atlasai ir žemėlapiai
    • Mokslas ir sveikata
      • Mokslas ir gamta
        • Matematika
        • Chemija
        • Biologija ir gyvūnai
        • Klimato kaita
        • Ekologija
        • Botanika
        • Geologija
        • Genetikai
        • Kosmologija
      • Medicina
        • Ligos ir gydymas
        • Vidaus medicina
        • Chirurgija
        • Slaugos knygos
        • Smegenys
        • Farmakologija
      • Technologijos ir IT
        • Duomenų apdorojimas
        • Inžinerija
        • Dirbtinis intelektas
        • Kompiuterių tinklai
        • Internetas
        • Kompiuterių saugumas
        • Programavimas
      • Teisė
        • Tarptautinė teisė
        • Baudžiamoji teisė
        • Konstitucinė teisė
        • Intelektinė nuosavybė
      • Švietimas
        • Studentų knygos
        • Mokyklos
        • Aukštasis mokslas ir dėstymas
        • Edukacinė psichologija
        • Specialusis ugdymas
      • Kalbų mokymasis
        • Anglų kalba
        • Ispanų kalba
        • Prancūzų kalba
        • Vokiečių kalba
        • Lingvistika
        • Žodynai
    • Pagalba
    Prisijungti Krepšelis

    Šalis/regionas

    • Estija EUR €
    • Latvija EUR €
    • Lenkija PLN zł
    • Lietuva EUR €
    • Suomija EUR €

    Pristatymas per 5-10 d. d. į Jūsų pasirinktą paštomatą, nemokamai nuo 23 €

    Paieškos rezultatai

    • The Little Prover

      The Little Prover

      Išpardavimas

      The Little Prover

      Pardavėjas:
      Daniel P. Friedman
      Įprasta kaina €53,14
      Pardavimo kaina €53,14 Įprasta kaina €55,25
      Vieneto kaina /  per 
      Išpardavimas
    • Book cover of: Lisp in Small Pieces. By: Christian Queinnec

      Lisp in Small Pieces

      Išpardavimas

      Lisp in Small Pieces

      Pardavėjas:
      Christian Queinnec
      Įprasta kaina €112,55
      Pardavimo kaina €112,55 Įprasta kaina €116,50
      Vieneto kaina /  per 
      Išpardavimas
    • Book cover of: AutoCADET's Guide to Visual LISP. By: Bill Kramer

      The AutoCADET's Guide to Visual LISP

      Išpardavimas

      The AutoCADET's Guide to Visual LISP

      Pardavėjas:
      Bill Kramer
      Įprasta kaina €72,53
      Pardavimo kaina €72,53 Įprasta kaina €75,24
      Vieneto kaina /  per 
      Išpardavimas
    • Book cover of: Symbolic Computation and Automated Reasoning. By: Michael Kohlhase

      Symbolic Computation and Automated Reasoning

      Išpardavimas

      Symbolic Computation and Automated Reasoning

      Pardavėjas:
      Michael Kohlhase
      Įprasta kaina €116,18
      Pardavimo kaina €116,18 Įprasta kaina €120,24
      Vieneto kaina /  per 
      Išpardavimas

    • Automated Theorem Proving

      Išpardavimas

      Automated Theorem Proving

      Pardavėjas:
      Special Session on Automatic Theorem Proving (1983 Denver, Colo.)
      Įprasta kaina €69,51
      Pardavimo kaina €69,51 Įprasta kaina €72,13
      Vieneto kaina /  per 
      Išpardavimas
    • Book cover of: Mathematical Reasoning with Diagrams. By: Mateja Jamnik

      Mathematical Reasoning with Diagrams

      Išpardavimas

      Mathematical Reasoning with Diagrams

      Pardavėjas:
      Mateja Jamnik
      Įprasta kaina €80,26
      Pardavimo kaina €80,26 Įprasta kaina €99,42
      Vieneto kaina /  per 
      Išpardavimas
    • Book cover of: Automated Technology for Verification and Analysis. By: Bernd Finkbeiner

      Automated Technology for Verification and Analysis

      Išpardavimas

      Automated Technology for Verification and Analysis

      Pardavėjas:
      Bernd Finkbeiner
      Įprasta kaina €55,55
      Pardavimo kaina €55,55 Įprasta kaina €57,74
      Vieneto kaina /  per 
      Išpardavimas
    • Book cover of: Some Assembly Required. By: Timothy S. Margush

      Some Assembly Required

      Išpardavimas

      Some Assembly Required

      Pardavėjas:
      Timothy S. Margush
      Įprasta kaina €140,44
      Pardavimo kaina €140,44 Įprasta kaina €145,25
      Vieneto kaina /  per 
      Išpardavimas
    • Book cover of: Automata, Languages, and Programming. By: Fedor V. Fomin

      Automata, Languages, and Programming

      Išpardavimas

      Automata, Languages, and Programming

      Pardavėjas:
      Fedor V. Fomin
      Įprasta kaina €55,55
      Pardavimo kaina €55,55 Įprasta kaina €57,74
      Vieneto kaina /  per 
      Išpardavimas
    • Book cover of: Masterminds of Programming. By: Federico Biancuzzi

      Masterminds of Programming

      Masterminds of Programming

      Pardavėjas:
      Federico Biancuzzi
      Įprasta kaina €59,99
      Pardavimo kaina €59,99 Įprasta kaina
      Vieneto kaina /  per 
    • Book cover of: Systemic Text Generation as Problem Solving. By: Terry Patten

      Systemic Text Generation as Problem Solving

      Išpardavimas

      Systemic Text Generation as Problem Solving

      Pardavėjas:
      Terry Patten
      Įprasta kaina €45,85
      Pardavimo kaina €45,85 Įprasta kaina €47,74
      Vieneto kaina /  per 
      Išpardavimas
    • Book cover of: LISP Network Deployment and Troubleshooting. By: SHAKIL, TARIQUE

      LISP Network Deployment and Troubleshooting

      Išpardavimas

      LISP Network Deployment and Troubleshooting

      Pardavėjas:
      TARIQUE SHAKIL
      Įprasta kaina €54,55
      Pardavimo kaina €54,55 Įprasta kaina €56,24
      Vieneto kaina /  per 
      Išpardavimas
    • Book cover of: Programming with Higher-Order Logic. By: Dale Miller

      Programming with Higher-Order Logic

      Išpardavimas

      Programming with Higher-Order Logic

      Pardavėjas:
      Dale Miller
      Įprasta kaina €54,35
      Pardavimo kaina €54,35 Įprasta kaina €56,50
      Vieneto kaina /  per 
      Išpardavimas
    • Book cover of: Automata, Languages, and Programming. By: Javier Esparza

      Automata, Languages, and Programming

      Išpardavimas

      Automata, Languages, and Programming

      Pardavėjas:
      Javier Esparza
      Įprasta kaina €55,55
      Pardavimo kaina €55,55 Įprasta kaina €57,74
      Vieneto kaina /  per 
      Išpardavimas
    • Book cover of: Semantic Structures (RLE Linguistics B: Grammar). By: David L. Waltz

      Semantic Structures (RLE Linguistics B: Grammar)

      Išpardavimas

      Semantic Structures (RLE Linguistics B: Grammar)

      Pardavėjas:
      David L. Waltz
      Įprasta kaina €60,40
      Pardavimo kaina €60,40 Įprasta kaina €62,74
      Vieneto kaina /  per 
      Išpardavimas
    • Learn You a Haskell for Great Good

      Learn You a Haskell for Great Good

      Išpardavimas

      Learn You a Haskell for Great Good

      Pardavėjas:
      Miran Lipovaa
      Įprasta kaina €51,65
      Pardavimo kaina €51,65 Įprasta kaina €55,24
      Vieneto kaina /  per 
      Išpardavimas
    • LISP Network Deployment and Troubleshooting

      LISP Network Deployment and Troubleshooting

      Išpardavimas

      LISP Network Deployment and Troubleshooting

      Pardavėjas:
      Tarique Shakil
      Įprasta kaina €55,55
      Pardavimo kaina €55,55 Įprasta kaina €57,74
      Vieneto kaina /  per 
      Išpardavimas
    • Book cover of: Advanced Logo. By: Michael Friendly

      Advanced Logo

      Išpardavimas

      Advanced Logo

      Pardavėjas:
      Michael Friendly
      Įprasta kaina €43,43
      Pardavimo kaina €43,43 Įprasta kaina €45,24
      Vieneto kaina /  per 
      Išpardavimas
    • Book cover of: MIPS Assembly Language Programming. By: Robert Britton

      MIPS Assembly Language Programming

      Išpardavimas

      MIPS Assembly Language Programming

      Pardavėjas:
      Robert Britton
      Įprasta kaina €125,88
      Pardavimo kaina €125,88 Įprasta kaina €130,24
      Vieneto kaina /  per 
      Išpardavimas
    • Book cover of: Programming for Corpus Linguistics. By: Oliver Mason

      Programming for Corpus Linguistics

      Išpardavimas

      Programming for Corpus Linguistics

      Pardavėjas:
      Oliver Mason
      Įprasta kaina €41,05
      Pardavimo kaina €41,05 Įprasta kaina €43,99
      Vieneto kaina /  per 
      Išpardavimas

    Pirkėjams

    • Pagalba
    • Prekių pristatymo sąlygos
    • Prekių grąžinimas ir garantija

    Apie mus

    • Pagrindinis
    • Privatumo politika
    • Naudojimosi sąlygos
    • Straipsniai

    Atraskite

    • Lietuvių autoriai
    • Visi autoriai
    • Visos kategorijos
    Salidzini.lv logotipsPhilips, Bērnu preces, Trenažieri, Mēbeles, Dārza tehnika, Zobu birstes, Krūmgrieži, Sadzīves tehnika
    Mokėjimo būdai
    • American Express
    • Apple Pay
    • BLIK
    • Google Pay
    • Klarna
    • Maestro
    • Mastercard
    • MobilePay
    • Shop Pay
    • Union Pay
    • Visa

    Šalis/regionas

    • Estija EUR €
    • Latvija EUR €
    • Lenkija PLN zł
    • Lietuva EUR €
    • Suomija EUR €
    MB Laufgard · info@bookshop.lt
      • Pasirinkus pasirinkimą bus atnaujintas visas puslapis.
      • Atsidaro naujame lange.