Janis - PDFSEARCH.IO - Document Search Engine

Janis
Results: 700

#	Item
41	PDF Document Add to Reading List Source URL: www.osk.janis.or.jp Language: Japanese - Date: 2014-06-20 03:08:28
42	Type-Based Reasoning about Efficiency D. Seidel∗ J. Voigtl¨ander Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Software engineering Type theory Declarative programming Computer programming Functional programming Data types Polymorphism Object-oriented programming Map Parametric polymorphism Constructible universe
43	2015 年 11 月発行 0 ― 講演会のお知らせ ― ① 「南アルプスは高くなっているか」 Add to Reading List Source URL: www.osk.janis.or.jp Language: Japanese - Date: 2015-11-17 23:36:09
44	By SaSkya CaiCedo & JaniS WhitloCk Top 15 misconceptions of self-injury Although SI can be Add to Reading List Source URL: www.alfredadler.org Language: English - Date: 2016-05-11 22:58:34 Behavior Psychology Abnormal psychology Psychiatry Psychiatric diagnosis Mental health Aggression Self-harm Psychopathy Borderline personality disorder Attention seeking
45	Generation mechanisms in graphical template language Elina Kalnina * , Audris Kalnins, Edgars Celms, Agris Sostaks, Janis Iraids University of Latvia, IMCS, Raina bulvaris 29, LV-1459 Riga, Latvia Elina.Kalnina@lumii.l Add to Reading List Source URL: melnais.mii.lu.lv Language: English - Date: 2010-05-24 08:55:42 Software engineering Computing Computer programming Generic programming ECL programming language Template processor Transformation language Mola Merge Recursion Object Process Methodology Iterator
46	Algebraische Dynamische Programmierung Janis Voigtl¨ander Universit¨ at Bonn 13. Juli 2012 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: German - Date: 2016-08-01 05:50:10
47	Fortgeschrittene Funktionale Programmierung 9. Vorlesung Janis Voigtl¨ander Universit¨ Add to Reading List Source URL: www.janis-voigtlaender.eu Language: German - Date: 2016-08-01 05:50:11
48	Freie Theoreme — Was und Wie (Haskell in Leipzig 3) Janis Voigtl¨ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: German - Date: 2016-08-01 05:50:10
49	2015 年 3 月発行来年度（2015 年 4 月～）の企画について今年度、南アルプスはジオパーク全国大会の開催やエコパークへの登録など、特にイベントの多い年で、 Add to Reading List Source URL: www.osk.janis.or.jp Language: Japanese - Date: 2015-03-17 20:35:26
50	Free Theorems for Bidirectional Transformation 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 Mathematical logic Mathematics Wellfoundedness Set theory Ordinal numbers Constructible universe Proof theory CurryHoward correspondence Net

UPDATE