Gi - 11. Jahrestagung: In Verbindung Mit Third Conference Of The European Co-Operation In Informatics (Eci) München, 20.-23. Oktober 1981 . Proceedings (Informatik-Fachberichte (50)
8 Angebote vergleichen

Von Händler/Antiquariat, Petra Gros Versandantiquariat, 56070 Koblenz.
Unbekannter Einband Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel...); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. gebraucht; gut, 2020-11-26.

Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
This item is printed on demand - Print on Demand Titel. Neuware - Semantik von Programmiersprachen.- Invariance of Approximative Semantics with Respect to Program Transformations.- Description of Parameterized Compiler Modules.- Static-Scope-LISP: Zerlegung Eines Interpretierers in Übersetzer und Laufzeitsystem.- Programs as Transformations of Algebraic Theories (Extended Abstract).- Relating Uniform and Nonuniform Models of Computation.- Semantikdefinition im Rahmen Eines Programmiersystemgenerators.- Die formale Entwicklung der maschinenunabhängigen Zwischensprache CAT.- Hoare-Style Proof Systems and Formal Computations.- A Characterization of Program Equivalence in Terms of Hoare s Logic.- Semantics of Distributed Processes Derived by Translation.- A Proof System for Brinch Hansen s Distributed Processes.- Implementations of abstract data types and their verification.- GOTOs A Study in the Algebraic Specification of Programming Languages (Extended Abstract).- An Order Semantics for Non-Deterministic Recursive Program Schemes.- Quantitative Aspekte des Software-Engineering.- Quantifizierung der Qualität von Software.- Ermittlung und Verwendung quantitativer Angaben zur Bewertung der Qualität von Software-Produkten.- Der Einfluß von Strukturierungsmethoden der Anwendungsprogrammierung auf die Durchlaufzeit von Programmen.- Quantitative Ansätze zur Bestimmung der Komplexität von Software-Systemen.- Eine Metrik zur Bewertung der Modularisierung.- Entwurfs- und Entwicklungswerkzeuge für Rechnergestützte Informationssysteme.- ISAC eine Analyse- und Entwurfsmethode für komplexe Softwaresysteme.- Designing the Conceptual Database Schema A Framework for an Interactive Approach.- Entwurfs- und Entwicklungswerkzeuge für rechnergestützte Informationssysteme.- Das Data Dictionary : Ein universelles Werkzeug beim Aufbau und Einsatz von Informationssystemen.- Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications.- Durch Prädikation zu Objekttypen.- Sichere Systems.- Self-Diagnosis for Parallel Computers.- Verfahren zur Erkennung von Einfach- und Doppelausfällen in Einem Zweikanaligen Schaltkreissystem.- Ein Baukastenkonzept für Fehlertolerante Multi-Mikroprozessorsysteme.- Entwurf eines hochzuverlässigen redundanten Mikrorechnernetzes.- Sicherung Statistischer Datenbanken: Output von Intervallen.- Schutz, Sicherung und Sicherheit Versuch einer Begriffsklärung aus der Sicht der Informatik.- Informatik in der Schule.- Computer an der Schule im Wandel.- Projektbezogenes Arbeiten in Einem Grundkurs Informatik.- Informatik im zweiten Bildungsweg Erfahrungen mit einem Informatikkurs am Abendgymnasium.- Zum Beginn des Rechnereinsatzes im Informatikunterricht.- Erste Erfahrungen mit Informatik als Abiturprüfungsfach in Niedersachsen.- Berufsqualifizierender Datenverarbeitungsunterricht.- Lernziele im Informatik-Datenverarbeitungs-Organisationslehre-Unterricht kaufmännischer Schulen.- Computer als konviviale Werkzeuge.- Der Bildschirmcomputer im Physikunterricht.- Auswertungen naturwissenschaftlicher Meßreihen und sozialwissenschaftlicher Erhebungen mit Computerunterstützung.- Systematischer Entwurf von PDV-Systemen.- Ein Projektmodell und Werkzeuge zu dessen Unterstützung.- Erfahrungen beim softwareorientierten Entwurf eines portablen Betriebsleitsystems des öffentlichen Personennahverkehrs.- Einige Bemerkungen zum Verständnis Nebenläufiger Prozesse und Systeme.- Der Entwurf Nebenläufiger Systeme mit Handlungs-Entscheidungs-Netzen.- Anforderungen an die Software zur Gestaltung humaner Arbeitsplätze in computergesteuerten Fertigungsprozessen.- Wie formal soll und darf die Beschreibung des Pflichtenheftes für ein Prozeßautomatisierungssystem sein .- Aktuelle Entwickkungen auf dem Gebiet Computergestützter Personal-Informationssysteme.- Kontextverluste in Computergestützten Personalinformationssystemen.- Erfahrungen über die Implementierung eines Konzeptes für ein Personalinformationssyste.

Von Händler/Antiquariat, Roland Antiquariat UG (haftungsbeschränkt) Ali Mert, 69469 Weinheim.
1 Unbekannter Einband Guter Zustand. Leseseiten sind sehr sauber u. ohne Markierungen. Ehem. Bibliotheksexemplar mit entsprechender Kennzeichnung und leichten Lager- bzw. Gebrauchsspuren. Ansonsten sehr ordentliches Exemplar. 9783540108849, gebraucht; gut, 2020-11-20.

Lieferung aus: Deutschland, Auf Lager. Lieferung von Amazon, Versandkostenfrei.
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen

Lieferung aus: Deutschland, Auf Lager. Tatsächliche Versandkosten können abweichen.
Von Händler/Antiquariat, roant.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen

Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: DEU.
Von Händler/Antiquariat, Ergodebooks.
Springer, 1981-11-30. 1. Paperback. Good.

Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkosten nach: DEU.
Von Händler/Antiquariat, Revaluation Books.
Springer, 1981. Paperback. New.

Lieferung aus: Vereinigte Staaten von Amerika, 1 to 3 days.
Remote Warehouse.