標(biāo)題: Titlebook: GI — 9. Jahrestagung; Bonn, 1.–5. Oktober K. H. B?hling,P. P. Spies Conference proceedings 1979 Springer-Verlag Berlin · Heidelberg 1979 B [打印本頁] 作者: 畸齒矯正學(xué) 時間: 2025-3-21 18:45
書目名稱GI — 9. Jahrestagung影響因子(影響力)
書目名稱GI — 9. Jahrestagung影響因子(影響力)學(xué)科排名
書目名稱GI — 9. Jahrestagung網(wǎng)絡(luò)公開度
書目名稱GI — 9. Jahrestagung網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱GI — 9. Jahrestagung被引頻次
書目名稱GI — 9. Jahrestagung被引頻次學(xué)科排名
書目名稱GI — 9. Jahrestagung年度引用
書目名稱GI — 9. Jahrestagung年度引用學(xué)科排名
書目名稱GI — 9. Jahrestagung讀者反饋
書目名稱GI — 9. Jahrestagung讀者反饋學(xué)科排名
作者: MORPH 時間: 2025-3-21 20:32 作者: 擁護(hù)者 時間: 2025-3-22 03:37
GI — 9. Jahrestagung978-3-642-67444-0Series ISSN 0343-3005 作者: GRAIN 時間: 2025-3-22 08:33 作者: 財主 時間: 2025-3-22 09:51
https://doi.org/10.1007/978-3-642-69955-9Die grundlegende Fragestellung der Komplexit?tstheorie lautet: Wie effizient kann ich mein Lieblingsproblem auf meiner Lieblingsmaschine l?sen?作者: 簡略 時間: 2025-3-22 12:56 作者: 簡略 時間: 2025-3-22 19:53 作者: Canopy 時間: 2025-3-23 00:35 作者: fringe 時間: 2025-3-23 03:16 作者: Kaleidoscope 時間: 2025-3-23 07:01 作者: Analogy 時間: 2025-3-23 12:45 作者: 動脈 時間: 2025-3-23 15:17
The Development of Ada, the Dod languageA short history is given of the development of Ada. The language is surveyed to place it within the context of other major language developments. The major part of the paper explains the reasons why the language has its current form, and comments on other alternatives.作者: 高歌 時間: 2025-3-23 21:40
über Einige Anwendungen Der NetztheorieEs wird ein überblick gegeben über solche Eigenschaften des allgemeinen netztheoretischen Ansatzes, die diesen Ansatz für einen Anwender attraktiv machen k?nnen. Es folgt die Aufz?hlung und kurze Charakterisierung einiger typischer Anwendungsf?lle. Abschlie?end wird ein Ausblick auf m?gliche künftige Anwendungen gegeben.作者: 天氣 時間: 2025-3-23 23:08
Grenzen Und M?glichkeiten Der Verrechtlichung Der DatenverarbeitungDas Recht ist der ADV vor- und zugleich nachgeordnet;作者: 侵略 時間: 2025-3-24 06:18
Rechnerunterstützung Im Bereich Des Entwurfs Von PDV-SoftwareAuf der Grundlage eines ‘pseudocode’-?hnlichen Entwurfssystems entwickelt die GEI ein rechnergestütztes System zum Entwurf von Software für Echtzeitprogrammierung. Diese Arbeit wird aus Mitteln des 3. DV-Programms der Bundesregierung gef?rdert. Besondere Beachtung finden dabei: der Datenansatz, das Echtzeitverhalten, die Entwurfsgüte.作者: 得體 時間: 2025-3-24 08:45
Spezi — Eine Sprache Zur Formulierung Von SpezifikationenDer Begriff der Spezifikation eines Softwaresystems wird definiert als Abschlu?dokument einer Entwicklungsphase zwischen Problemanalyse und Implementierung. Die Konzepte der Spezifikationssprache SPEZI werden kurz umrissen. Auf Sprachdefinition und ein ausführliches Beispiel im Vortrag wird verwiesen.作者: Expiration 時間: 2025-3-24 10:49 作者: 衣服 時間: 2025-3-24 15:06
Paul Maar,Günter Grass,Michael Ende und mancher anderen Neuerung, wird der Begriff “Systemprogrammierung? zunehmend unsch?rfer. Konnte man ihn noch vor einigen Jahren definieren als “Herstellung und Wartung derjenigen Software, welche nicht unmittelbar die Anwenderschnittstelle realisiert?, so ist dies heute kaum noch haltbar. Bei vi作者: Eosinophils 時間: 2025-3-24 19:15
https://doi.org/10.1007/978-3-7643-8313-8es Gesamtsystem beinhaltet die Fahrzeugentwicklungsdatenbank, die den aktuellen Entwicklungsstand des Entwurfsobjekts widerspiegelt, und als System die Menge der rechnerischen Prozeduren, die die Konstruktion, die Analyse, den Prototypenbau, den Versuch und die Werkzeugerstellung unterstützen. Darge作者: BOON 時間: 2025-3-24 23:18
Wege in die Naturwissenschaften, and the data models and data base systems on which they operate. The query languages discussed include also restricted natural language interfaces to data base systems, as research in this direction has been very active in recent years. A classification of each query language is given after a discu作者: NOCT 時間: 2025-3-25 07:04 作者: Kidnap 時間: 2025-3-25 10:02 作者: Cupping 時間: 2025-3-25 14:54 作者: curriculum 時間: 2025-3-25 18:54 作者: 武器 時間: 2025-3-25 22:04
Christopher Worley,Gillian Pillansammen mit einer einfachen Dialogsprache die leichte Bedienbarkeit. Durch eine flexible Definition von Strukturelementen wird das Grundsystem auf den jeweiligen Anwendungsbereich zugeschnitten. Die Entwurf sinformation kann dann halbgrafisch und textf?rmig ausgegeben werden, wobei die Textausgabe den作者: 改良 時間: 2025-3-26 02:01 作者: Lucubrate 時間: 2025-3-26 05:13
Peter Bartelheimer,Thomas von Freybergt loss of efficiency concerning the parsers derivable from such EAGs..The result is that “data flow? in EAGs needs not be specified explicitely, but can be determined automatically, if the EAGs satisfy a condition that is very natural and does not restrict their descriptive power. This condition pro作者: ARM 時間: 2025-3-26 09:53 作者: SHRIK 時間: 2025-3-26 16:39 作者: 突變 時間: 2025-3-26 17:29 作者: exhibit 時間: 2025-3-26 23:45
Erfahrungen Mit Neueren Methoden Zur Konstruktion Zuverl?ssiger Software Bei Der Realisierung Eines iger Systeme. N?her erl?utert wird der bei der Durchführung des Projektes benutzte Abstraktionsmechanismus und die zugeh?rige Beweismethodik. Schlie?lich wird noch über Erfahrungen mit dieser Vorgehensweise w?hrend Spezifikation, Implementierung und Test des Programmsystems berichtet.作者: Infusion 時間: 2025-3-27 01:44 作者: 厭倦嗎你 時間: 2025-3-27 08:29 作者: 惰性氣體 時間: 2025-3-27 12:11
Christopher Worley,Gillian Pillanseweiligen Anwendungsbereich zugeschnitten. Die Entwurf sinformation kann dann halbgrafisch und textf?rmig ausgegeben werden, wobei die Textausgabe den jeweiligen Anforderungen angepasst werden kann. Eine erste Ausbaustufe unterstützt eine interaktive Erzeugung hierarchischer Entwurfsstrukturen und deren Ausgabe in verschiedenen Formen.作者: Accord 時間: 2025-3-27 16:08 作者: Respond 時間: 2025-3-27 21:03
Strategisches Kompetenz-Managementallows compiler descriptions which can more easily proved to be correct with respect to an original mathematical definition of the language. On the other hand, a simple modification of known attribute evaluation methods assures an automatic generation of efficient compiler modules.作者: 極肥胖 時間: 2025-3-27 23:18 作者: Engaging 時間: 2025-3-28 06:05
Wege in die Naturwissenschaften, most query languages were designed for non-programmers, more research is required to determine what these users need and to what extent existent or future query languages satisfy these needs. All references can be found in /1/.作者: 音樂等 時間: 2025-3-28 08:01 作者: 靈敏 時間: 2025-3-28 13:30
Query Languages in Data Base Systems most query languages were designed for non-programmers, more research is required to determine what these users need and to what extent existent or future query languages satisfy these needs. All references can be found in /1/.作者: 玩笑 時間: 2025-3-28 16:38 作者: 澄清 時間: 2025-3-28 22:36 作者: 動物 時間: 2025-3-28 23:53 作者: Watemelon 時間: 2025-3-29 03:24 作者: 商品 時間: 2025-3-29 07:19 作者: Minatory 時間: 2025-3-29 11:55
Vom Nutzen der Langzeitbeobachtung,ith nondeterminacy restricted to partial grammars. The partitioning of grammars moreover suggests the association of different strategies with different partial grammars. This admits the local adjustment of parsing strategies to the respective constructs of a programming language.作者: 青少年 時間: 2025-3-29 18:37
Aktuelle Probleme Der Systemprogrammierung -Eine Subjektive Bestandsaufnahmeelen Mikroprozessor- und Proze?rechner-Systemen l??t sich nur schwer eine exakte Grenze zwischen Anwendungs- und Systemprogrammen ziehen. Und es gibt kaum eine “System-programmier-Technik?, die nicht auch in den Entwurf und die Realisierung der Anwendungssoftware eines gro?en Rechnernetzes eingeht.作者: interrupt 時間: 2025-3-29 22:30 作者: 混雜人 時間: 2025-3-30 01:34
Versuche Der Verrechtlichung Des Internationalen Datenverkehrsften. L?sungen werden sich allerdings nur langfristig verwirklichen lassen und nicht nur auf den Daten= schütz Bedacht zu nehmen haben; es ist etwa auch die Einbeziehung des Informationsverkehrs in die “new economic world order? in Diskussion.作者: 進(jìn)步 時間: 2025-3-30 04:26
Rechnergestütztes Entwerfen und Dokumentieren Von Prozessautomatisierungssystemen Mit EPOSibung der Aufgabenstellung und der Ergebnisse des Entwurfs, sowie zur Durchführung von Prüfungen und zur Erstellung bzw. ?nderung der Dokumentation werden dargestellt und anhand einfacher Beispiele veranschaulicht.作者: 他姓手中拿著 時間: 2025-3-30 10:33 作者: 變態(tài) 時間: 2025-3-30 12:44
Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammarsith nondeterminacy restricted to partial grammars. The partitioning of grammars moreover suggests the association of different strategies with different partial grammars. This admits the local adjustment of parsing strategies to the respective constructs of a programming language.作者: 去世 時間: 2025-3-30 20:02
BOIE Ein Interaktives Entwurfswerkzeugeweiligen Anwendungsbereich zugeschnitten. Die Entwurf sinformation kann dann halbgrafisch und textf?rmig ausgegeben werden, wobei die Textausgabe den jeweiligen Anforderungen angepasst werden kann. Eine erste Ausbaustufe unterstützt eine interaktive Erzeugung hierarchischer Entwurfsstrukturen und deren Ausgabe in verschiedenen Formen.作者: 大量殺死 時間: 2025-3-30 23:46
Two-Level Grammar Translationsnd illustrating its use in a sample translation of ASPLE, a programming language example by Cleaveland and Uzgalis. In addition, we advocate a method of designing such a translation top-down by means of context-free skeleton translations.作者: 侵蝕 時間: 2025-3-31 01:22
An Approach to the Derivation of Compiler Description Concepts from the Mathematical Semantics Conceallows compiler descriptions which can more easily proved to be correct with respect to an original mathematical definition of the language. On the other hand, a simple modification of known attribute evaluation methods assures an automatic generation of efficient compiler modules.作者: 分開 時間: 2025-3-31 06:47 作者: 過時 時間: 2025-3-31 13:06 作者: cogent 時間: 2025-3-31 14:23
Rechnergestützte Automobilentwicklung. Von der Stylingidee zur Produktiones Gesamtsystem beinhaltet die Fahrzeugentwicklungsdatenbank, die den aktuellen Entwicklungsstand des Entwurfsobjekts widerspiegelt, und als System die Menge der rechnerischen Prozeduren, die die Konstruktion, die Analyse, den Prototypenbau, den Versuch und die Werkzeugerstellung unterstützen. Darge作者: 表臉 時間: 2025-3-31 17:57
Query Languages in Data Base Systems and the data models and data base systems on which they operate. The query languages discussed include also restricted natural language interfaces to data base systems, as research in this direction has been very active in recent years. A classification of each query language is given after a discu作者: 辯論的終結(jié) 時間: 2025-4-1 00:48 作者: lipoatrophy 時間: 2025-4-1 04:42
Modelle zur Spezifikation von Prozesslenkungssystemenche Modelle, .. aktionsorientierte Modelle und .. datenorientierte Modelle. (.. ist aus Regel- und Steuerungstechnik gut bekannt; .. und .. werden n?her erl?utert.).Aktionsorientierte Modelle beschreiben die abstrakte “task?-Struktur; Elemente sind “conditions?, d.s. Aussagen über den Systemzustand,作者: optic-nerve 時間: 2025-4-1 07:02
Erfahrungen Mit Neueren Methoden Zur Konstruktion Zuverl?ssiger Software Bei Der Realisierung Eines iger Systeme. N?her erl?utert wird der bei der Durchführung des Projektes benutzte Abstraktionsmechanismus und die zugeh?rige Beweismethodik. Schlie?lich wird noch über Erfahrungen mit dieser Vorgehensweise w?hrend Spezifikation, Implementierung und Test des Programmsystems berichtet.作者: Migratory 時間: 2025-4-1 12:56
Rechnergestütztes Entwerfen und Dokumentieren Von Prozessautomatisierungssystemen Mit EPOSfs-unterstützende Techniken eingeführt. Auf der Grundlage eines Ebenenmodells für die verschiedenen Entwurfsarten (prozeduraler, operationeller und auxiliarer Entwurf) wird der Aufbau des Entwurfsunterstützenden Softwarewerkzeugs EPOS erl?utert. Die Eigenschaften von EPOS als Hilfsmittel zur Beschre作者: delusion 時間: 2025-4-1 14:43
BOIE Ein Interaktives Entwurfswerkzeugammen mit einer einfachen Dialogsprache die leichte Bedienbarkeit. Durch eine flexible Definition von Strukturelementen wird das Grundsystem auf den jeweiligen Anwendungsbereich zugeschnitten. Die Entwurf sinformation kann dann halbgrafisch und textf?rmig ausgegeben werden, wobei die Textausgabe den作者: Celiac-Plexus 時間: 2025-4-1 18:30
