GI. Gesellschaft für Informatik e.V. 2. Jahrestagung: Karlsruhe, 2.–4. Oktober 1972
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | German |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1973
|
| Series: | Lecture Notes in Economics and Mathematical Systems, Operations Research, Computer Science, Social Science
78 |
| Subjects: | |
| Online Access: | FLA01 FHN01 Volltext |
| Physical Description: | 1 Online-Ressource |
| ISBN: | 9783642807329 9783540061274 |
| DOI: | 10.1007/978-3-642-80732-9 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV041611530 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 140130s1973 |||| o||u| ||||||ger d | ||
| 020 | |a 9783642807329 |c Online |9 978-3-642-80732-9 | ||
| 020 | |a 9783540061274 |c Print |9 978-3-540-06127-4 | ||
| 024 | 7 | |a 10.1007/978-3-642-80732-9 |2 doi | |
| 035 | |a (OCoLC)863819987 | ||
| 035 | |a (DE-599)BVBBV041611530 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-634 |a DE-91 |a DE-573 |a DE-706 |a DE-860 |a DE-92 | ||
| 082 | 0 | |a 004 |2 23 | |
| 084 | |a WIR 000 |2 stub | ||
| 100 | 1 | |a Deussen, Peter |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a GI. Gesellschaft für Informatik e.V. 2. Jahrestagung |b Karlsruhe, 2.–4. Oktober 1972 |c herausgegeben von Peter Deussen |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1973 | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Lecture Notes in Economics and Mathematical Systems, Operations Research, Computer Science, Social Science |v 78 | |
| 505 | 0 | |a Hauptvorträge -- Computer System Architecture — A Philosophy of Design -- Informationssysteme -- Hardware-Architecture and Computer Organisation -- Methoden der syntaktischen Analyse bei formalen Sprachen -- Automaten- und Graphentheorie, Formale Sprachen -- Das Transitionsmonoid bei der Parallelkomposition von endlichen Automaten -- Klassifizierung von primitiv-rekursiven Transformationen und Automatentransduktionen -- Untersuchungen über haltende Programme für Turing-Maschinen mit 2 Zeichen und bis zu 5 Befehlen -- An Algorithm for Coloring the Vertices of an Arbitrary Finite Graph -- A Necessary and Sufficient Condition for Chomsky-Productions over Partially Ordered Symbol Sets -- Die Größe des minimalen Analysators einer kontextfreien Grammatik -- Programmschemata mit booleschen Unterprogrammen -- Programmiersysteme -- A Hierarchy of Control Structures -- Mehrdeutige Entscheidungstabellen -- Design of a Generalized Audit Command Language (ACL) -- | |
| 505 | 0 | |a Ein Programmiersystem zur problemnahen Erstellung adaptierter Software -- DIALIS — Ein einfaches Dialogsystem für eine Listensprache -- Messung der Effizienz eines einfachen "Incremental Compiler" -- The Structures of the NCC SIMULA COMPILERS and Bench Mark Comparisons with Other Major Languages -- Error Reporting, Error Treatment, and Error Correction in ALGOL Translation Part 1 -- Error Reporting, Error Treatment, and Error Correction in ALGOL Translation Part 2 -- Betriebssysteme -- Verallgemeinerung -und Implementierung von Synchronisationsoperationen -- Aufruf von Systemleistungen in einem schichtenweise gegliederten Betriebssystem -- Übersetzung von Kommandosprachen -- Modularity of Non-Sequential Programs -- Classes of Optimal Schedules for Multiprocessor Systems -- Durchsatzoptimale Rechnerkern- und Transportkanalvergabe für ein Rechnermodell mit 2 Arbeitsspeicherplätzen -- Simulation von Betriebssoftware auf einer virtuellen PL/1-Maschine -- | |
| 505 | 0 | |a Einplanung eines leistungsfähigen Software-Meßsystemes bei der Entwicklung eines Betriebssystemes -- Analysis of Demand Paging Algorithms -- Einige Methoden zur Vorhersage des Verhaltens kleiner Systeme mit virtuellem Speicher -- Funktionsklassen und dynamische Speicherverwaltung in Realzeit-Datenverarbeitungssystemen -- Modell eines Auftragssystems für die Zeitdienstverwaltung eines Prozeßrechners -- Auftragsverkehr über einen generellen Auftragspuffer bei Prozeßrechnersystemen -- Graphische Systeme -- Sprach- und Datenstruktur des Systems GRAPHIC -- Die Graphik-Software des TR 440 -- FICHE-Software und COM-Programmierung -- Zentraleinheiten und Entwicklungsautomatisierung -- Das Problem der Assoziativspeicherdurchlaufzeit bei Paging- Verfahren im Zehn-Nanosekundenbereich -- Einige Untersuchungen zur Hardware-Realisierung von Software — Operatoren -- Performance Evaluation of Processor Design -- | |
| 505 | 0 | |a Zur Optimierung von Zuverlässigkeit und Nutzungsgrad von Systemen mit Selbstdiagnose -- Realisierung des Streaming-Konzepts -- Durchsatzsteigerung in Rechenanlagen bei Verwendung von kleinen Pufferspeichern -- Experimentiersystem für ein technisches Informatikpraktikum -- Plazieren und Pseudoleitungsfinden bei Schaltkreiskarten -- Interaktiver Einsatz von Sichtgeräten beim rechnerunterstützten Entwurf von Großrechner-Leiterplatten mit Hilfe des Programmsystems ZEISIG -- Die Grundlagen des Programms ATEDIS -- Informationssysteme -- NEOS — Ein Ansatz zur Lösung einiger offener Probleme bei der Kozeption von Datenbanksystemen -- Verfahren zur Sicherung und Wiederherstellung von Datenbeständen -- Juristisches Informationssystem: Eine Fallstudie für ein Informationssystem großen Umfangs -- Das "Pflegeproblem" bei Information-Retrieval-Systeinen -- Formalisieren von Inhalt natürlicher Sprachen durch Deutervalenzen und Deuterkriterien -- Wortstamm-Retrieval in TELDOK 440 -- | |
| 505 | 0 | |a Dynamische Dokumentenräume -- BIBLIS — Ein Bibliotheks-, Informations- und Verwaltungssystem -- Prozessinformatik -- Aufbau betriebssicherer und bedienungsfreundlicher Mehrrechnersysteme zur Prozeßüberwachung -- KOSE — Eine Dialogsprache für Prozeßrechner -- InformationsdarStellung auf Sichtgeräten -- Der Großrechner als Hilfsmittel beim Erstellen und Testen lauffähiger Programme für Prozeßrechner -- Die Prozeßprogrammiersprache PEARL — Systembeschreibung und E/A-Konzept -- Das Task- und Timing-Konzept von PEARL -- Adressen der Autoren | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Computer Science, general | |
| 650 | 4 | |a Informatik | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-80732-9 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SWI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-SWI_Archive | |
| 940 | 1 | |q ZDB-2-SWI_1844/1989 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027052663 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-642-80732-9 |l FLA01 |p ZDB-2-SWI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-80732-9 |l FHN01 |p ZDB-2-SWI |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804151814620184576 |
|---|---|
| any_adam_object | |
| author | Deussen, Peter |
| author_facet | Deussen, Peter |
| author_role | aut |
| author_sort | Deussen, Peter |
| author_variant | p d pd |
| building | Verbundindex |
| bvnumber | BV041611530 |
| classification_tum | WIR 000 |
| collection | ZDB-2-SWI ZDB-2-BAD |
| contents | Hauptvorträge -- Computer System Architecture — A Philosophy of Design -- Informationssysteme -- Hardware-Architecture and Computer Organisation -- Methoden der syntaktischen Analyse bei formalen Sprachen -- Automaten- und Graphentheorie, Formale Sprachen -- Das Transitionsmonoid bei der Parallelkomposition von endlichen Automaten -- Klassifizierung von primitiv-rekursiven Transformationen und Automatentransduktionen -- Untersuchungen über haltende Programme für Turing-Maschinen mit 2 Zeichen und bis zu 5 Befehlen -- An Algorithm for Coloring the Vertices of an Arbitrary Finite Graph -- A Necessary and Sufficient Condition for Chomsky-Productions over Partially Ordered Symbol Sets -- Die Größe des minimalen Analysators einer kontextfreien Grammatik -- Programmschemata mit booleschen Unterprogrammen -- Programmiersysteme -- A Hierarchy of Control Structures -- Mehrdeutige Entscheidungstabellen -- Design of a Generalized Audit Command Language (ACL) -- Ein Programmiersystem zur problemnahen Erstellung adaptierter Software -- DIALIS — Ein einfaches Dialogsystem für eine Listensprache -- Messung der Effizienz eines einfachen "Incremental Compiler" -- The Structures of the NCC SIMULA COMPILERS and Bench Mark Comparisons with Other Major Languages -- Error Reporting, Error Treatment, and Error Correction in ALGOL Translation Part 1 -- Error Reporting, Error Treatment, and Error Correction in ALGOL Translation Part 2 -- Betriebssysteme -- Verallgemeinerung -und Implementierung von Synchronisationsoperationen -- Aufruf von Systemleistungen in einem schichtenweise gegliederten Betriebssystem -- Übersetzung von Kommandosprachen -- Modularity of Non-Sequential Programs -- Classes of Optimal Schedules for Multiprocessor Systems -- Durchsatzoptimale Rechnerkern- und Transportkanalvergabe für ein Rechnermodell mit 2 Arbeitsspeicherplätzen -- Simulation von Betriebssoftware auf einer virtuellen PL/1-Maschine -- Einplanung eines leistungsfähigen Software-Meßsystemes bei der Entwicklung eines Betriebssystemes -- Analysis of Demand Paging Algorithms -- Einige Methoden zur Vorhersage des Verhaltens kleiner Systeme mit virtuellem Speicher -- Funktionsklassen und dynamische Speicherverwaltung in Realzeit-Datenverarbeitungssystemen -- Modell eines Auftragssystems für die Zeitdienstverwaltung eines Prozeßrechners -- Auftragsverkehr über einen generellen Auftragspuffer bei Prozeßrechnersystemen -- Graphische Systeme -- Sprach- und Datenstruktur des Systems GRAPHIC -- Die Graphik-Software des TR 440 -- FICHE-Software und COM-Programmierung -- Zentraleinheiten und Entwicklungsautomatisierung -- Das Problem der Assoziativspeicherdurchlaufzeit bei Paging- Verfahren im Zehn-Nanosekundenbereich -- Einige Untersuchungen zur Hardware-Realisierung von Software — Operatoren -- Performance Evaluation of Processor Design -- Zur Optimierung von Zuverlässigkeit und Nutzungsgrad von Systemen mit Selbstdiagnose -- Realisierung des Streaming-Konzepts -- Durchsatzsteigerung in Rechenanlagen bei Verwendung von kleinen Pufferspeichern -- Experimentiersystem für ein technisches Informatikpraktikum -- Plazieren und Pseudoleitungsfinden bei Schaltkreiskarten -- Interaktiver Einsatz von Sichtgeräten beim rechnerunterstützten Entwurf von Großrechner-Leiterplatten mit Hilfe des Programmsystems ZEISIG -- Die Grundlagen des Programms ATEDIS -- Informationssysteme -- NEOS — Ein Ansatz zur Lösung einiger offener Probleme bei der Kozeption von Datenbanksystemen -- Verfahren zur Sicherung und Wiederherstellung von Datenbeständen -- Juristisches Informationssystem: Eine Fallstudie für ein Informationssystem großen Umfangs -- Das "Pflegeproblem" bei Information-Retrieval-Systeinen -- Formalisieren von Inhalt natürlicher Sprachen durch Deutervalenzen und Deuterkriterien -- Wortstamm-Retrieval in TELDOK 440 -- Dynamische Dokumentenräume -- BIBLIS — Ein Bibliotheks-, Informations- und Verwaltungssystem -- Prozessinformatik -- Aufbau betriebssicherer und bedienungsfreundlicher Mehrrechnersysteme zur Prozeßüberwachung -- KOSE — Eine Dialogsprache für Prozeßrechner -- InformationsdarStellung auf Sichtgeräten -- Der Großrechner als Hilfsmittel beim Erstellen und Testen lauffähiger Programme für Prozeßrechner -- Die Prozeßprogrammiersprache PEARL — Systembeschreibung und E/A-Konzept -- Das Task- und Timing-Konzept von PEARL -- Adressen der Autoren |
| ctrlnum | (OCoLC)863819987 (DE-599)BVBBV041611530 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Wirtschaftswissenschaften |
| doi_str_mv | 10.1007/978-3-642-80732-9 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>06137nmm a2200493zcb4500</leader><controlfield tag="001">BV041611530</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140130s1973 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642807329</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-80732-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540061274</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-06127-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-80732-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863819987</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041611530</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">WIR 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Deussen, Peter</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">GI. Gesellschaft für Informatik e.V. 2. Jahrestagung</subfield><subfield code="b">Karlsruhe, 2.–4. Oktober 1972</subfield><subfield code="c">herausgegeben von Peter Deussen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1973</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Lecture Notes in Economics and Mathematical Systems, Operations Research, Computer Science, Social Science</subfield><subfield code="v">78</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Hauptvorträge -- Computer System Architecture — A Philosophy of Design -- Informationssysteme -- Hardware-Architecture and Computer Organisation -- Methoden der syntaktischen Analyse bei formalen Sprachen -- Automaten- und Graphentheorie, Formale Sprachen -- Das Transitionsmonoid bei der Parallelkomposition von endlichen Automaten -- Klassifizierung von primitiv-rekursiven Transformationen und Automatentransduktionen -- Untersuchungen über haltende Programme für Turing-Maschinen mit 2 Zeichen und bis zu 5 Befehlen -- An Algorithm for Coloring the Vertices of an Arbitrary Finite Graph -- A Necessary and Sufficient Condition for Chomsky-Productions over Partially Ordered Symbol Sets -- Die Größe des minimalen Analysators einer kontextfreien Grammatik -- Programmschemata mit booleschen Unterprogrammen -- Programmiersysteme -- A Hierarchy of Control Structures -- Mehrdeutige Entscheidungstabellen -- Design of a Generalized Audit Command Language (ACL) --</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Ein Programmiersystem zur problemnahen Erstellung adaptierter Software -- DIALIS — Ein einfaches Dialogsystem für eine Listensprache -- Messung der Effizienz eines einfachen "Incremental Compiler" -- The Structures of the NCC SIMULA COMPILERS and Bench Mark Comparisons with Other Major Languages -- Error Reporting, Error Treatment, and Error Correction in ALGOL Translation Part 1 -- Error Reporting, Error Treatment, and Error Correction in ALGOL Translation Part 2 -- Betriebssysteme -- Verallgemeinerung -und Implementierung von Synchronisationsoperationen -- Aufruf von Systemleistungen in einem schichtenweise gegliederten Betriebssystem -- Übersetzung von Kommandosprachen -- Modularity of Non-Sequential Programs -- Classes of Optimal Schedules for Multiprocessor Systems -- Durchsatzoptimale Rechnerkern- und Transportkanalvergabe für ein Rechnermodell mit 2 Arbeitsspeicherplätzen -- Simulation von Betriebssoftware auf einer virtuellen PL/1-Maschine --</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Einplanung eines leistungsfähigen Software-Meßsystemes bei der Entwicklung eines Betriebssystemes -- Analysis of Demand Paging Algorithms -- Einige Methoden zur Vorhersage des Verhaltens kleiner Systeme mit virtuellem Speicher -- Funktionsklassen und dynamische Speicherverwaltung in Realzeit-Datenverarbeitungssystemen -- Modell eines Auftragssystems für die Zeitdienstverwaltung eines Prozeßrechners -- Auftragsverkehr über einen generellen Auftragspuffer bei Prozeßrechnersystemen -- Graphische Systeme -- Sprach- und Datenstruktur des Systems GRAPHIC -- Die Graphik-Software des TR 440 -- FICHE-Software und COM-Programmierung -- Zentraleinheiten und Entwicklungsautomatisierung -- Das Problem der Assoziativspeicherdurchlaufzeit bei Paging- Verfahren im Zehn-Nanosekundenbereich -- Einige Untersuchungen zur Hardware-Realisierung von Software — Operatoren -- Performance Evaluation of Processor Design --</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Zur Optimierung von Zuverlässigkeit und Nutzungsgrad von Systemen mit Selbstdiagnose -- Realisierung des Streaming-Konzepts -- Durchsatzsteigerung in Rechenanlagen bei Verwendung von kleinen Pufferspeichern -- Experimentiersystem für ein technisches Informatikpraktikum -- Plazieren und Pseudoleitungsfinden bei Schaltkreiskarten -- Interaktiver Einsatz von Sichtgeräten beim rechnerunterstützten Entwurf von Großrechner-Leiterplatten mit Hilfe des Programmsystems ZEISIG -- Die Grundlagen des Programms ATEDIS -- Informationssysteme -- NEOS — Ein Ansatz zur Lösung einiger offener Probleme bei der Kozeption von Datenbanksystemen -- Verfahren zur Sicherung und Wiederherstellung von Datenbeständen -- Juristisches Informationssystem: Eine Fallstudie für ein Informationssystem großen Umfangs -- Das "Pflegeproblem" bei Information-Retrieval-Systeinen -- Formalisieren von Inhalt natürlicher Sprachen durch Deutervalenzen und Deuterkriterien -- Wortstamm-Retrieval in TELDOK 440 --</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Dynamische Dokumentenräume -- BIBLIS — Ein Bibliotheks-, Informations- und Verwaltungssystem -- Prozessinformatik -- Aufbau betriebssicherer und bedienungsfreundlicher Mehrrechnersysteme zur Prozeßüberwachung -- KOSE — Eine Dialogsprache für Prozeßrechner -- InformationsdarStellung auf Sichtgeräten -- Der Großrechner als Hilfsmittel beim Erstellen und Testen lauffähiger Programme für Prozeßrechner -- Die Prozeßprogrammiersprache PEARL — Systembeschreibung und E/A-Konzept -- Das Task- und Timing-Konzept von PEARL -- Adressen der Autoren</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-80732-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SWI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SWI_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SWI_1844/1989</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027052663</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-80732-9</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-2-SWI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-80732-9</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-SWI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV041611530 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:00:48Z |
| institution | BVB |
| isbn | 9783642807329 9783540061274 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027052663 |
| oclc_num | 863819987 |
| open_access_boolean | |
| owner | DE-634 DE-91 DE-BY-TUM DE-573 DE-706 DE-860 DE-92 |
| owner_facet | DE-634 DE-91 DE-BY-TUM DE-573 DE-706 DE-860 DE-92 |
| physical | 1 Online-Ressource |
| psigel | ZDB-2-SWI ZDB-2-BAD ZDB-2-SWI_Archive ZDB-2-SWI_1844/1989 |
| publishDate | 1973 |
| publishDateSearch | 1973 |
| publishDateSort | 1973 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Lecture Notes in Economics and Mathematical Systems, Operations Research, Computer Science, Social Science |
| spelling | Deussen, Peter Verfasser aut GI. Gesellschaft für Informatik e.V. 2. Jahrestagung Karlsruhe, 2.–4. Oktober 1972 herausgegeben von Peter Deussen Berlin, Heidelberg Springer Berlin Heidelberg 1973 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Economics and Mathematical Systems, Operations Research, Computer Science, Social Science 78 Hauptvorträge -- Computer System Architecture — A Philosophy of Design -- Informationssysteme -- Hardware-Architecture and Computer Organisation -- Methoden der syntaktischen Analyse bei formalen Sprachen -- Automaten- und Graphentheorie, Formale Sprachen -- Das Transitionsmonoid bei der Parallelkomposition von endlichen Automaten -- Klassifizierung von primitiv-rekursiven Transformationen und Automatentransduktionen -- Untersuchungen über haltende Programme für Turing-Maschinen mit 2 Zeichen und bis zu 5 Befehlen -- An Algorithm for Coloring the Vertices of an Arbitrary Finite Graph -- A Necessary and Sufficient Condition for Chomsky-Productions over Partially Ordered Symbol Sets -- Die Größe des minimalen Analysators einer kontextfreien Grammatik -- Programmschemata mit booleschen Unterprogrammen -- Programmiersysteme -- A Hierarchy of Control Structures -- Mehrdeutige Entscheidungstabellen -- Design of a Generalized Audit Command Language (ACL) -- Ein Programmiersystem zur problemnahen Erstellung adaptierter Software -- DIALIS — Ein einfaches Dialogsystem für eine Listensprache -- Messung der Effizienz eines einfachen "Incremental Compiler" -- The Structures of the NCC SIMULA COMPILERS and Bench Mark Comparisons with Other Major Languages -- Error Reporting, Error Treatment, and Error Correction in ALGOL Translation Part 1 -- Error Reporting, Error Treatment, and Error Correction in ALGOL Translation Part 2 -- Betriebssysteme -- Verallgemeinerung -und Implementierung von Synchronisationsoperationen -- Aufruf von Systemleistungen in einem schichtenweise gegliederten Betriebssystem -- Übersetzung von Kommandosprachen -- Modularity of Non-Sequential Programs -- Classes of Optimal Schedules for Multiprocessor Systems -- Durchsatzoptimale Rechnerkern- und Transportkanalvergabe für ein Rechnermodell mit 2 Arbeitsspeicherplätzen -- Simulation von Betriebssoftware auf einer virtuellen PL/1-Maschine -- Einplanung eines leistungsfähigen Software-Meßsystemes bei der Entwicklung eines Betriebssystemes -- Analysis of Demand Paging Algorithms -- Einige Methoden zur Vorhersage des Verhaltens kleiner Systeme mit virtuellem Speicher -- Funktionsklassen und dynamische Speicherverwaltung in Realzeit-Datenverarbeitungssystemen -- Modell eines Auftragssystems für die Zeitdienstverwaltung eines Prozeßrechners -- Auftragsverkehr über einen generellen Auftragspuffer bei Prozeßrechnersystemen -- Graphische Systeme -- Sprach- und Datenstruktur des Systems GRAPHIC -- Die Graphik-Software des TR 440 -- FICHE-Software und COM-Programmierung -- Zentraleinheiten und Entwicklungsautomatisierung -- Das Problem der Assoziativspeicherdurchlaufzeit bei Paging- Verfahren im Zehn-Nanosekundenbereich -- Einige Untersuchungen zur Hardware-Realisierung von Software — Operatoren -- Performance Evaluation of Processor Design -- Zur Optimierung von Zuverlässigkeit und Nutzungsgrad von Systemen mit Selbstdiagnose -- Realisierung des Streaming-Konzepts -- Durchsatzsteigerung in Rechenanlagen bei Verwendung von kleinen Pufferspeichern -- Experimentiersystem für ein technisches Informatikpraktikum -- Plazieren und Pseudoleitungsfinden bei Schaltkreiskarten -- Interaktiver Einsatz von Sichtgeräten beim rechnerunterstützten Entwurf von Großrechner-Leiterplatten mit Hilfe des Programmsystems ZEISIG -- Die Grundlagen des Programms ATEDIS -- Informationssysteme -- NEOS — Ein Ansatz zur Lösung einiger offener Probleme bei der Kozeption von Datenbanksystemen -- Verfahren zur Sicherung und Wiederherstellung von Datenbeständen -- Juristisches Informationssystem: Eine Fallstudie für ein Informationssystem großen Umfangs -- Das "Pflegeproblem" bei Information-Retrieval-Systeinen -- Formalisieren von Inhalt natürlicher Sprachen durch Deutervalenzen und Deuterkriterien -- Wortstamm-Retrieval in TELDOK 440 -- Dynamische Dokumentenräume -- BIBLIS — Ein Bibliotheks-, Informations- und Verwaltungssystem -- Prozessinformatik -- Aufbau betriebssicherer und bedienungsfreundlicher Mehrrechnersysteme zur Prozeßüberwachung -- KOSE — Eine Dialogsprache für Prozeßrechner -- InformationsdarStellung auf Sichtgeräten -- Der Großrechner als Hilfsmittel beim Erstellen und Testen lauffähiger Programme für Prozeßrechner -- Die Prozeßprogrammiersprache PEARL — Systembeschreibung und E/A-Konzept -- Das Task- und Timing-Konzept von PEARL -- Adressen der Autoren Computer science Computer Science Computer Science, general Informatik https://doi.org/10.1007/978-3-642-80732-9 Verlag Volltext |
| spellingShingle | Deussen, Peter GI. Gesellschaft für Informatik e.V. 2. Jahrestagung Karlsruhe, 2.–4. Oktober 1972 Hauptvorträge -- Computer System Architecture — A Philosophy of Design -- Informationssysteme -- Hardware-Architecture and Computer Organisation -- Methoden der syntaktischen Analyse bei formalen Sprachen -- Automaten- und Graphentheorie, Formale Sprachen -- Das Transitionsmonoid bei der Parallelkomposition von endlichen Automaten -- Klassifizierung von primitiv-rekursiven Transformationen und Automatentransduktionen -- Untersuchungen über haltende Programme für Turing-Maschinen mit 2 Zeichen und bis zu 5 Befehlen -- An Algorithm for Coloring the Vertices of an Arbitrary Finite Graph -- A Necessary and Sufficient Condition for Chomsky-Productions over Partially Ordered Symbol Sets -- Die Größe des minimalen Analysators einer kontextfreien Grammatik -- Programmschemata mit booleschen Unterprogrammen -- Programmiersysteme -- A Hierarchy of Control Structures -- Mehrdeutige Entscheidungstabellen -- Design of a Generalized Audit Command Language (ACL) -- Ein Programmiersystem zur problemnahen Erstellung adaptierter Software -- DIALIS — Ein einfaches Dialogsystem für eine Listensprache -- Messung der Effizienz eines einfachen "Incremental Compiler" -- The Structures of the NCC SIMULA COMPILERS and Bench Mark Comparisons with Other Major Languages -- Error Reporting, Error Treatment, and Error Correction in ALGOL Translation Part 1 -- Error Reporting, Error Treatment, and Error Correction in ALGOL Translation Part 2 -- Betriebssysteme -- Verallgemeinerung -und Implementierung von Synchronisationsoperationen -- Aufruf von Systemleistungen in einem schichtenweise gegliederten Betriebssystem -- Übersetzung von Kommandosprachen -- Modularity of Non-Sequential Programs -- Classes of Optimal Schedules for Multiprocessor Systems -- Durchsatzoptimale Rechnerkern- und Transportkanalvergabe für ein Rechnermodell mit 2 Arbeitsspeicherplätzen -- Simulation von Betriebssoftware auf einer virtuellen PL/1-Maschine -- Einplanung eines leistungsfähigen Software-Meßsystemes bei der Entwicklung eines Betriebssystemes -- Analysis of Demand Paging Algorithms -- Einige Methoden zur Vorhersage des Verhaltens kleiner Systeme mit virtuellem Speicher -- Funktionsklassen und dynamische Speicherverwaltung in Realzeit-Datenverarbeitungssystemen -- Modell eines Auftragssystems für die Zeitdienstverwaltung eines Prozeßrechners -- Auftragsverkehr über einen generellen Auftragspuffer bei Prozeßrechnersystemen -- Graphische Systeme -- Sprach- und Datenstruktur des Systems GRAPHIC -- Die Graphik-Software des TR 440 -- FICHE-Software und COM-Programmierung -- Zentraleinheiten und Entwicklungsautomatisierung -- Das Problem der Assoziativspeicherdurchlaufzeit bei Paging- Verfahren im Zehn-Nanosekundenbereich -- Einige Untersuchungen zur Hardware-Realisierung von Software — Operatoren -- Performance Evaluation of Processor Design -- Zur Optimierung von Zuverlässigkeit und Nutzungsgrad von Systemen mit Selbstdiagnose -- Realisierung des Streaming-Konzepts -- Durchsatzsteigerung in Rechenanlagen bei Verwendung von kleinen Pufferspeichern -- Experimentiersystem für ein technisches Informatikpraktikum -- Plazieren und Pseudoleitungsfinden bei Schaltkreiskarten -- Interaktiver Einsatz von Sichtgeräten beim rechnerunterstützten Entwurf von Großrechner-Leiterplatten mit Hilfe des Programmsystems ZEISIG -- Die Grundlagen des Programms ATEDIS -- Informationssysteme -- NEOS — Ein Ansatz zur Lösung einiger offener Probleme bei der Kozeption von Datenbanksystemen -- Verfahren zur Sicherung und Wiederherstellung von Datenbeständen -- Juristisches Informationssystem: Eine Fallstudie für ein Informationssystem großen Umfangs -- Das "Pflegeproblem" bei Information-Retrieval-Systeinen -- Formalisieren von Inhalt natürlicher Sprachen durch Deutervalenzen und Deuterkriterien -- Wortstamm-Retrieval in TELDOK 440 -- Dynamische Dokumentenräume -- BIBLIS — Ein Bibliotheks-, Informations- und Verwaltungssystem -- Prozessinformatik -- Aufbau betriebssicherer und bedienungsfreundlicher Mehrrechnersysteme zur Prozeßüberwachung -- KOSE — Eine Dialogsprache für Prozeßrechner -- InformationsdarStellung auf Sichtgeräten -- Der Großrechner als Hilfsmittel beim Erstellen und Testen lauffähiger Programme für Prozeßrechner -- Die Prozeßprogrammiersprache PEARL — Systembeschreibung und E/A-Konzept -- Das Task- und Timing-Konzept von PEARL -- Adressen der Autoren Computer science Computer Science Computer Science, general Informatik |
| title | GI. Gesellschaft für Informatik e.V. 2. Jahrestagung Karlsruhe, 2.–4. Oktober 1972 |
| title_auth | GI. Gesellschaft für Informatik e.V. 2. Jahrestagung Karlsruhe, 2.–4. Oktober 1972 |
| title_exact_search | GI. Gesellschaft für Informatik e.V. 2. Jahrestagung Karlsruhe, 2.–4. Oktober 1972 |
| title_full | GI. Gesellschaft für Informatik e.V. 2. Jahrestagung Karlsruhe, 2.–4. Oktober 1972 herausgegeben von Peter Deussen |
| title_fullStr | GI. Gesellschaft für Informatik e.V. 2. Jahrestagung Karlsruhe, 2.–4. Oktober 1972 herausgegeben von Peter Deussen |
| title_full_unstemmed | GI. Gesellschaft für Informatik e.V. 2. Jahrestagung Karlsruhe, 2.–4. Oktober 1972 herausgegeben von Peter Deussen |
| title_short | GI. Gesellschaft für Informatik e.V. 2. Jahrestagung |
| title_sort | gi gesellschaft fur informatik e v 2 jahrestagung karlsruhe 2 4 oktober 1972 |
| title_sub | Karlsruhe, 2.–4. Oktober 1972 |
| topic | Computer science Computer Science Computer Science, general Informatik |
| topic_facet | Computer science Computer Science Computer Science, general Informatik |
| url | https://doi.org/10.1007/978-3-642-80732-9 |
| work_keys_str_mv | AT deussenpeter gigesellschaftfurinformatikev2jahrestagungkarlsruhe24oktober1972 |