> Verlagsreihe
-
0203:
Low level image processing with the structure multivector Michael Felsberg
Kiel: Inst. f. Informatik u. Prakt. Mathematik der Christian-Albrechts-Univ., 2002
-
0204:
On the decidability of cryptographic protocols with open ended Data structures Ralf Küsters
Kiel: Inst.f. Informatik u. Prakt. Mathematik d. Christian-Albrechts-Univ. Kiel, 2002
-
0201:
On the decidability of cryptographic group protocols Ralf Küsters
Kiel: Inst. f. Informatik u. Prakt. Mathematik d. Christian-Albrechts-Univ. Kiel, 2002
-
0205:
Dense image point matching through propagation of local constraints Christian B. U. Perwass, Gerald Sommer
Kiel: Inst. f. Informatik u. Prakt. Mathematik d. Christian-Albrechts-Univ. Kiel, 2002
-
2017:
Functional and (constraint) logic programming (WFLP 2001) Michael Hanus (ed.)
Kiel: Inst. für Informatik und Praktische Mathematik, 2001
-
2018:
Sprachen, Architekturen und neue objektorientierte Softwaretechniken Physikzentrum Bad Honnef, 7. - 9. Mai 2001; Zusammenstellung der Beiträge des gemeinsamen Workshops der GI-Fachgruppen 2.1.4 und 2.1.9 Wolfgang Goerigk ... (Hrsg.)
Kiel: Inst. für Informatik und Praktische Mathematik, 2001
-
2016:
The monogenic signal Michael Felsberg and Gerald Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 2001
-
2015:
Will informatics be able to justify the construction of large computer based systems? Wolfgang Goerigk, Hans Langmaack
Kiel: Inst. f. Informatik u. Prakt. Mathematik der Christian-Albrechts-Univ., 2001
-
2019:
Simulation relations for alternating Büchi automata Carsten Fritz, Thomas Wilke
Kiel: Inst. f. Informatik u. Prakt. Mathematik d. Christian-Albrechts-Univ. Kiel, 2001
-
2014:
Gabor wavelet networks for object representation Volker Krüger
Kiel: Inst. für Informatik und Praktische Mathematik, 2001
-
2013:
Weakest relative precondition semantics balancing approved theory and realistic translation verification Andreas Wolf
Kiel: Inst. für Informatik und Praktische Mathematik, 2001
-
2010:
Hypercomplex signals, a novel extension of the analytic signal to multidimensional signals Thomas Bülow; Gerald Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 2001
-
2001:
Structure multivector for local analysis of images Michael Felsberg and Gerald Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 2000
-
2009:
The monogenic signal Michael Felsberg and Gerald Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 2000
-
2008:
Multiple motion analysis using 3D orientation steerable filters Weichuan Yu; Gerald Sommer; Kostas Daniilidis
Kiel: Inst. für Informatik und Praktische Mathematik, 2000
-
2005:
12. GI-Workshop "Grundlagen von Datenbanken" dieser Bericht enth. die Zsfassung der Vorträge, die beim 12. GI-Workshop vom 13. - 16. Juni in Plön gehalten wurden Hans-Joachim Klein (Hrg.)
Kiel: Inst. für Informatik und Praktische Mathematik, Univ., 2000
-
2003:
Pose estimation using geometric constraints Gerald Sommer; Bodo Rosenhahn; Yiwen Zhang
Kiel: Inst. für Informatik und Praktische Mathematik, 2000
-
2011:
Semantics and verification of statecharts Erich Mikk
Kiel: Inst. für Informatik und Praktische Mathematik, 2000
-
2007:
Programmiersprachen und Rechenkonzepte Schwerpunkt Softwarekomponenten Bad Honnef, 8. - 10. Mai 2000; dieser Bericht enthält e. Zs-stellung d. Beiträge d. 17. Workshops ... Wolfgang Goerigk (Hrsg.)
Kiel: Inst. für Informatik und Praktische Mathematik, Univ., 2000
-
2012:
Local orientation analysis in images and image sequences using steerable filters Weichuan Yu
Kiel: Inst. für Informatik und Praktische Mathematik, 2000
-
9904:
Development of camera-equipped robot systems Josef Pauli
Kiel: Inst. für Informatik und Praktische Mathematik, 2000
-
2006:
Geometrical enforcement of integrability and 2-D Leap-Frog Lyle Noakes and Ryszard Kozera
Kiel: Inst. für Informatik und Praktische Mathematik, 2000
-
2000:
An evaluation semantics for narrowing-based functional logic languages Michael Hanus; Salvador Lucas
Kiel: Inst. für Informatik und Praktische Mathematik, 2000
-
9902:
Stereosehen ein verhaltensbasierter Zugang unter Echtzeitbedingung Michael Hansen
Kiel: Inst. für Informatik und Praktische Mathematik, 1999
-
2004:
Approximate orientation steerability based on angular Gaussians Weichuan Yu; Kostas Daniilidis; Gerald Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 1999
-
9901:
Learning manipulator behaviors using visual information Josef Pauli (ed.)
Kiel: Inst. für Informatik und Praktische Mathematik, 1999
-
9903:
Hypercomplex spectral signal representations for the processing and analysis of images Thomas Bülow
Kiel: Inst. für Informatik und Praktische Mathematik, 1999
-
9907:
Zur Wavelet-gestützten Validierung von Simulationsmodellen in der Ökologie Thomas Clemen
Kiel: Inst. für Informatik und Praktische Mathematik, 1999
-
9909:
Kiel interactive evaluation laboratory Rudolf Berghammer and Markus Tiedt
Kiel: Inst. für Informatik und Praktische Mathematik, 1999
-
9905:
Rechnergestützte Erstellung von Prototypen für Programme auf relationalen Strukturen Rudolf Berghammer; Thorsten Hoffmann; Barbara Leoniuk
Kiel: Inst. für Informatik und Praktische Mathematik, 1999
-
9906:
Towards real learning robots Getachew Hailu
Kiel: Inst. für Informatik und Praktische Mathematik, 1999
-
9815:
On value based identification in object oriented data models Jochen Rasch. Institut für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel
Kiel: Inst. für Informatik und Praktische Mathematik, 1998
-
9803:
Tool support for system specification development and verification preliminary proceedings of a workshop held in Malente, June 2 - 4, 1998 Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel. Rudolf Berghammer ... (eds.)
Kiel: Inst. für Informatik und Praktische Mathematik, 1998
-
9814:
Compiler implementation verification through rigorous syntactical code inspection Ulrich Hoffmann
Kiel: Inst. für Informatik und Praktische Mathematik, 1998
-
9713:
The compiling specification from COMLISP to executable machine code Wolfgang Goerigk; Ulrich Hoffmann
Kiel: Inst. für Informatik und Praktische Mathematik, 1998
-
9805:
Geometric photometric consensus and regular shape quasi-invariants for object localization and boundary extraction Josef Pauli
Kiel: Inst. für Informatik und Praktische Mathematik, 1998
-
9806:
Decidability of first order theory of (N;gößer als,P) for morphic predicates P Arnaud Maes
Kiel: Inst. für Informatik und Praktische Mathematik, 1998
-
9807:
First order closure and the monadic second order alternation hierarchy Oliver Matz
Kiel: Inst. für Informatik und Praktische Mathematik, 1998
-
9808:
Singleton acceptance conditions in omega automata Barbara Leoniuk; Helmut Lescow; Wolfgang Thomas
Kiel: Inst. für Informatik und Praktische Mathematik, 1998
-
9811:
The automata theoretic method works for TCTL model checking Martin Dickhöfer; Thomas Wilke
Kiel: Inst. für Informatik und Praktische Mathematik, 1998
-
9812:
Compiling ComLisp to executable machine code: compiler construction Wolfgang Goerigk; Ulrich Hoffmann
Kiel: Inst. für Informatik und Praktische Mathematik, 1998
-
9813:
Manipulator and head servoing for tool handling and object inspection Josef Pauli
Kiel: Inst. für Informatik und Praktische Mathematik, 1998
-
9804:
Functions, frames, and interactions - completing a l-calculus-based lambda-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments Claus Reinke. Institut für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel
Kiel: Inst. für Informatik und Praktische Mathematik, 1998
-
9809:
Dynamische Zellstrukturen Theorie und Anwendung eines KNN-Modells Jörg Bruske. Institut für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel
Kiel: Inst. für Informatik und Praktische Mathematik, 1998
-
9810:
Hierarchical accepting systems and monadic second-order logic on graphs Ina Schiering
Kiel: Inst. für Informatik und Praktische Mathematik, 1998
-
9801:
Data and control flow diagrams, statecharts and Z their formalization, integration and real time extension Carsta Petersohn
Kiel: Inst. für Informatik und Praktische Mathematik, 1997
-
9802:
Gesicherte und mögliche Antworten auf Anfragen an relationale Datenbanken mit partiellen Relationen Hans-Joachim Klein
Kiel: Inst. für Informatik und Praktische Mathematik, 1997
-
9717:
Programming languages and fundamentals of programming Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel. Rudolf Berghammer ... (eds.)
Kiel: Inst. für Informatik und Praktische Mathematik, 1997
-
9714:
GAZE a common attentive processing strategy for the detection and investigation of salient image regions Rainer Herpers
Kiel: Inst. für Informatik und Praktische Mathematik, 1997
-
9706:
Functional dependencies for object databases motivation and axiomatization Hans-Joachim Klein; Jochen Rasch
Kiel: Inst. für Informatik und Praktische Mathematik, 1997
-
9716:
Low level image processing using steerable filters Markus Michaelis
Kiel: Inst. für Informatik und Praktische Mathematik, 1997
-
9702:
Line-drawing recognition Russian and German approaches S. Ablameyko; Th. Bülow; G. Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 1997
-
9703:
Intrinsic dimensionality estimation with optimally topology preserving maps Jörg Bruske and Gerald Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 1997
-
9709:
Modular construction of strategies winning infinite games Helmut Lescow
Kiel: Inst. für Informatik und Praktische Mathematik, 1997
-
9701:
Three-dimensional rule based continuous soil modelling Martin Ameskamp
Kiel: Inst. für Informatik und Praktische Mathematik, 1997
-
9708:
Dijkstras wp-Funktion als Formeltransformer und ihre Verbindung zur denotationellen Semantik Rudolf Berghammer
Kiel: Inst. für Informatik und Praktische Mathematik, 1997
-
9707:
Contributions to mechanical proofs of correctness for compiler front ends Debora Weber-Wulff
Kiel: Inst. für Informatik und Praktische Mathematik, 1997
-
9710:
Controller design from temporal logic: undecidability need not matter Martin Fränzle
Kiel: Inst. für Informatik und Praktische Mathematik, 1997
-
9711:
Machine support of relational computations the Kiel RELVIEW system Ralf Behnke; Rudolf Berghammer; Peter Schneider
Kiel: Inst. für Informatik und Praktische Mathematik, 1997
-
9712:
Alternative Konzepte für Sprachen und Rechner Bad Honnef, 28. - 30. April 1997 Wolfgang Goerigk (Hrsg.)
Kiel: Inst. für Informatik und Praktische Mathematik, 1997
-
9607:
Languages, automata, and logic Wolfgang Thomas
Kiel: Inst. für Informatik und Praktische Mathematik, 1996
-
9609:
Specification and verification of hybrid and real-time systems Yassine Lakhneck
Kiel: Inst. für Informatik und Praktische Mathematik, 1996
-
9615:
Towards a tool kit for the automatic generation of interprocedural data flow analyses Jens Knoop; Oliver Rüthing; Bernhard Steffen
Kiel: Inst. für Informatik und Praktische Mathematik, 1996
-
9508:
Extensions of the class of star-free languages using regular prefix oracles Ina Schiering
Kiel: Inst. für Informatik und Praktische Mathematik, 1996
-
9603:
Visuell basierte Robotik Stand und Perspektiven einer Technologie G. Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 1996
-
9605:
Axiomatization of a partial order based temporal logic R. Ramanujam
Kiel: Inst. für Informatik und Praktische Mathematik, 1996
-
9616:
Syntactic versus semantic code motion analogies and essential differences Jens Knoop; Oliver Rüthing; Bernhard Steffen
Kiel: Inst. für Informatik und Praktische Mathematik, 1996
-
9602:
Anwendung von PVS zur Codegenerator-Verifikation Thies Meyer
Kiel: Inst. für Informatik und Praktische Mathematik, 1996
-
9608:
Dynamic cell structures for calibration-free adaptive saccade control of a four-degrees-of-freedom binocular head Jörg Bruske
Kiel: Inst. für Informatik und Praktische Mathematik, 1996
-
9611:
Effektive Strategiekonstruktionen für Gale-Stewart-Spiele auf Transitionsgraphen Sebastian Seibert
Kiel: Inst. für Informatik und Praktische Mathematik, 1996
-
9613:
Combining refinement paradigms in stepwise refinement M. Siegel
Kiel: Inst. für Informatik und Praktische Mathematik, 1996
-
9614:
Test automation of safety-critical reactive systems J. Peleska und M. Siegel
Kiel: Inst. für Informatik und Praktische Mathematik, 1996
-
9601:
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic Antonio Cau
Kiel: Inst. für Informatik und Praktische Mathematik, 1996
-
9705:
Phased design and verification of stabilizing systems Michael Siegel
Kiel: Inst. für Informatik und praktische Mathematik, 1996
-
9612:
Formal methods and the development of dependable systems Jan Peleska
Kiel: Inst. für Informatik und Praktische Mathematik, 1996
-
9604:
An integrated architecture for learning of reactive behaviors based on dynamic cell structures Jörg Bruske; Ingo Ahrns and Gerald Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 1996
-
9606:
Equivalence on runs and PTL R. Ramanujam
Kiel: Inst. für Informatik und Praktische Mathematik, 1996
-
9503:
On the feedback vertex set problem for a planar graph Wolfgang Hackbusch
Kiel: Inst. für Informatik und Praktische Mathematik, 1995
-
9504:
On the effect of numerical integration in the Galerkin boundary element method S. A. Sauter and A. Krapp
Kiel: Inst. für Informatik und Praktische Mathematik, 1995
-
9506:
The ProCoS-way towards correct systems Hans Langmaack
Kiel: Inst. für Informatik und Praktische Mathematik, 1995
-
9502:
Rely-guarantee method for verifying shared variable concurrent programs Qiwen Xu; Willem-Paul de Roever, and Jifeng He
Kiel: Inst. für Informatik und Praktische Mathematik, 1995
-
9501:
Operation refinement proofs for VDM-like specifications Bettina Buth
Kiel: Inst. für Informatik und Praktische Mathematik, 1995
-
9505:
Composite finite elements for the approximation of PDEs on domains with complicated micro-structures W. Hackbusch and S. A. Sauter
Kiel: Inst. für Informatik und Praktische Mathematik, 1995
-
9507:
Report on the program AMoRE O. Matz
Kiel: Inst. für Informatik und Praktische Mathematik, 1995
-
9509:
Real time tracking of moving objects with an active camera K. Daniilidis
Kiel: Inst. für Informatik und Praktische Mathematik, 1995
-
9401:
How to modify SQL queries in order to guarantee sure answers Hans-Joachim Klein
Kiel: Inst. für Informatik und Praktische Mathematik, 1994
-
9409:
Die ALGOL-Verschwörung Vortrag aus Anlaß des 60. Geburtstags von Hans Langmaack am 20. Mai 1994 zu Kiel Friedrich L. Bauer
Kiel: Inst. für Informatik und Praktische Mathematik, 1994
-
9420:
Formal semantics for Ward & Mellor's Transformation Schema and its application to fault-tolerant systems Carsta Petersohn
Kiel: Inst. für Informatik und Praktische Mathematik, 1994
-
9406:
Gemeinsamer Bericht über die Forschungsvorhaben Vollständige interprozedurale Programmoptimierung und Interprozedurale Datenflußanalysegeneratoren Berichterstatter: Bernhard Steffen
Kiel: Inst. für Informatik und Praktische Mathematik, 1994
-
9413:
Basis functions for early vision Markus Michaelis und Gerald Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 1994
-
9416:
Systems for computer-aided specification, development and verification Bettina Buth ... (eds.)
Kiel: Inst. für Informatik und Praktische Mathematik, 1994
-
9412:
Alternative Konzepte für Sprachen und Rechner Bad Honnef 1994 F. Simon (Hrsg.)
Kiel: Inst. für Informatik und Praktische Mathematik, 1994
-
9402:
Graphdurchlauf mit Vererbung und Synthese eine Fallstudie über die Parameterisierung von Programmen mittels ML-Funktoren Rudolf Berghammer
Kiel: Inst. für Informatik und Praktische Mathematik, 1994
-
9404:
Eine matrixfreie Löserklasse für nichtlineare Gleichungssysteme Peter Kosmol und Ivor Nissen
Kiel: Inst. für Informatik und Praktische Mathematik, 1994
-
9407:
Partial dead code elimination Jens Knoop; Oliver Rüthing; Bernhard Steffen
Kiel: Inst. für Informatik und Praktische Mathematik, 1994
-
9415:
A Lie group approach to steerable filters Markus Michaelis und Gerald Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 1994
-
9417:
NQS, a graphical query system for data models with binary relationship types Hans-Joachim Klein; Dirk Krämer
Kiel: Inst. für Informatik und Praktische Mathematik, 1994
-
9418:
Ansätze zu Spezifikation und Verifikation mit VDM Fallstudie Analog-Ein/Ausgabe im Strahlungsmesssystem SINUPERM M Ruben-Benjamin Reincke; Jörg Pechau
Kiel: Inst. für Informatik und Praktische Mathematik, 1994
-
9408:
Automaten und Logiken zur Beschreibung zeitabhängiger Systeme Thomas Wilke
Kiel: Inst. für Informatik und Praktische Mathematik, 1994
-
9410:
Logische Klassifizierung regulärer Baumsprachen Andreas Potthoff
Kiel: Inst. für Informatik und Praktische Mathematik, 1994
-
9414:
Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems Karl-Heinz Buth
Kiel: Inst. für Informatik und Praktische Mathematik, 1994
-
9403:
Dynamic cell structures radial basis function networks with perfect topology preservation Jörg Bruske and Gerald Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 1994
-
9419:
A user's guide for the reduction system pi-RED Werner E. Kluge
Kiel: Inst. für Informatik und Praktische Mathematik, 1994
-
9302:
Pi-Lambda-Kalküle für Prozesse und Funktionen Christoph Crasemann
Kiel: Inst. für Informatik und Praktische Mathematik, 1993
-
9307:
HNS, a hybrid neural system and its use for the classification of stars Matthias Klusch
Kiel: Inst. für Informatik und Praktische Mathematik, 1993
-
9311:
Tree languages recognizable by regular frontier check Eija Jurvanen; Andreas Potthoff; Wolfgang Thomas
Kiel: Inst. für Informatik und Praktische Mathematik, 1993
-
9304:
Korrektheit der Übersetzung objektorientierter Wissensrepräsentationssprachen mit statischer Vererbung Wolfgang Goerigk
Kiel: Inst. für Informatik und Praktische Mathematik, 1993
-
9308:
On numerical cubatures of nearly singular surface integrals arising in BEM collocation W. Hackbusch and S. A. Sauter
Kiel: Inst. für Informatik und Praktische Mathematik, 1993
-
9309:
Efficient and optimal bit-vector data flow analyses a uniform interprocedural framework Jens Knoop; Bernhard Steffen
Kiel: Inst. für Informatik und Praktische Mathematik, 1993
-
9313:
Algebras for classifying regular tree languages and an application to frontier testability Thomas Wilke
Kiel: Inst. für Informatik und Praktische Mathematik, 1993
-
9314:
Schrittweitensteuerung für ein zeitparalleles Mehrgitterverfahren Jens Burmeister; Rainer Paul
Kiel: Inst. für Informatik und Praktische Mathematik, 1993
-
9315:
Specifying fault tolerance within Stark's formalism Antonio Cau; Willem-Paul de Roever
Kiel: Inst. für Informatik und Praktische Mathematik, 1993
-
9316:
Structured design of self-stabilizing programs (extended abstract) F. A. Stomp
Kiel: Inst. für Informatik und Praktische Mathematik, 1993
-
9317:
Representation of temporal interval logic using term rewrite systems Songnian Wang; Friedemann Simon and Karl-Heinz Buth
Kiel: Inst. für Informatik und Praktische Mathematik, 1993
-
9301:
Boundedness of ring-lengths in periodic graphs K. Goetzke
Kiel: Inst. für Informatik und Praktische Mathematik, 1993
-
9306:
A principle for sequential reasoning about distributed algorithms F. A. Stomp; W.-P. de Roever
Kiel: Inst. für Informatik und Praktische Mathematik, 1993
-
9310:
Sure answers to queries for databases with incomplete information Hans-Joachim Klein
Kiel: Inst. für Informatik und Praktische Mathematik, 1993
-
9312:
Eine das Residuum minimierende Algorithmenklasse für lineare Gleichungen Peter Kosmol und Ivor Nissen. Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel
Kiel: Inst. für Informatik und Praktische Mathematik, 1993
-
9305:
FPS-AM eine abstrakte Maschine für funktionale Produktionssysteme; Speicherstrukturen, Maschinenbefehle und Übersetzung Kai Oesterle
Kiel: Inst. für Informatik und Praktische Mathematik, 1993
-
9318:
Monadic second-order logic over rectangular pictures and recognizability by tiling systems Dora Giammarresi
Kiel: Inst. für Informatik und Praktische Mathematik, 1993
-
9201:
Pi-Red +: ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten Lambda-Kalküls Dietmar Gärtner
Kiel: Inst. für Informatik und Praktische Mathematik, 1992
-
9207:
Abschlussbericht über das Forschungsvorhaben Fehlertoleranz und Testbarkeit von VLSI-Algorithmen Rüdiger Maass; Manfred Schimmler; Hartmut Schmeck
Kiel: Inst. für Informatik und Praktische Mathematik, 1992
-
9206:
Testgenerierung für die Operandenauswahl über Multiplexer mit Voting-Verhalten Rüdiger Maaß
Kiel: Inst. für Informatik und Praktische Mathematik, 1992
-
9208:
Lazy code motion Jens Knoop; Oliver Rüthing; Bernhard Steffen
Kiel: Inst. für Informatik und Praktische Mathematik, 1992
-
9212:
Simulation of transition systems with term rewriting systems Karl-Heinz Buth
Kiel: Inst. für Informatik und Praktische Mathematik, 1992
-
9215:
Principles for sequential reasoning about distributed algorithms F. A. Stomp; W.-P. de Roever
Kiel: Inst. für Informatik und Praktische Mathematik, 1992
-
9216:
Lazy strength reduction Jens Knoop; Oliver Rüthing; Bernhard Steffen
Kiel: Inst. für Informatik und Praktische Mathematik, 1992
-
9218:
A subspace decomposition twogrid method for hyperbolic equations Edgar Katzer
Kiel: Inst. für Informatik und Praktische Mathematik, 1992
-
9220:
2. Theorietag Automaten und Formale Sprachen Universität Kiel, 2./3. Oktober 1992 Hrsg.: Wolfgang Thomas
Kiel: Inst. für Informatik und Praktische Mathematik, 1992
-
9204:
Quantifier hierarchies over word relations Sebastian Seibert
Kiel: Inst. für Informatik und Praktische Mathematik, 1992
-
9202:
An algebraic theory for regular languages of finite and infinite words Thomas Wilke
Kiel: Inst. für Informatik und Praktische Mathematik, 1992
-
9203:
Locally threshold testable languages of infinite words Thomas Wilke
Kiel: Inst. für Informatik und Praktische Mathematik, 1992
-
9214:
Using SOS definitions in term rewriting proofs Karl-Heinz Buth
Kiel: Inst. für Informatik und Praktische Mathematik, 1992
-
9219:
On the efficient use of the Galerkin method to solve Fredholm integral equations Wolfgang Hackbusch and Stefan A. Sauter
Kiel: Inst. für Informatik und Praktische Mathematik, 1992
-
9205:
Sekantenverfahren für lineare Gleichungen Peter Kosmol
Kiel: Inst. für Informatik und Praktische Mathematik, 1992
-
9210:
Graphentheoretische und algebraische Verfahren für die Analyse von Kristallstrukturen Kai Goetzke
Kiel: Inst. für Informatik und Praktische Mathematik, 1992
-
9209:
Fast eine Prozessor-Architektur mit einem neuartigen Stacksystem Claus Assmann. Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel
Kiel: Inst. für Informatik und Praktische Mathematik, 1992
-
9213:
Organisatorische Maßnahmen zur effizienten Unterstützung höherer Sprachkonstrukte in einem interaktiven Reduktionssystem H. Blödorn
Kiel: Inst. für Informatik und Praktische Mathematik, 1992
-
9109:
An introduction to compositional methods for concurrency and their application to real-time J. J. M. Hooman; Willem-Paul de Roever
Kiel: Inst. für Informatik und Praktische Mathematik, 1991
-
9110:
Neue Aspekte in Rabins Theorie der Baumautomaten [Vortrag zum Fraenkel-Kolloquium, Kiel, 24./25.5.1991] Wolfgang Thomas
Kiel: Inst. für Informatik und Praktische Mathematik, 1991
-
9108:
On logics, tilings, and automata Wolfgang Thomas
Kiel: Inst. für Informatik und Praktische Mathematik, 1991
-
9111:
Verification and specification of concurrent programs J. J. M. Hooman; Willem-Paul de Roever
Kiel: Inst. für Informatik und Praktische Mathematik, 1991
-
9113:
On the stability of the ILU method for a degenerate grid Stefan Sauter
Kiel: Inst. für Informatik und Praktische Mathematik, 1991
-
9114:
Eine Analyse der Finite-Volumen-Element-Methode auf Vierecksgittern am Beispiel der Poissongleichung Thorsten Schmidt
Kiel: Inst. für Informatik und Praktische Mathematik, 1991
-
9115:
Der Aufwand der Panel-Clustering-Methode für Integralgleichungen Stefan Sauter
Kiel: Inst. für Informatik und Praktische Mathematik, 1991
-
9112:
Graphenalgorithmen auf gitterverbundenen Prozessorfeldern Manfred Schimmler
Kiel: Inst. für Informatik und Praktische Mathematik, 1991