Did you mean: technology

search result

Cover von Semi-formal and formal specification techniques for software systems
12.07.1998 - 17.07.1998 (98281)
Search for this author
Year: 1998
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 218
Media group: DAGSTUHL-SEMINAR-REP
Cover von Buffering techniques for delivery of compressed video in video-on-demand systems
Author: Feng, Wu-Chi Search for this author
Year: 1997
Publisher: Dordrecht, Kluwer
Series: The Kluwer international series in engineering and computer science; 417
Media group: MONOGRAPHIE
Cover von Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems
Author: Buth, Karl-Heinz Search for this author
Year: 1994
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9414
Media group: DISSERTATION
Cover von A review of a posteriori error estimation and adaptive mesh-refinement techniques
Author: Verführt, Rüdiger Search for this author
Year: 1996
Publisher: Chichester, Wiley
Series: Advances in numerical mathematics
Media group: MONOGRAPHIE
Cover von Heuristic and randomised optimisation techniques in object-oriented database systems
Author: Steinbrunn, Michael Search for this author
Year: 1996
Publisher: St. Augustin, Infix
Series: Dissertationen zu Datenbanken und Informationssystemen; 5
Media group: DISSERTATION
Cover von Selected papers of the fifth international conference on rewriting techniques and applications
Montreal, Canada, 16-18 June 1993
Search for this author
Year: 1995
Publisher: Amsterdam, Elsevier
Series: Theoretical computer science : 142. 1995, 2
Media group: SPECIAL ISSUE
Cover von Techniques for avoiding redundancy in theorem proving based on the connection method
Author: Brüning, Stefan Search for this author
Year: 1994
Publisher: Darmstadt, TH
Media group: DISSERTATION
Cover von Formal techniques in real-time and fault-tolerant systems
Search for this author
Year: 1993
Publisher: Boston, Kluwer
Series: The Kluwer international series in engineering and computer science; 221
Media group: MONOGRAPHIE
Cover von New Analytic Techniques for Proving the Inherent Ambiguity of Context-Free Languages

New Analytic Techniques for Proving the Inherent Ambiguity of Context-Free Languages

Year: 2022
Media group: LIPIcs
Cover von Holonomic Techniques, Periods, and Decision Problems (Invited Talk)

Holonomic Techniques, Periods, and Decision Problems (Invited Talk)

Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0