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: Petr Hájek 40 träffar

Titel Författare År Språk
21 Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák. electronic resource Petr Hájek uuuu-uuuu Okänt
22 Metamathematics of fuzzy logic Petr Hájek 1998 Engelska
23-24 Smooth analysis in Banach spaces / by Petr Hájek, Michal Johanis (flera utgåvor) Petr Hájek uuuu-uuuu Okänt
25 Knowledge Spillovers in Regional Innovation Systems - A Case Study of CEE Regions 2018 Engelska
26 Knowledge Spillovers in Regional Innovation Systems: A Case Study of CEE Regions 2018 Okänt
27 Logic Colloquium '98 - proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998 Logic Colloquium (1998 : Prag) c2000 Engelska
28 Logic Colloquium '98 - proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998 Czech Republic) Logic Colloquium (1998 : Prague 2016 Engelska
29 Structural, economic and environmental performance of fibre reinforced wood profiles vs. solutions made of steel and concrete COST Action C25 Workshop : Sustainability of Constructions - Integrated Approach to Life-time Structural Engineering 23/10/2009 - 24/10/2009 Christian Manthey 2009 Engelska
30 Structural, economic and environmental performance of fibre reinforced wood profiles vs. solutions made of steel and concrete COST Action C25 Sustainability of Constructions : Integrated Approach to Life-time Structural Engineering 23/07/2010 - 25/07/2010 Christian Manthey 2010 Engelska
31 Mathematical foundations of computer science 1995 International Symposium on Mathematical Foundations of Computer Science 1995) Praha : cop. 1995 Engelska
32 Mathematical Foundations of Computer Science 1995 Symposium on Mathematical Foundations of Computer Science (1972- ) 1995 Engelska
33 Novel Financial Applications of Machine Learning and Deep Learning: Algorithms, Product Modeling, and Applications 2023 Okänt
34 Metamathematics of Fuzzy Logic Petr Hájek 1998 Okänt
35 Smooth analysis in Banach spaces Petr Hájek 2014 Okänt
36 Mathematical Foundations of Computer Science 1995 - 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995. Proceedings Symposium on Mathematical Foundations of Computer Science (1972- ) Symposium on Mathematical Foundations of Computer Science (1972- ) 1995 Engelska
37 Understanding vagueness - logical, philosophical and linguistic perspectives 2011 Engelska
38 Provability, Computability and Reflection Petr Vopenka 1972 Engelska
39 The theory of semisets Petr Vopěnka 1972 Engelska
40 Functional Analysis and Infinite-Dimensional Geometry Václav Zizler 2001 Okänt

Förra sidan 1 2

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.