Počet nalezených dokumentů: 80
Publikováno od do

Field trip Barrandian
Hladil, Jindřich; Koptíková, Leona; Slavík, Ladislav
2011 - anglický
Klíčová slova: limestones; palaeozoic; Barrandian; excursion guide Dokument je dostupný na externích webových stránkách.
Field trip Barrandian

Hladil, Jindřich; Koptíková, Leona; Slavík, Ladislav
Geologický ústav, 2011

Doktorandské dny '11.
Kuželová, Dana; Hakl, František
2011 - český
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Doktorandské dny '11.

Kuželová, Dana; Hakl, František
Ústav informatiky, 2011

Hovory s informatiky 2011. Sborník studií
Klímová, Hana; Kuželová, Dana; Šíma, Jiří; Wiedermann, Jiří; Žák, Stanislav
2011 - český
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Hovory s informatiky 2011. Sborník studií

Klímová, Hana; Kuželová, Dana; Šíma, Jiří; Wiedermann, Jiří; Žák, Stanislav
Ústav informatiky, 2011

Hydrologie malého povodí 2011
Šír, Miloslav; Tesař, Miroslav
2011 - český
Kniha obsahuje plné texty 73 vědeckých článků. Články byly připraveny jako příspěvky pro konferenci s mezinárodní účastí „Hydrologie malého povodí 2011“, která se konala 8. až 10.3. 2011 v Praze. Konferenci pořádaly: Ústav pro hydrodynamiku AVČR, Praha; Ústav hydrológie SAV, Bratislava; Česká vědeckotechnická vodohospodářská společnost, Praha; Český národní výbor pro hydrologii. Knihu vydal Ústav pro hydrodynamiku AVČR v Praze roku 2011. The book includes the full text of 73 scientific articles. These articles were prepared as the contributions for the Conference with international participation “Hydrology of a small basin 2011” that was held from March 8th to March 10th 2011 in Prague. The Conference was organized by the Institute of Hydrodynamics ASCR in Prague, Institute of Hydrology SAS in Bratislava, the Czech Water Management Society in Prague and Czech Committee for Hydrology. The book was published by the Institute of Hydrodynamics ASCR in Prague in 2011. Klíčová slova: small basin; experimental hydrology; water balance Plné texty jsou dostupné v digitálním repozitáři Akademie Věd.
Hydrologie malého povodí 2011

Kniha obsahuje plné texty 73 vědeckých článků. Články byly připraveny jako příspěvky pro konferenci s mezinárodní účastí „Hydrologie malého povodí 2011“, která se konala 8. až 10.3. 2011 v Praze. ...

Šír, Miloslav; Tesař, Miroslav
Ústav pro hydrodynamiku, 2011

NCMPL 2011 Abstracts
Cintula, Petr; Ju, S.; Víta, Martin
2011 - anglický
This volume contains (extended) abstracts of all 6 invited and 25 contributed talks presented at the conference Non-Classical Modal and Predicate Logics which took place in Guangzhou, December 5-9, 2011. Modalities and predicates have since ancient time been central notions in logic. In the 20th century, various systems of non-classical logics have emerged, with applications in many disciplines like Computer Science, Linguistics, Mathematics, and Philosophy. This gave rise to the questions of non-classical treatment of quantification and modalities and their accommodation in these non-classical settings. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades. Although there are many good conferences on (mainly propositional) non-classical logics, this conference was solely dedicated to modal and predicate non-classical logics. Its aim was to bring together esearchers from various branches of non-classical logics, not only to present recent advances in their particular fields, but also to identify common problems and methods and foster the exchange of ideas between researchers from separate fields. Klíčová slova: non-classical logic; predicate logic; modal logic; intuitionistic logic; substructural logic; relevant logic; fuzzy logic; non-classical mathematics Plné texty jsou dostupné v digitálním repozitáři Akademie Věd.
NCMPL 2011 Abstracts

This volume contains (extended) abstracts of all 6 invited and 25 contributed talks presented at the conference Non-Classical Modal and Predicate Logics which took place in Guangzhou, December 5-9, ...

Cintula, Petr; Ju, S.; Víta, Martin
Ústav informatiky, 2011

Abstract Book and Conference Guide OIS 3 Conference
Lisá, Lenka; Neruda, P.; Nerudová, Z.; Nývltová Fišáková, Miriam
2010 - anglický
Klíčová slova: archaeology; geology; geoarchaeology Dokument je dostupný na externích webových stránkách.
Abstract Book and Conference Guide OIS 3 Conference

Lisá, Lenka; Neruda, P.; Nerudová, Z.; Nývltová Fišáková, Miriam
Geologický ústav, 2010

Doktorandské dny '10
Kuželová, Dana; Hakl, František
2010 - anglický
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Doktorandské dny '10

Kuželová, Dana; Hakl, František
Ústav informatiky, 2010

Programs and Algorithms of Numerical Mathematics 15
Vejchodský, Tomáš; Chleboun, J.; Přikryl, Petr; Segeth, Karel; Šístek, Jakub
2010 - anglický
The book contains papers presented at the international seminar Programs and algorithms of numerical Mathematics 15 (PANM 15), held in Dolni Maxov, Czech Republic, June 6-11, 2010. It is the fifteen volume in the series of the PANM proceedings. The topics of contributions include numerical methods for fluid flow modelling, the finite element method, a posteriori error estimates, topics from numerical linear atgebra, etc. Klíčová slova: algorithms; numerical mathematics Plné texty jsou dostupné v digitálním repozitáři Akademie Věd.
Programs and Algorithms of Numerical Mathematics 15

The book contains papers presented at the international seminar Programs and algorithms of numerical Mathematics 15 (PANM 15), held in Dolni Maxov, Czech Republic, June 6-11, 2010. It is the fifteen ...

Vejchodský, Tomáš; Chleboun, J.; Přikryl, Petr; Segeth, Karel; Šístek, Jakub
Matematický ústav, 2010

Logic, Algebra and Truth Degrees 2010
Chvalovský, Karel; Cintula, Petr; Noguera, C.
2010 - anglický
Volume of abstracts from the conference Logic, Algebra and Truth Degrees 2010 (the second official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic) which was held on 7-11 September 2010 in Prague. The volume was published by Institute of Theoretical informatics as volume 2010-502 of ITI Series and is available at http://iti.mff.cuni.cz/series/ Klíčová slova: mathematical fuzzy logic; algebraic logic; proof theory; degree of truth Plné texty jsou dostupné v digitálním repozitáři Akademie Věd.
Logic, Algebra and Truth Degrees 2010

Volume of abstracts from the conference Logic, Algebra and Truth Degrees 2010 (the second official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic) which was held on 7-11 September ...

Chvalovský, Karel; Cintula, Petr; Noguera, C.
Ústav informatiky, 2010

Hovory s informatiky 2010. Sborník studií
Klímová, Hana; Kuželová, Dana; Šíma, Jiří; Wiedermann, Jiří; Žák, Stanislav
2010 - český
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Hovory s informatiky 2010. Sborník studií

Klímová, Hana; Kuželová, Dana; Šíma, Jiří; Wiedermann, Jiří; Žák, Stanislav
Ústav informatiky, 2010

O službě

NUŠL poskytuje centrální přístup k informacím o šedé literatuře vznikající v ČR v oblastech vědy, výzkumu a vzdělávání. Více informací o šedé literatuře a NUŠL najdete na webu služby.

Vaše náměty a připomínky posílejte na email nusl@techlib.cz

Provozovatel

http://www.techlib.cz

Facebook

Zahraniční báze