Bun venit pe Librărescu.ro!
Folosim fișiere de tip cookie pentru a personaliza și a-ți îmbunătăți experiența în timpul vizitei.
Te rugăm consultă secțiunea Confidențialitate din pagina Termeni și condiții pentru mai multe detalii
Accept
Librărescu.ro
Navighează printre pagini, descoperă comori
  • Carte
  • Școlărești
  • Audiobooks
  • Carte străină
  • eBooks
  • Recomandări
  • Bestsellere
  • Noutăți
  • Contact
  • Carte
  • Școlărești
  • Audiobooks
  • Carte străină
  • eBooks
  • Recomandări
  • Bestsellere
  • Noutăți
  • Contact
  1. Carte străină
  2. Computere și Internet
  3. Arhitectură și design
  4. Teorie matematică
  5. Type Theory and Formal Proof

Type Theory and Formal Proof

de Rob Nederpelt

Type Theory and Formal Proof
placeholder-image
Type Theory and Formal Proof
367
.29
lei
Distribuitor extern
Cumpără
Type Theory and Formal Proof
placeholder-image
367
.29
lei
Cumpără
placeholder-image
Type Theory and Formal Proof
781
.63
lei
703
.47
lei
Disponibil
Cumpără
Type Theory and Formal Proof
placeholder-image
781
.63
lei
703
.47
lei
Cumpără
  • Teorie matematică
  • Politologie și guvernare
  • Istoria lumii
  • America
  • Apărare națională
Editura
Editura - Cambridge University Press
Cambridge University Press
Editia
Editia - Cartonata
Cartonata
An apariție
An apariție - 2014
2014
Nr pagini
Nr pagini - 466
466
Dimensiuni
Dimensiuni - 254 x 173 x 28 mm
254 x 173 x 28 mm
ISBN13
ISBN13 - 9781107036505
9781107036505
placeholder-image

Type Theory and Formal Proof

367
.29
lei
Distribuitor extern
Cumpără
Type Theory and Formal Proof
placeholder-image
367
.29
lei
Cumpără
placeholder-image

Type Theory and Formal Proof

781
.63
lei
703
.47
lei
Disponibil
Cumpără
Type Theory and Formal Proof
placeholder-image
781
.63
lei
703
.47
lei
Cumpără
Teorie matematică Vezi toate produsele
Boosting
Boosting
de University Of California, San Diego) Freund și alții
de la
146.65 lei
Basics of Modern Mathematical Statistics
Basics of Modern Mathematical Statistics
de Spokoiny
de la
314.93 lei
Practical Applications of Sparse Modeling
Practical Applications of Sparse Modeling
de Irina Rish
de la
265.65 lei
Digital Imaging and Communications in Medicine (DICOM)
Digital Imaging and Communications in Medicine (DICOM)
de Oleg S Pianykh
de la
495.40 lei
D3.js in Action, 2E
D3.js in Action, 2E
de Elijah Meeks
de la
259.99 lei
Introduction to MultiAgent Systems, Paperback
Introduction to MultiAgent Systems, Paperback
de Michael Wooldridge
de la
410.99 lei
Vezi toate produsele
Articole pe blog
Heartless - Marissa Mayer

„Capitalul în secolul XXI” de Thomas Piketty – de ce banii fac bani mai repede decât muncim noi

scris de Vaia pe 05 nov.
Heartless - Marissa Mayer

7 cărți despre Grecia antică și nașterea filozofiei occidentale

scris de Vaia pe 04 nov.
Heartless - Marissa Mayer

„The Hidden Oracle” de Rick Riordan – ce se întâmplă când un zeu ajunge adolescent cu acnee

scris de Vaia pe 02 nov.
Heartless - Marissa Mayer

„Zuleiha deschide ochii”, de Guzel Iahina – povestea adevărată din spatele romanului

scris de Vaia pe 01 nov.
Heartless - Marissa Mayer

„Eleanor Oliphant se simte excelent” de Gail Honeyman – singurătatea care se preface bine-crescută

scris de Vaia pe 30 oct.
Librărescu.ro
Navighează printre pagini, descoperă comori
  • Prima pagină
  • Blog
  • Despre
  • Contact
  • Termeni și condiții
© 2026 Librărescu.ro Toate drepturile rezervate
Categorii
Recomandări - Noutăți - Cele mai bine vândute - Povești, basme, legende - Poezii, fabule, antologii - Benzi desenate - Poezie - Cărți de dragoste - Cărți dezvoltare personală - Cărți erotice - Proză și nuvele - Eseuri - Adolescenți, Young Adult - Cărți horror
Cele mai căutate
Turnul zorilor. Seria Tronul de clestar. Vol.6 - Simfonia animaliera - Am fost doctorita la Auschwitz - Pacienta tacuta - Harry Potter si Ordinul Phoenix (volumul 5 din seria Harry Potter) - Ciresarii (5 volume) (editie 2022) - Viata secreta a emotiilor - Durerile-fantoma - Hamnet - Baiatul cu pijamale in dungi - Plus jamais ca! + CD - Razboiul care mi-a salvat viata - Recreatia Mare - Cititorul din pestera - Splendida cetate a celor o mie de sori (Editie 2020)
Populare
Cireșarii - O vară cu Isidor - Fata care a băut luna - Grădina secretă - Cititorul din peșteră - Hanu Ancuței - Jurnalul Annei Frank - Unde pădurea întalnește stelele - Elevul Dima dintr-a șaptea - Bunica mi-a zis sa-ți spun ca-i pare rău - Umbra vântului - Recreația mare - Copacul dorințelor - Poveste fără sfârșit - Noaptea despărțirii - Micul Prinț - Țipă cât poți - Oscar și tanti Roz - Din lumea celor care nu cuvântă - Războiul care mi-a salvat viața - Simfonia animalieră
Autori celebri
John Boyne - Constantin Chiriţă - Dr. Diana Vasile - Veronica D. Niculescu - Chris Van Tulleken - Kelly Barnhill - Alex Michaelides - Rina Kent - Mihail Sadoveanu - Lavinia Barlogeanu - Anne Frank - Khaled Hosseini - Leon Danaila - Zoulfa Katouh - Bella Mackie - J. K. Rowling - David Goggins - Fredrik Backman - Antoine De Saint-Exupéry - Eric-Emmanuel Schmitt