Katalog der Deutschen Nationalbibliothek

Go to:

Media

Series
Series
For availability details display full record

Christian-Albrechts-Universität zu Kiel. Institut für Informatik und Praktische Mathematik

Bericht / Institut für Informatik und Praktische Mathematik

Kiel: Inst. für Informatik und Praktische Mathematik, 1974-2006

Title

Bericht / Institut für Informatik und Praktische Mathematik / Christian-Albrechts-Universität, Kiel

Involved 

Christian-Albrechts-Universität zu Kiel. Institut für Informatik und Praktische Mathematik (Verfasser)

Published

Kiel: Inst. für Informatik und Praktische Mathematik
1974-2006

Publication history

1974 nachgewiesen; nachgewiesen 7902.1979 - 9909.1999; 2000.2000 - 2019.2001; 0201.2002 - 0602.2006[?]

Language

Deutsch

Country

Deutschland

Topic

Informatik

Former / later titles

Fortsetzung: Bericht / Institut für Informatik der Christian-Albrechts-Universität zu Kiel

Other editions

Erscheint auch als Online-Ausgabe: Bericht / Institut für Informatik, Christian-Albrechts-Universität zu Kiel

Further information

Einzelne Bände zugleich Bände von: Tätigkeitsbericht / Institut für Informatik und Praktische Mathematik

Record ID

012877794

In this series

show all

2. Theorietag "Automaten und Formale Sprachen" : Universität Kiel, 2./3. Oktober 1992

12. GI-Workshop "Grundlagen von Datenbanken" : enthält die Zusammenfassungen der Vorträge, die beim 12. GI-Workshop "Grundlagen von Datenbanken" vom 13. - 16. Juni 2000 in Plön gehalten wurden

A characterization of expressive interpretations

A characterization of higher functionals in weakly typed programming languages

A closer look at VLSI multiplication

A comparison based instruction systolic array

A compositional axiomatization of statecharts

A correction network for n-sorters

A generalized approach to metaprogramming in logic grammars

A Lie group approach to steerable filters

A method for realistic comparisons of sorting algorithms for VLSI

A new approach to robust multi-grid methods

A new class concept supporting abstract data types

A principle for sequential reasoning about distributed algorithms

A simple systolic method to find all bridges of an undirected graph

A subspace decomposition twogrid method for hyperbolic equations

A summary of a system for partial evaluation, residual evaluation, code generation and semantics directed compiler generation

A unification of functional and logic programming based on many-valued functions

A user's guide for the reduction system π-RED [pi-RED]

Abschlussbericht über das Forschungsvorhaben Entwurf und Analyse VLSI-gerechter Algorithmen : Antragsteller: Prof. Dr. Bodo Schlender

Abschlussbericht über das Forschungsvorhaben Fehlertoleranz und Testbarkeit von VLSI-Algorithmen

Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten : e. Optimalitätskonzept u. seine Anwendung

Algebras for classifying regular tree languages and an application to frontier testability

Alternative Konzepte für Sprachen und Rechner : Bad Honnef 1994

Alternative Konzepte für Sprachen und Rechner : Bad Honnef, 28. - 30. April 1997

ALTID-Sprachbeschreibung

An algebraic theory for regular languages of finite and infinite words

An evaluation semantics for narrowing based functional logic languages

An integrated architecture for learning of reactive behaviors based on dynamic cell structures

An introduction to compositional methods for concurrency and their application to real time

Analyse polymorpher Typen bei logischen Programmiersprachen mittels Substitutionsgrammatiken

Ansätze zu Spezifikation und Verifikation mit VDM : Fallstudie Analog-Ein/Ausgabe im Strahlungsmesssystem SINUPERM M

Anwendung von PVS zur Codegenerator-Verifikation

Applied program algebras

Applikatives und funktionales Programmieren

Approximate orientation steerability based on angular Gaussians

Assertional data reification proofs : survey and perspective

Automaten und Logiken zur Beschreibung zeitabhängiger Systeme

Automatic crystal chemical classification of silicates using direction-labeled graphs

Automatische Erzeugung von Mikrocodegeneratoren : Übersetzung von Mikroinstruktionen und Kompaktifizierung

Axiomatic semantics : Vortrag für d. Arbeitstreffen (Workshop) Formal Software Development Methods - Combining Specification Methods vom 20. - 26. Mai 1984 in Nyborg, Dänemark

Axiomatization of a partial order based temporal logic

Basis functions for early vision

Beschreibung endlicher algebraischer Strukturen mit Hilfe binärer Funktionen

Boundedness of ring lengths in period graphs

Combining refinement paradigms in stepwise refinement

Compiler implementation verification through rigorous syntactical code inspection

Compiling ComLisp to executable machine code : compiler construction

Composite finite elements for the approximation of PDEs on domains with complicated micor-structures

Compositional verification and specification of refinement for reactive systems in a dense time temporal logic

Concatenation of program modules

Contributions to mechanical proofs of correctness for compiler front ends

Controller design from temporal logic: undecidability need not matter

Data and control flow diagrams, statecharts and Z : their formalization, integration and real time extension

Decidability of the first-order theory of (N;<,P) for morphic predicates P

Definite clause grammars with variable items

Definition von ALTID und seiner Übersetzung durch eine erweiterte Affix-Grammatik

Dense image point matching through propagation of local constraints

Der Aufwand der Panel-Clustering-Methode für Integralgleichungen

Development of camera equipped robot systems
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal