Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Tobias Nipkow 24 träffar

Titel Författare År Språk
1-2 Concrete semantics - with Isabell/HOL (flera utgåvor) Tobias Nipkow 2014 Engelska
3 Term rewriting and all that Franz Baader 1998 Engelska
4-5 Automated reasoning - First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings (flera utgåvor) International Joint Conference on Automated Reasoning 2001 : Siena) 2001 Engelska
6-7 Types for proofs and programs - international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers (flera utgåvor) cop. 1993 Engelska
8-9 Rewriting techniques and applications (flera utgåvor) International Conference on Rewriting Techniques and Applications 1998 : Tsukuba) cop. 1998 Engelska
10-11 Isabelle/HOL - a proof assistant for higher-order logic (flera utgåvor) Tobias Nipkow cop. 2002 Engelska
12-13 FM 2006: Formal Methods (flera utgåvor) Jayadev. Misra 2006 Engelska
14 Higher-Order Algebra, Logic, and Term Rewriting 1994 Engelska
15 Theorem Proving in Higher Order Logics - 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings Stefan. Berghofer 2009 Engelska
16 Formal Logical Methods for System Security and Correctness (NATO Security Through Science Series) Christian Pfaller 2008 Okänt
17 FM 2006: Formal Methods Jayadev Misra 2006 Okänt
18 Term Rewriting and All That 1999 Engelska
19 Software Safety and Security: Tools for Analysis and Verification (NATO Science for Peace and Security Series. D, Information and Communication Security) Benedikt Hauptmann 2012 Okänt
20 Isabelle/HOL: A Proof Assistant for Higher-Order Logic Tobias Nipkow uuuu-uuuu Okänt

1 2 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.