↓ Skip to main content
What is this page? Embed badge

Informatik

Overview of attention for book
Cover of 'Informatik'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 On the Physical Design of PRAMs
  3. Altmetric Badge
    Chapter 2 Synthesis for Testability: Binary Decision Diagrams
  4. Altmetric Badge
    Chapter 3 Ähnlichkeit von Grammatiken — Ansätze und Erfahrungen
  5. Altmetric Badge
    Chapter 4 Verteilung der Nullstellen von Polynomen auf Jordanbögen
  6. Altmetric Badge
    Chapter 5 Distributed Class Group Computation
  7. Altmetric Badge
    Chapter 6 Complexity Measures on Permutations
  8. Altmetric Badge
    Chapter 7 Dynamic Hashing in Real Time
  9. Altmetric Badge
    Chapter 8 Baumautomaten zur Codeselektion
  10. Altmetric Badge
    Chapter 9 Decision Making in the Presence of Noise
  11. Altmetric Badge
    Chapter 10 Über den Nutzen von Orakelfragen bei nichtdeterministischen Kommunikationsprotokollen
  12. Altmetric Badge
    Chapter 11 Performance Optimization of Combinational Circuits
  13. Altmetric Badge
    Chapter 12 An Algebraic Characterization of Context-Free Languages
  14. Altmetric Badge
    Chapter 13 The Bisection Problem for Graphs of Degree 4 (Configuring Transputer Systems)
  15. Altmetric Badge
    Chapter 14 Complexity of Closeness, Sparseness and Segment Equivalence for Context-Free and Regular Languages
  16. Altmetric Badge
    Chapter 15 Communication Complexity and Lower Bounds for Sequential Computation
  17. Altmetric Badge
    Chapter 16 On the Stack Size of a Class of Backtrack Trees
  18. Altmetric Badge
    Chapter 17 Randomized Incremental Construction of Abstract Voronoi Diagrams
  19. Altmetric Badge
    Chapter 18 Über die relativistische Struktur logischer Zeit in verteilten Systemen
  20. Altmetric Badge
    Chapter 19 A Hierarchy Preserving Hierarchical Bottom-Up 2-layer Wiring Algorithm with Respect to Via Minimization
  21. Altmetric Badge
    Chapter 20 Eine O ( e log e ) — Heuristik für ein Flußproblem
  22. Altmetric Badge
    Chapter 21 Computation of the Boolean Matrix-Vector, AND/OR-Produkt in Average Time O(m + nlnn)
  23. Altmetric Badge
    Chapter 22 Durch kinematische Szenen erzeugte topologische Räume
  24. Altmetric Badge
    Chapter 23 Bemerkungen zum Schätzen von Bayesschen Diskriminantenfunktionen
  25. Altmetric Badge
    Chapter 24 Residuation and Guarded Rules for Constraint Logic Programming
  26. Altmetric Badge
    Chapter 25 TPNA: Ein neues Analyseverfahren für Tandem-Prioritäten-Netze
  27. Altmetric Badge
    Chapter 26 Derivation of High Quality Tests for Large Heterogeneous Circuits: Floating-Point Operations
  28. Altmetric Badge
    Chapter 27 Inductive Theorem Proving by Consistency for First-Order Clauses
  29. Altmetric Badge
    Chapter 28 Zur Beherrschbarkeit des Entwicklungsprozesses komplexer Software-Systeme
  30. Altmetric Badge
    Chapter 29 An Intelligent Multimodal Interface
  31. Altmetric Badge
    Chapter 30 Laudatio zum 60. Geburtstag von Prof. Dr. Günter Hotz
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
1 Dimensions
Summary X Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Informatik
Published by
Vieweg+Teubner Verlag, July 2013
DOI 10.1007/978-3-322-95233-2
ISBNs
978-3-81-542033-1, 978-3-32-295233-2
Editors

Buchmann, Johannes, Ganzinger, Harald, Paul, Wolfgang J.

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.