Versions

Suggested Topics within your search.
Refine Results
  1. 178721
    Cover Image

    Certified programming with dependent types. A pragmatic introduction to the coq proof assistant. by Chlipala, Adam

    Published 2013
    Book

    Save to List
    Saved in:
  2. 178722
    Cover Image

    Evolving software systems.

    Published 2014
    Book

    Save to List
    Saved in:
  3. 178723
    Cover Image

    Memorias Derecho Civil.

    Published 1942
    Thesis Book

    Save to List
    Saved in:
  4. 178724
    Cover Image

    Memorias Derecho Civil.

    Published 1928
    Book

    Save to List
    Saved in:
  5. 178725
    Cover Image

    Derecho civil. Primer año. Versiones taquigráficas tomadas en la clase de Derecho Civil del Señor Arturo Alessandri Rodríguez. by Alessandri Rodríguez, Arturo

    Published 1940
    Book

    Save to List
    Saved in:
  6. 178726
    Cover Image

    Structure and interpretation of computer programs. by Abelson, Harold, Sussman, Gerald Jay, Sussman, Julie

    Published 1996
    Book

    Save to List
    Saved in:
  7. 178727
    Cover Image

    Foundations of empirical software engineering. The legacy of Victor R. Basili.

    Published 2005
    Book

    Save to List
    Saved in:
  8. 178728
    Cover Image

    Memorias Derecho Civil.

    Published 1929
    Book

    Save to List
    Saved in:
  9. 178729
    Cover Image

    Derecho de obligaciones. by Hernández Gil, Antonio

    Published 1983
    Book

    Save to List
    Saved in:
  10. 178730
    Cover Image

    Experimentation in software engineering.

    Published 2012
    Book

    Save to List
    Saved in:
  11. 178731
    Cover Image

    Practical foundations for programming languages. by Harper, Robert

    Published 2013
    Book

    Save to List
    Saved in:
  12. 178732
    Cover Image

    Types and programming languages. by Pierce, Benjamin C.

    Published 2002
    Book

    Save to List
    Saved in:
  13. 178733
    Cover Image

    Introduction to bisimulation and coinduction by Sangiorgi, Davide

    Published 2012
    Book

    Save to List
    Saved in:
  14. 178734
    Cover Image

    Pearls of functional algorithm design. by Bird, Richard

    Published 2010
    Book

    Save to List
    Saved in:
  15. 178735
    Cover Image

    San Ramón de Penyafort by Valls y Taberner, Fernando

    Published 1979
    Book

    Save to List
    Saved in:
  16. 178736
    Cover Image

    El Juez Casares. Un Jurista al Servicio del Bien Común. by Leiva, Alberto David

    Published 2002
    Book

    Save to List
    Saved in:
  17. 178737
    Cover Image

    Causas perdidas. Ensayos de filosofía jurídica, política y moral. by Orellana Benado, Miguel E.

    Published 2010
    Book

    Save to List
    Saved in:
  18. 178738
    Cover Image

    Instituciones iuris canonici. Ad usum utriusque cleri et scholarum. De sacramentis. Tractatus canonicus. by Conte a Coronata, P. Matthaeus

    Published 1951
    Book

    Save to List
    Saved in:
  19. 178739
    Cover Image

    El Derecho de la Iglesia. Curso Básico de Derecho Canónico. by Cenalmor Palanca, Daniel

    Published 2010
    Book

    Save to List
    Saved in:
  20. 178740
    Cover Image

    Pagos provisionales. by Araya Ibáñez, Gonzalo

    Published 2023
    Unknown

    Save to List
    Saved in:

Search Tools: