Yazar

Wolfram Kahl

20 cilt bulundu.

Cilt sonuçları

Algebraische Termgraphensetzung mit gebundenen Variablen

Wolfram Kahl · Herbert Utz Verlag

168 sayfa · 1996

Kategori yok

The Unknown Neighbour

Wolfram Drews · Yayınevi bilinmiyor

406 sayfa · 2006

Biography & Autobiography

Relational Methods in Computer Science

Chris Brink, Wolfram Kahl, Gunther Schmidt · Springer Science & Business Media

296 sayfa · 1997-04-23

Computers

Gesetzgebung

Steffen Augsberg, · C.F. Müller

CiltHard Real-time Microcontroller Code Generation from Timed Automaton SpecificationsVictor Bandur, Wolfram Kahl, Alan Wassyng

Hard Real-time Microcontroller Code Generation from Timed Automaton Specifications

Victor Bandur, Wolfram Kahl, Alan Wassyng · Yayınevi bilinmiyor

88 sayfa · 2008

Kategori yok

CiltKategorien von Termgraphen mit gebundenen VariablenWolfram Kahl

Kategorien von Termgraphen mit gebundenen Variablen

Wolfram Kahl · Yayınevi bilinmiyor

191 sayfa · 1995

Kategori yok

CiltPsychische Faktoren bei NahrungsmittelallergienWolfram Kahl

Psychische Faktoren bei Nahrungsmittelallergien

Wolfram Kahl · Yayınevi bilinmiyor

Sayfa sayısı yok · 1998

Kategori yok

CiltEditor CombinatorsWolfram Kahl, Oliver Braun, Jan Scheffczyk

Editor Combinators

Wolfram Kahl, Oliver Braun, Jan Scheffczyk · Yayınevi bilinmiyor

36 sayfa · 2000

Kategori yok

CiltExploring (finite) Relation Algebras Using Tools Written in HaskellWolfram Kahl, Gunther Schmidt

Exploring (finite) Relation Algebras Using Tools Written in Haskell

Wolfram Kahl, Gunther Schmidt · Yayınevi bilinmiyor

158 sayfa · 2000

Kategori yok

CiltDeutsch-Frühförderung in VorlaufkursenHans-Dieter Heiligenthal, Barbara Kahl, Anne Stübing, Jutta Wagner, Brigitte Wolfram

Deutsch-Frühförderung in Vorlaufkursen

Hans-Dieter Heiligenthal, Barbara Kahl, Anne Stübing, Jutta Wagner, Brigitte Wolfram · Yayınevi bilinmiyor

Sayfa sayısı yok · 2005

Kategori yok

CiltVerification of Haskell Type ClassesFeng Wang, Wolfram Kahl

Verification of Haskell Type Classes

Feng Wang, Wolfram Kahl · Yayınevi bilinmiyor

75 sayfa · 2007

Kategori yok

CiltA Study on Symmetric QuotientsHitoshi Furusawa, Wolfram Kahl

A Study on Symmetric Quotients

Hitoshi Furusawa, Wolfram Kahl · Yayınevi bilinmiyor

28 sayfa · 1998

Kategori yok

CiltA Relation-algebraic Approach to Graph Structure TransformationWolfram Kahl

A Relation-algebraic Approach to Graph Structure Transformation

Wolfram Kahl · Yayınevi bilinmiyor

204 sayfa · 2002

Kategori yok

Program transformation (Computer programming)Specification of a Program Transformation System for ORWELLWolfram Kahl, Richard Bird

Specification of a Program Transformation System for ORWELL

Wolfram Kahl, Richard Bird · Yayınevi bilinmiyor

194 sayfa · 1986

Program transformation (Computer programming)

CiltA Framework for User-friendly Declarative Typing SystemsWolfram Kahl

A Framework for User-friendly Declarative Typing Systems

Wolfram Kahl · Yayınevi bilinmiyor

15 sayfa · 1997

Kategori yok

CiltImplementation of Pattern Matching Calculus Using Type-indexed ExpressionsXiaoheng Ji

Implementation of Pattern Matching Calculus Using Type-indexed Expressions

Xiaoheng Ji · Yayınevi bilinmiyor

109 sayfa · 2006

Kategori yok

CiltA Model for the FDA General Principles of Software ValidationMarwan M. Abdeen, Wolfram Kahl, Thomas S. E. Maibaum

A Model for the FDA General Principles of Software Validation

Marwan M. Abdeen, Wolfram Kahl, Thomas S. E. Maibaum · Yayınevi bilinmiyor

134 sayfa · 2007

Kategori yok

CiltGVariantRyan Lortie, Alan Wassyng, Wolfram Kahl

GVariant

Ryan Lortie, Alan Wassyng, Wolfram Kahl · Yayınevi bilinmiyor

225 sayfa · 2008

Kategori yok

CiltA Fibred Approach to RewritingWolfram Kahl

A Fibred Approach to Rewriting

Wolfram Kahl · Yayınevi bilinmiyor

26 sayfa · 1997

Kategori yok

CiltDetecting Non-termination in Constraint Handling RulesErshad Rahimikia, Wolfram Kahl

Detecting Non-termination in Constraint Handling Rules

Ershad Rahimikia, Wolfram Kahl · Yayınevi bilinmiyor

62 sayfa · 2007

Kategori yok