Ansprechpartner: Matthias Sopp Telefonwww.hwk-pfalz.de Wir suchen

Source URL: www.hwk-pfalz.de

From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2

Source URL: www.ccs.neu.edu

• Software engineering
• Computer programming
• Computing
• Functional languages
• Evaluation strategy
• Computability theory
• Lambda calculus
• Theoretical computer science
• Lazy evaluation
• Functional programming
• ALGOL 68
• Racket

1 From Stack Traces to Lazy Rewriting Sequences Stephen Chang, Eli Barzilay, John Clements*, Matthias Felleisen Northeastern University *California Polytechnic State University

Source URL: www.ccs.neu.edu

• Computer programming
• Software engineering
• Software
• Debuggers
• Debugging
• Haskell

Datenbank und GIS des Göttinger Agrigent-Surveys von MATTHIAS LANG, Göttingen In diesem Artikel soll das zur Dokumentation des Göttinger Agrigent-Surveys1 entwickelte integrierte Datenbank-GIS-System ArchGate vorgeste

Source URL: gfa.gbv.de

Ansätze zur Erkennung von Kommunikationsmodi in Online-Diskussionen Matthias Liebeck Heinrich-Heine-Universität Düsseldorf Institut für Informatik

Source URL: ceur-ws.org

On Skolemization in constructive theories Matthias Baaz∗ Rosalie Iemhoff Inst. for Discrete Math. and Geometry E104

Source URL: www.phil.uu.nl

• Logic
• Mathematical logic
• Abstraction
• Model theory
• Proof theory
• Predicate logic
• Logic in computer science
• Philosophical logic
• Skolem normal form
• Herbrandization
• First-order logic
• Intuitionistic logic

Comparative Performance Analysis of the PermaDozer Protocol in Diverse Deployments Matthias Keller, Matthias Woehrle‡ , Roman Lim, Jan Beutel, Lothar Thiele ETH Zurich, Computer Engineering and Networks Laboratory, 809

Source URL: www.tik.ee.ethz.ch

• Wireless sensor network
• Computing
• Wireless networking
• Computer networking
• Technology
• Data transmission
• Sensor node
• ANT
• Packet forwarding
• Node

Top 20 - HANSER Wirtschaft Bestverkaufte Titel Januar – Juni 2016 laut GfK FAX-Bestellschein für Ihre Nachbestellung: Für Rückfragen erreichen Sie Matthias Scharm telefonisch unteroder

Source URL: www.hanser-fachbuch.de

Letter from the ESH President: Matthias Mende Dear Friends and Colleagues

Source URL: esh-hypnosis.eu

Elemente der Mathematik - Sommer 2016 ¨ L¨osungen Ubungsblatt 2 Prof. Dr. Matthias Lesch, Regula Krapf

Source URL: www.math.uni-bonn.de