↓ Skip to main content

GI-4.Jahrestagung

Overview of attention for book
Cover of 'GI-4.Jahrestagung'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 On the Structure of Feasible Computations
  3. Altmetric Badge
    Chapter 2 Toward a Methodology for Designing Large Systems and Verifying Their Properties
  4. Altmetric Badge
    Chapter 3 Datenschutz und Gesellschaft
  5. Altmetric Badge
    Chapter 4 Trends in Computer Science Education
  6. Altmetric Badge
    Chapter 5 How to Teach Computer Science to Students Who Don’t Like Science
  7. Altmetric Badge
    Chapter 6 The Solution of Problems Relative to Probabilistic Automata in the Frame of the Formal Languages Theory
  8. Altmetric Badge
    Chapter 7 Eine Charakterisierung der Szilardsprachen und ihre Verwendung als Steuersprachen
  9. Altmetric Badge
    Chapter 8 Comparing Several Ways of Context-Independent Parallel Rewriting
  10. Altmetric Badge
    Chapter 9 Das Problem der ‚unendlichen Modi‘ in ALGOL 68
  11. Altmetric Badge
    Chapter 10 The D-Calculus: A System to Describe the Semantics of Programs Involving Complex Data Types
  12. Altmetric Badge
    Chapter 11 Effizienzvergleiche von Beweisprozeduren
  13. Altmetric Badge
    Chapter 12 Drei Komplexitätsmasse Zweistufiger Normalformen Boolescher Funktionen
  14. Altmetric Badge
    Chapter 13 Zwei BASIC — Systeme von unterschiedlicher Struktur — Ein Vergleich ihrer Benutzerfreundlichkeit und Effizienz
  15. Altmetric Badge
    Chapter 14 Speicherzuordnung an Datenstrukturen
  16. Altmetric Badge
    Chapter 15 Syntax-Directed Description of Incremental Compilers
  17. Altmetric Badge
    Chapter 16 PLAND2D — Towards a Two-Dimensional Programming Language
  18. Altmetric Badge
    Chapter 17 On a SLR(k)-Based Parser System Which Accepts non-LR(k)Grammars
  19. Altmetric Badge
    Chapter 18 A Binary Control Structure and its Relationship to Grammars and Side Effects
  20. Altmetric Badge
    Chapter 19 A Technique for Parsing Ambiguous Languages
  21. Altmetric Badge
    Chapter 20 Optimization of Generated Code by Means of Attributes: Local elimination of common redundant sub-expressions
  22. Altmetric Badge
    Chapter 21 Code-Optimierung Mittels Attributierter Transformationsgrammatiken
  23. Altmetric Badge
    Chapter 22 Die dynamische Datenbasis des HALORD Systems
  24. Altmetric Badge
    Chapter 23 Semantische Aspekte der Programmoptimierung
  25. Altmetric Badge
    Chapter 24 Deadlock Conditions in Well Structured Modular Systems
  26. Altmetric Badge
    Chapter 25 Über die Lebensdauer von Prozessen in Nichtsequentiellen Algorithmen
  27. Altmetric Badge
    Chapter 26 Modularer Aufbau Einer Familie von Kooperierenden Prozessen
  28. Altmetric Badge
    Chapter 27 Vermeidung von Verklemmungen in Bewerteten Petrinetzen
  29. Altmetric Badge
    Chapter 28 P-T-Netze zur numerischen Simulation von asynchronen Fluessen
  30. Altmetric Badge
    Chapter 29 Elementare Steuerknoten in Datenflußmodellen
  31. Altmetric Badge
    Chapter 30 E-V-Schemata
  32. Altmetric Badge
    Chapter 31 Zur Theorie Unendlicher Parallelprozessoren
  33. Altmetric Badge
    Chapter 32 Fail-Softness Criteria in the Realization of a Minicomputer Disk Operating System to be Used in an “Open-Shop” University Environment
  34. Altmetric Badge
    Chapter 33 Operating Systems with Characteristics of Portability for Minicomputers
  35. Altmetric Badge
    Chapter 34 Trace Driven Studies of Deadlock Control and Job Scheduling
  36. Altmetric Badge
    Chapter 35 Zur Leistungsbewertung von Multiprozessor-Strukturen
  37. Altmetric Badge
    Chapter 36 Memory and Processor Utilization in Safe States
  38. Altmetric Badge
    Chapter 37 Virtuelle Maschinen in Einem Allgemeinen Time-Sharing-Betriebssystem
  39. Altmetric Badge
    Chapter 38 Ein Kommunikationsbetriebssystem für ein Sternförmiges Rechnernetz
  40. Altmetric Badge
    Chapter 39 On Classification Schemes for Computer Systems in the Post-Von-Neumann-Era
  41. Altmetric Badge
    Chapter 40 Micro-Programming Measurement Techniques for the Burroughs B1700
  42. Altmetric Badge
    Chapter 41 Über die Wirksamkeit Zyklischer Abfertigungsstrategien in Realzeitsystemen
  43. Altmetric Badge
    Chapter 42 Probleme der elektronischen Rechtsdokumentation — dargestellt am Beispiel der Steuerrechtsdatenbank der DATEV e G
  44. Altmetric Badge
    Chapter 43 Entwurf eines Datenbanksystems für normierte Kennwerte von Eisen- und Stahlwerkstoffen
  45. Altmetric Badge
    Chapter 44 Aspects of Generality and Efficiency in Programming Language Implementation
  46. Altmetric Badge
    Chapter 45 Zum Problem Der Anonymität Der Befragten Bei Statistischen Datenbanken Mit Dialogauswertung
  47. Altmetric Badge
    Chapter 46 Zugriffssicherung in Datenbanksystemen
  48. Altmetric Badge
    Chapter 47 A Query Language for a Relational Data Base
  49. Altmetric Badge
    Chapter 48 Konzept des Objektbeschreibungsbaums als Grundstruktur eines graphenorientierten Datenbankmodells
  50. Altmetric Badge
    Chapter 49 Beitrag zur Spezifikation der Funktion von Generalisierten Datenbankmanagementsystemen
  51. Altmetric Badge
    Chapter 50 A Structured Database
  52. Altmetric Badge
    Chapter 51 The Partitioning of a Data Base Into Subfiles Matching User’s Queries
  53. Altmetric Badge
    Chapter 52 A Note on Advanced Software Techniques in Computer Graphics
  54. Altmetric Badge
    Chapter 53 Die Definition Generalisierter, Graphischer Eingabegeräte
  55. Altmetric Badge
    Chapter 54 Pattern Recognition of Virus Induced Cell Changes
  56. Altmetric Badge
    Chapter 55 Ein Programmsystem zur interaktiven Triangulierung zweidimensionaler Gebiete in der Methode der finiten Elemente
  57. Altmetric Badge
    Chapter 56 GIULIA — Ein System zum Verarbeiten Analytisch Gegebener Flächen
  58. Altmetric Badge
    Chapter 57 Die Anwendung der B-Spline-Approximation in Computer Graphics
  59. Altmetric Badge
    Chapter 58 Ein Benutzerorientiertes Informationssystem fuer Landesplanerische Applikationen
  60. Altmetric Badge
    Chapter 59 CAMS: Computer Augmented Mapping System
  61. Altmetric Badge
    Chapter 60 Computer Aided Design — Some Occupational and Social Implications
  62. Altmetric Badge
    Chapter 61 Entwicklung und Einsatz Eines Interaktiven Konstruktionsplatzes (IKP)
  63. Altmetric Badge
    Chapter 62 Bericht von einer Dreisemestrigen Seminar-Reihe über ein Thema aus dem Hardware-Bereich
  64. Altmetric Badge
    Chapter 63 An Undergraduate Group Project in Software Engineering
  65. Altmetric Badge
    Chapter 64 Ein Dialogprogrammiersystem für den Unterricht in Programmiersprachen
  66. Altmetric Badge
    Chapter 65 Berufsbild und Perspektiven des Informatikers
  67. Altmetric Badge
    Chapter 66 Konzept und Studienplan für eine Fachrichtung „Wirtschaftsinformatik“ im Studiengang „Informatik“ der TU Berlin
  68. Altmetric Badge
    Chapter 67 Grundausbildung in Informatik
  69. Altmetric Badge
    Chapter 68 Erfahrungen mit dem Versuch eines integrierten Informatik-Grundstudiums
  70. Altmetric Badge
    Chapter 69 Informatik an allgemeinbildenden Schulen
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
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
GI-4.Jahrestagung
Published by
Springer Berlin Heidelberg, December 2013
DOI 10.1007/978-3-662-40087-6
ISBNs
978-3-66-239104-4, 978-3-66-240087-6
Editors

Siefkes, Dirk

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.