Janis - PDFSEARCH.IO - Document Search Engine

Janis
Results: 700

#	Item
61	2016 年 3 月発行 0 講演会「ユネスコエコパークってなんだろう？」を開催しました 3 月 5 日（土） Add to Reading List Source URL: www.osk.janis.or.jp Language: Japanese - Date: 2016-03-15 23:03:36
62	Asymptotic Improvement of Computations over Free Monads Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Computing Software engineering Computer programming Functional programming Monad Haskell Echo
63	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Theoretical computer science Mathematical logic Software engineering Computability theory Models of computation Logic in computer science Programming language semantics Denotational semantics Recursion Negation True quantified Boolean formula Mathematical proof
64	Konstrukteur Simon Thanner (l) und Entwickler Janis Conrad posieren ambei CarboFibretec in Friedrichshafen am E-Bike Velocité. Add to Reading List Source URL: www.ivi.fraunhofer.de Language: German - Date: 2016-05-06 08:01:23
65	Fortgeschrittene Funktionale Programmierung 6. und 7. Vorlesung Janis Voigtl¨ander Universit¨ Add to Reading List Source URL: www.janis-voigtlaender.eu Language: German - Date: 2016-08-01 05:50:11
66	Knuth’s 0-1-Principle and Beyond Janis Voigtl¨ander University of Bonn, Germany (visiting NII Tokyo) February 26th, 2010 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Sorting algorithms Order theory Mathematics Combinatorics Merge sort Quicksort Insertion sort Sorting Merge algorithm Bucket sort
67	Knuth’s 0-1-Principle and Beyond Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Sorting algorithms Order theory Mathematics Combinatorics Quicksort Sorting Merge sort Selection sort
68	Fortgeschrittene Funktionale Programmierung Add to Reading List Source URL: www.janis-voigtlaender.eu Language: German - Date: 2016-08-01 05:50:11
69	2014 年 12 月発行断層のずれ動きにより破損した、土手の法面（白馬村堀之内地区）白馬村にて地表地震断層調査 Add to Reading List Source URL: www.osk.janis.or.jp Language: Japanese - Date: 2014-12-17 20:40:34
70	And a Watson Shall Lead It By Janis Hewitt \| March 19, 2015 – The East Hampton Star Terry Watson will be the grand marshal leading Montauk’s 52nd St. Patrick’s Day parade on Sunday. Terry Watson will be the grand Add to Reading List Source URL: www.montaukchamber.com Language: English - Date: 2015-04-01 14:31:01 East Hampton (town) New York Geography of New York New York Montauk Parade Amagansett New York Amagansett Raffle East Hampton

UPDATE