> Verlagsreihe
-
Algorithmic specifications a new specification method for abstract data types Jacques Loeckx
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013
-
A few comments on a correctness proof of a program for the "McCarthy Airline" reservation system Wolfgang Barth ; Jacques Loeckx
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013
-
An efficient ELL (1) - parser generator Reinhold Heckmann
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013
-
Finding a negative cycle in a directed graph Athanasios K. Tsakalidis
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013
-
Bemerkungen zur Theorie der quadratischen Formen über semilokalen Ringen Manfred Knebusch
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013
-
Wittgruppen von symmetrisch bilinearen Gittern über Bewertungsringen Manfred Knebusch
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013
-
Network complexity Günter Hotz ; Manfred Stadel
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013
-
A partial correctness logic for procedures (in an ALGOL-like language) Kurt Sieber
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013
-
Biconnected graph assembly and recognition of DFS trees Torben Hagerup
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013
-
Abstracts of the talks at the Fourth International Workshop on the Semantics of Programming Languages in Bad Honnef March 14-18, 1983 Klaus Indermark
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013
-
A note on the equational calculus for many-sorted algebras with possibly empty carrier sets Jacques Loeckx ; Bernd Mahr
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013
-
A representation theorem of infinite dimensional algebras and applications to language theory Günter Hotz
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013
-
Four results on the complexity of VLSI computations Thomas Lengauer ; Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013
-
Untere Schranken für den Platzbedarf bei der kontext-freien Analyse Helmut Alt ; Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
On the interpretation of recursive program schemes Maurice Nivat
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
AHPL - eine hardware-beschreibende Sprache auf APL-Basis Rolf Eckert
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
A bibliography on formal languages and related topics Jacques Loeckx
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Top down parsing of macro grammars (preliminary report) Manfred Heydthausen ; Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
An efficient algorithm for constructing nearly optimal prefix codes Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Arbitrary weight changes in dynamic trees Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Complexity arguments in algebraic language theory Helmut Alt ; Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Sorting presorted files Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Picture reconstruction from projections in restricted range Alfred Louis
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Ghosts in tomography the null space of the radon transform Alfred K. Louis
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Smoothsort's behavior on presorted sequences Stefan Hertel
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
VLSI complexity, efficient VLSI algorithms and the HILL design system Thomas Lengauer ; Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Codes unequal probabilities, unequal letter costs Doris Altenkamp ; Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Local routing of two-terminal nets is easy (extended abstract) Michael Kaufmann ; Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Der Text-Editor SB&EDIT Beschreibung der Version (4.08) ; (Sprachversion 2) Gerhard Weck
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Eine Implementierung von DATAS (Dataenstrukturen in assoziativer Speicherung) José L. Encarnação ; Gerhard Weck
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Optimale Nachladestrategien für Pufferspeicher unter Berücksichtigung der Programmstruktur Otto Spaniol
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Konzept eines allgemeinen Bibliotheksverbundsystems Horst Langendörfer ; Helge Scheidig
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Abstracts of the talks at the Second International Workshop on the Semantics of Programming Languages in Bad Honnef March 19-23, 1979 Klaus Indermark
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Monotonie und Galerkin-Verfahren bei gewöhnlichen nichtlinearen periodischen Systemen insbesondere unstetige und mehrwertige Klaus Taubert
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Informationssysteme im Bibliotheks- und IuD-Bereich Horst Langendörfer ; Helge Scheidig
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Relative completeness of a Hoare-calculus for while-programs Kurt Sieber
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Bracket-languages are recognizable in logarithmic space Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
The exponential storage cost of d-schemes Ralph Tindell
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Dynamic binary search Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
On the smoothing property of the Bayes approach to picture reconstruction Frank Natterer
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
The HILL system a design environment for the hierarchical specification, compaction, and simulation of integrated circuit layouts Thomas Lengauer ; Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Operationaler Vergleich der Rechner TR 440, Siemens 7.760, VAX11/780 und Modcomp 7870 Gerhard Weck
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
A new Hoare-calculus for programs with recursive parameterless procedures Kurt Sieber
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Ein Nachtrag zu den Extrapolationsverfahren der numerischen Integration Peter Kandzia
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
On correct procedure parameter transmission in higher programming languages Hans Langmaack
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
The communication complexity of VLSI circuits Thomas Lengauer
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Space sweep solves intersection of two convex polyhedra elegantly Stefan Hertel ; Kurt Mehlhorn ; Martti Mäntylä ; Jurg Nievergelt
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Bemerkungen zur Übersetzbarkeit rekursiver in nichtrekursive Unterprogrammstrukturen Herbert Kopp
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Über die Effizienz von LR(k)-Analysatoren Herbert Kopp
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Replacement algorithms basing on generalized models for program behaviour Otto Spaniol
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
On a theorem of McGowan concerning the most recent property of programs Peter Kandzia ; Hans Langmaack
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
A mathematical approach to program behaviour and look-ahead replacement algorithms Otto Spaniol
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Definition und Implementierung der Programmiersprache PAL Ausarbeitung einer Vorbereitung von Fortgeschrittenen-Praktika Ulrich Peters
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Das erweiterte DATAS-System [Datenstrukturen in assoziativer Speicherung] Gerhard Weck
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Binary search trees: average and worst case behavior Rainer Güttler ; Kurt Mehlhorn ; Wolfgang Schneider
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
An O(n log n) lower bound for the synchronous circuit size of integer multiplication Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Effiziente Algorithmen ein Beispiel Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Semantics of programs in a formal system with partially defined functions Joachim Hertel
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
On the average number of rebalancing operations in weight-balanced trees Norbert Blum ; Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
A calculus for proving properties of while-programs Ingrid Glasner ; Jacques Loeckx
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Lower bounds on the efficiency of transforming static data structures into dynamic structures (revised) Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Implementations of abstract data types and their correctness proofs Jacques Loeckx
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Some properties of implementations of abstract data types Jacques Loeckx
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Parallelmultiplizierer schnelle, platzeffiziente Algorithmen - VLSI-gerechte Realisierungen Bernd Becker
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
A boolean function requiring 3n network size Norbert Blum
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Efficient algorithms for the constraint generation for integrated circuit layout compaction Thomas Lengauer
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Granularity of parallel memories Kurt Mehlhorn ; Uzi Vishkin
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Routing through a rectangle Kurt Mehlhorn ; Franco P. Preparata
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Struktur eines integrierten Bibliotheks- und IuD-Informationssystems Horst Langendörfer ; Helge Scheidig
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Algorithms for routing in planar graphs Michael Becker ; Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Routing through a generalized switchbox Michael Kaufmann ; Kurt Mehlhorn
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
POCO compiler generator user manual Michael Eulenstein
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
Sorting Jordan sequences in linear time Kurt Hoffmann ; Kurt Mehlhorn ; Pierre Rosenstiehl ; Robert E. Tarjan
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
-
New bounds for the longest edge of a tree in a VLSI layout Michael Kaufmann
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011