Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. GI Jahrestagung 1974: Berlin
- Dirk Siefkes:
GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974. Lecture Notes in Computer Science 26, Springer 1975, ISBN 3-540-07141-5
Hauptvorträge
- Juris Hartmanis, Janos Simon:
On the Structure of Feasible Computation. 3-51 - Peter G. Neumann:
Toward a Methodology for Designing Large Systems and Verifying Their Properties. 52-67 - Herbert Fiedler:
Datschutz und Gesellschaft. 68-84 - Peter Naur:
Trends in Computer Science Education. 85-93 - Sietse G. van der Meulen:
How to Teach Computer Science to Students Who Don't Like Science. 94-103
Theoretische Grundlagen
- Alberto Bertoni:
The Solution of Problems Relative to Probabilistic Automata in the Frame of the Formal Languages Theory. 107-112 - Matthias Höpner:
Eine Charakterisierung der Szilardsprachen und ihre Verwendung als Steuersprachen. 113-121 - Manfred Kudlek:
Comparing Several Ways of Context-Independent Parallel Rewriting. 122-130 - Stephen Heilbrunner:
Das Problem der 'unendlichen Modi' in Algol 68. 131-139 - Peter Raulefs:
The D-Calculus: A System to Describe the Semantics of Programs Involving Complex Data Types (Summary). 140-152 - Wolfgang Bibel:
Effizienzvergleiche von Beweisprozeduren. 153-160 - Wolfgang Coy:
Drei Komplexitätsmaße zweistufiger Normalformen Boolescher Funktionen. 161-169
Programmiersprachen und Compiler
- Jürgen Klonk, Hans Albrecht Schmid:
Zwei BASIC-Systeme von unterschiedlicher Struktur - Ein Vergleich ihrer Benutzerfreudlichkeit und Effizienz. 173-182 - Fred Kröger:
Speicherzuordnung an Datenstrukturen. 183-191 - Hans Jürgen Schneider:
Syntax-Directed Description of Incremental Compilers. 192-201 - Ernst Denert, Reinhold Franck, W. Streng:
PLAN2D - Towards a Two-Dimensional Programming Language. 202-213 - Hans H. Kron, Hans-Jürgen Hoffmann, Gerhard Winkler:
On a SLR(k)-based Parser System Which Accepts Non-LR(k) Grammars. 214-223 - Hartmut Feuerhahn:
A Binary Control Structure and its Relationship to Grammars and Side Effects. 224-232 - Cornelis H. A. Koster:
A Technique for Parsing Ambiguous Languages. 233-246 - D. Neel, M. Amirchahy, Monique Mazaud:
Optimization of Generated Code by Means of Attributes: Local Elimination of Common Redandant Sub-Expressions. 247-256 - Reinhard Wilhelm:
Code-Optimierung Mittels Attributierter Transformationsgrammatiken. 257-266 - J. Martin, Christiane Floyd, Rita Nagel, Peter Schnupp, O. Wörz:
Die dynamische Datenbasis des HALORD Systems. 267-276 - Helmut Roth:
Semantische Aspekte der Programmoptimierung. 277-286
Nichtsequentielle Systeme
- Paolo Ancilotti, Mario Fusani, Norma Lijtmaer, Costantino Thanos:
Deadlock Conditions in Well Structured Modular Systems. 289-298 - Klaus-Peter Löhr:
Über die Lebensdauer von Prozessen in Nichtsequentiellen Algorithmen. 299-307 - Jürn Jürgens:
Modularer Aufbau einer Familie von Kooperierenden Prozessen. 308-315 - R. Schroff:
Vermeidung von Verklemmungen in Bewerteten Petrinetzen. 316-325 - Hans Fuss:
P-T-Netze zur numerischen Simulation von asynchronen Flüssen. 326-335 - Hans-Jürgen Gottschalk:
Elementare Steuerknoten in Datenflußmodellen. 336-344 - Hans J. Becker, Hagen Vogel:
E-V-Schemata: Ein Ansatz zur formalen Behandlung paralleler Prozesse. 345-354 - F. Schwenkel:
Zur Theorie unendlicher Parallelprozessoren. 355-364
Betriebssysteme
- J. Harms:
Fail-Softness Criteria in the Realization of a Minicomputer Disk Operating System to be Used in an "Open-Shop" University Environment. 367-376 - R. Rossi, M. Spadoni, Paolo Toth:
Operating Systems with Characteristics of Portability for Minicomputers. 377-385 - Stephen W. Sherman, John H. Howard, James C. Browne:
Trace Driven Studies of Deadlock Control and Job Scheduling. 386-395 - Siegfried Hoener:
Zur Leistungsbewertung von Multiprozessor-Strukturen. 396-405 - Sigram Schindler, Steffen Buder:
Memory and Processor Utilization in Safe States. 406-415 - Michael Heinz:
Virtuelle Maschinen in einem allgemeinen Time-Sharing-Betriebssystem. 416-427 - Dieter Baum, H.-D. Schrödter:
Ein Kommunikationsbetriebssystem für ein Sternförmiges Rechnernetz. 428-436
Rechnerarchitektur und Bewertung
- Wolfgang Händler:
On Classification Schemes for Computer Systems in the Post-von-Neumann-Era. 439-452 - W. Michael Denny:
Micro-Programming Measurement Techniques for the Burroughs B1700. 453-462 - Paul J. Kühn, Manfred Langenbach-Belz:
Über die Wirksamkeit zyklischer Abfertigungsstrategien in Realzeitsystemen. 463-472
Informationssysteme
- Joachim Conradi:
Probleme der elektronischen Rechtsdokumentation - dargestellt am Beispiel der Steuerrechtsdatenbank der DATEV e G. 475-483 - Gert Dathe, Karl-Heinz Dreckmann:
Entwurf eines Datenbanksystems für normierte Kennwerte von Eisen- und Stahlwerkstoffen. 484-493 - Johannes J. Martin:
Aspects of Generality and Efficiency in Programming Language Implementation. 494-501 - Jan Schlörer:
Zum Problem der Anonymität der Befragten bei Statistischen Datenbanken mit Dialogauswertung. 502-511 - Peter Haberäcker, M. Lehner:
Zugriffssicherung in Datenbanksystemen. 512-523 - Alain Pirotte, Pierre L. Wodon:
A Query Language for a Relational Data Base. 524-531 - Arno Dörrscheidt:
Konzept des Objektbeschreibungsbaums als Grundstruktur eines graphenorientierten Datenbankmodells. 532-541 - Herbert Weber:
Beitrag zur Spezifikation der Funktion von generalisierten Datenbankmanagementsystemen. 542-553 - Sten-Åke Tärnlund:
A Structured Database. 554-562 - I. M. Osman:
The Partitioning of a Data Base into Subfiles Matching User's Queries. 563-575
Computer Graphics
- Heinz U. Lemke, A. P. Armit:
A Note on Advanced Software Techniques in Computer Graphics. 579-588 - Ulrich Trambacz:
Die Definition generalisierter, graphischer Eingabegerämte. 589-605 - F. Brakhagen:
Ein Programmsystem zur interaktiven Triangulierung zweidimensionaler Gebiete in der Methode der finiten Elemente. 606-610 - Erhard Becker, F. Reutter:
GIULIA - Ein System zum Verarbeiten analytisch gegebener Flächen. 611-620 - Wolfgang Straßer:
Die Anwendung der B-Spline-Approximation in Computer Graphics. 621-630
Anwendung: Geographie, Konstruieren
- K. Ch. Hase:
Ein Benutzerorientiertes Informationssystem für landesplanerische Applikationen. 633-640 - R. W. Hessdorfer:
CAMS: Computer Augmented Mapping System. 641-651 - M. J. W. Cooley:
Computer Aided Design - Some Occupational and Social Implications. 652-658 - Hermann Flessner, Peter Gorny, Heinz-Peter Haake, Werner Hansmann:
Entwicklung und Einsatz eines interaktiven Konstruktionsplatzes (IKP). 659-669
Ausbildung
- Wolfgang Coy:
Bericht von einer dreisemestrigen Seminar-Reihe über ein Thema aus dem Hardware-Bereich. 673-678 - S. E. Binns, A. R. West:
An Undergraduate Group Project in Software Engineering. 679-685 - Rolf Langebartels, Oskar Hecker, J. Hinrichs, S. Madalo, Karl-Heinz Rödiger:
Ein Dialogprogrammiersystem für den Unterricht in Programmiersprachen. 686-695 - Hans-Christian Zedlitz:
Berufsbild und Perspektiven des Informatikers. 696-702 - Holger Franck, Thorsten Spitta:
Konzept und Studienplan für eine Fachrichtung "Wirtschaftsinformatik" im Studiengang "Informatik" der TU Berlin. 703-712 - Christiane Floyd:
Grundausbildung Informatik. 713-715 - N. Oris:
Erfahrungen mit dem Versuch eines integrierten Informatik-Grundstudiums. 716-729 - U. Bosler, W. Bookhagen, Oskar Hecker, W. Koch, O. Rabus:
Informatik an allgemeinbildenden Schulen. 730-739
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-16 20:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
