Lars Hupel - Dokumente zum Namen - alle Infos bei Yasni.de

(1 - 8 von 9

)

Computer Science authors/titles Jun 2014

arxiv.org

Title: Towards a Multiagent Decision Support System for crisis Management. Authors: Authors: Lars Hupel. Comments: Subjects: Databases (cs.DB).

From allbery.b at gmail.com Sun Mar 1 00:00: From: allbery ...

mail.haskell.org

I would encourage those that feel strongly about such features to consider getting involved with development of the hackage server URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments cae937e7/attachment.html> From lars at hupel.info Fri Mar :39: From: lars at hupel.info (Lars ...

sbt Reference Manual — Combined Pages

www.scala-sbt.org

For discussing sbt development, use Discussions Kazuhiro Sera 3; Krzysztof Borowski 3; Lars Hupel 3; Leif Wickland 3; Lukas Rytz By @xuwei-k; Add new global setting asciiGraphWidth that controls the maximum width of the ASCII ...

[ ] Directed Security Policies: A Stateful Network...

arxiv.org

· Authors:Cornelius Diekmann (Technische Universität München), Lars Hupel (Technische Universität München), Georg Carle (Technische ...

[ ] Translating Scala Programs to Isabelle/HOL

arxiv.org

Authors: Lars Hupel, Viktor Kuncak. (Submitted on 6 Jul 2016). Abstract: We present a trustworthy connection between the Leon verification system and the ...