Institut für Informatik - Support Server
描述: IEEE Symposium on Logic in Computer Science: an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.
热门搜索: www2 informatik hu berlin
网站评级:
3.0 / 5.0, 审阅 Sites Like Search
语: English
A conference aiming to provide an integrated forum for research on formal aspects of Open Object-based Distributed Systems.
网站评级:
3.0 / 5.0, 语: English
UL Theorie Lernprogramm für Ultraleicht Piloten mit dem offiziellen Fragenkatalog des DAeC.
网站评级:
3.0 / 5.0, 语: Deutsch
A package for bifurcation analysis of delay differential equations.
网站评级:
3.0 / 5.0, 语: English
A logic-based language for dynamic programming. Equational inference rules derive theorems with associated values, e.g. probabilities in statistical AI. Supports ...
网站评级:
3.0 / 5.0, 语: English
A minimal, pure specification logic programming language with meta-language capability.
网站评级:
3.0 / 5.0, 语: English
'Ich mach was mit Büchern' ist eine von Leander Wattig 2009 gestartete Initiative für eine stärkere Vernetzung der Buchbranche
网站评级:
3.0 / 5.0, 语: Deutsch
Free, secure and fast downloads from the largest Open Source applications and software directory - SourceForge.net
网站评级:
4.5 / 5.0, 语: English