Resultats de la cerca

Matèries dins de la cerca
Refinar resultats
  1. 178721
    Imatge de la portada

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

    Publicat 2013
    Llibre

    Afegir a favorits
    Guardat en:
  2. 178722
    Imatge de la portada

    Evolving software systems.

    Publicat 2014
    Llibre

    Afegir a favorits
    Guardat en:
  3. 178723
    Imatge de la portada

    Memorias Derecho Civil.

    Publicat 1942
    Thesis Llibre

    Afegir a favorits
    Guardat en:
  4. 178724
    Imatge de la portada

    Memorias Derecho Civil.

    Publicat 1928
    Llibre

    Afegir a favorits
    Guardat en:
  5. 178725
    Imatge de la portada

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

    Publicat 1940
    Llibre

    Afegir a favorits
    Guardat en:
  6. 178726
    Imatge de la portada

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

    Publicat 1996
    Llibre

    Afegir a favorits
    Guardat en:
  7. 178727
    Imatge de la portada

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

    Publicat 2005
    Llibre

    Afegir a favorits
    Guardat en:
  8. 178728
    Imatge de la portada

    Memorias Derecho Civil.

    Publicat 1929
    Llibre

    Afegir a favorits
    Guardat en:
  9. 178729
    Imatge de la portada

    Derecho de obligaciones. per Hernández Gil, Antonio

    Publicat 1983
    Llibre

    Afegir a favorits
    Guardat en:
  10. 178730
    Imatge de la portada

    Experimentation in software engineering.

    Publicat 2012
    Llibre

    Afegir a favorits
    Guardat en:
  11. 178731
    Imatge de la portada

    Practical foundations for programming languages. per Harper, Robert

    Publicat 2013
    Llibre

    Afegir a favorits
    Guardat en:
  12. 178732
    Imatge de la portada

    Types and programming languages. per Pierce, Benjamin C.

    Publicat 2002
    Llibre

    Afegir a favorits
    Guardat en:
  13. 178733
    Imatge de la portada

    Introduction to bisimulation and coinduction per Sangiorgi, Davide

    Publicat 2012
    Llibre

    Afegir a favorits
    Guardat en:
  14. 178734
    Imatge de la portada

    Pearls of functional algorithm design. per Bird, Richard

    Publicat 2010
    Llibre

    Afegir a favorits
    Guardat en:
  15. 178735
    Imatge de la portada

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

    Publicat 1979
    Llibre

    Afegir a favorits
    Guardat en:
  16. 178736
    Imatge de la portada

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

    Publicat 2002
    Llibre

    Afegir a favorits
    Guardat en:
  17. 178737
    Imatge de la portada

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

    Publicat 2010
    Llibre

    Afegir a favorits
    Guardat en:
  18. 178738
    Imatge de la portada

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

    Publicat 1951
    Llibre

    Afegir a favorits
    Guardat en:
  19. 178739
    Imatge de la portada

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

    Publicat 2010
    Llibre

    Afegir a favorits
    Guardat en:
  20. 178740
    Imatge de la portada

    Pagos provisionales. per Araya Ibáñez, Gonzalo

    Publicat 2023
    Desconegut

    Afegir a favorits
    Guardat en:

Eines de cerca: