Šafařík - PDFSEARCH.IO - Document Search Engine

Šafařík
Results: 58

#	Item
1	SEMINARIUM Z TEORII GRAFÓWSemestr letni: Gabriel SemanisinJ. P. Safarik Univerity) Add to Reading List Source URL: www.mif.pg.gda.pl Language: Polish - Date: 2014-06-26 06:03:58
2	Best Tall Buildings A Global Overview of 2015 Skyscrapers Antony Wood, Steven Henry & Daniel Safarik ISBN: Add to Reading List Source URL: store.ctbuh.org Language: English - Date: 2015-08-06 17:29:36 Central Hong Kong Architecture Hong Kong Modernist architects Real estate Bank of China Hongkong Land A Symphony of Lights Jardine House Shanghai World Financial Center Kohn Pedersen Fox Adrian Smith
3	On the Computational Content of the Bolzano-Weierstraß Principle∗ Pavol Safarik and Ulrich Kohlenbach Department of Mathematics Technische Universität Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-10-14 11:24:50 Proof theory Logic Mathematical logic Mathematics Computability theory Primitive recursive functional Dialectica interpretation Combinatory logic Continuous function
4	Fluctuations, effective learnability and metastability in analysis Ulrich Kohlenbach, Pavol Safarik Department of Mathematics, Technische Universit¨ at Darmstadt, Schlossgartenstraße 7, 64289 Darmstadt, Germany Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2013-05-10 05:50:36 Computability theory Mathematical logic Mathematics Theoretical computer science Theory of computation Computable function Primitive recursive function operator Language identification in the limit Sequence Arithmetical hierarchy Cauchy sequence
5	On the Computational Content of the Bolzano-Weierstraß Principle∗ Pavol Safarik and Ulrich Kohlenbach Department of Mathematics Technische Universität Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-10-14 11:24:50
6	Fluctuations, effective learnability and metastability in analysis Ulrich Kohlenbach, Pavol Safarik Department of Mathematics, Technische Universit¨ at Darmstadt, Schlossgartenstraße 7, 64289 Darmstadt, Germany Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2013-05-10 05:50:36
7	Nonstandard functional interpretations and categorical models Amar Hadzihasanovic∗ and Benno van den Berg† 29 January 2014 Abstract Recently, the second author, Briseid and Safarik introduced nonstandard Dialectica, Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2014-01-29 05:43:59
8	Jan Evangelista Purkyně University in Ústí nad Labem, Faculty of Science, Department of Geography Institute of Geography and Spatial Organization, Polish Academy of Sciences Pavol Jozef Šafárik University in Košice Add to Reading List Source URL: geography.ujep.cz Language: English - Date: 2014-09-15 08:13:40
9	June 22, 2015 Add to Reading List Source URL: www.probiotic-conference.net Language: English - Date: 2015-06-03 09:29:54 Digestive system Microbiology Gut flora Probiotics Šafařík Synbiotics Košice Bifidobacterium Lactobacillus Bacteria Biology Bacteriology
10	CZECH CHAMBER OF COMMERCE in co-operation with EMBASSY Add to Reading List Source URL: www.amcham.cz Language: English - Date: 2015-01-26 07:42:55

UPDATE