K samelson (22 Ergebnisse)

Softcover. Zustand: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Salissures sur la tranche. Edition 1976. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Stains on the edge. Edition 1976. Ammareal gives back up to 15% of this item's net price to charity organizations.…

Broschiert. Zustand: Gut. 427 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 740. …

Hardcover. Zustand: Good. No Dust Jacket. 142 pages. Ex-university library book, light wear, pages toned; a good solid binding. No jacket. Quantity Available: 1. Category: Reference; Inventory No: 208968.

Broschiert. Zustand: Gut. 322 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 565. …

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Names and objects in heterogeneous computer networks.- Trends in computer system structure and architecture.- Aspects of the communication within a multisuppliers computer network.- Communication and synchronization tools in a distributed environment.- Multiprogrammed memory management for random-sized programs.- Integrity, concurrency, and recovery in databases.- An architecture for high-level language database extensions.- Data structures and graph grammars.- Selecting an optimal set of secondary indices.- A model for data structures.- Fast access sequential structures.- Database systems analysis and design.- Formal techniques and sizeable programs.- Constructive methods of program design.- Team organisation in integrated on-line computer projects.- A case study of structured programming with correctness proofs.- Program optimization using invariants.- The GEM COBOL monitor system.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. Names and objects in heterogeneous computer networks.- Trends in computer system structure and architecture.- Aspects of the communication within a multisuppliers computer network.- Communication and synchronization tools in a distributed environment.- Mult.

paperback. Zustand: Gut. 344 Seiten; 9783540078043.3 Gewicht in Gramm: 1.

Paperback. Zustand: Brand New. 416 pages. 9.30x6.20x0.73 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - On the teaching of programming, i.e. on the teaching of thinking.- Parallel programming: An axiomatic approach.- On-the-fly darbage collection: an exercise in cooeration.- An exercise in proving parallel programs correct.- The programming language concurrent pascal.- Guarded commands, non-determinacy and a calculus for the derivation of programs.- Program production by successive transformation.- Programming as an evolutionary process.- Proof of correctness of data representations.- A philosophy of programming.- The structure of an operating system.- Language aspects in operating systems.- Structured programming in the basic layers of an operating system.- A time-wise hierarchy imposed upon the use of a two-level store.- Problems in many-language systems.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Problem oriented programming languages as they have developed over the last ten years essentially serve two purposes which somewhat crudely can be described by the terms man-man communication and man-machine communication, respectively. As a carrier of information between humans, the problem oriented programming language is designed to express the essence of an algorithm in a way which is un ambiguous and concise as well as independent of (and therefore meaning ful without any reference to) the changing details of computing machine ry. As a carrier of information from man to computer, the language permits the human programmer to express his computational needs in a compact way adapted to the general characteristics of computers, but freed from the burdening details of specific computer facilities. This presupposes the existence of algorithms, or programs, which permit the computer itself to transform efficiently programs written in the problem oriented language into machine programs. Thus the entire computing community profits from the work of the individual programmer. The primary purpose of the Handbook is to present a set of algorithms of broad utility from the domain of numerical mathematics written in the problem oriented language ALGOL 60. Therefore, volumes I a and I b are in a sense supplementary as they serve to introduce this language. Volume I a gives a description of the language proper and of its use for writing correct programs. Thus, volume I a primarily covers the aspect of man-man communication by means of ALGOL 60.…

Taschenbuch. Zustand: Neu. ECI Conference 1976 | Proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976 | K. Samelson | Taschenbuch | x | Englisch | 1976 | Springer | EAN 9783540078043 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 416 | Sprache: Englisch | Produktart: Bücher | Problem oriented programming languages as they have developed over the last ten years essentially serve two purposes which somewhat crudely can be described by the terms man-man communication and man-machine communication, respectively. As a carrier of information between humans, the problem oriented programming language is designed to express the essence of an algorithm in a way which is un­ ambiguous and concise as well as independent of (and therefore meaning­ ful without any reference to) the changing details of computing machine­ ry. As a carrier of information from man to computer, the language permits the human programmer to express his computational needs in a compact way adapted to the general characteristics of computers, but freed from the burdening details of specific computer facilities. This presupposes the existence of algorithms, or programs, which permit the computer itself to transform efficiently programs written in the problem oriented language into machine programs. Thus the entire computing community profits from the work of the individual programmer. The primary purpose of the Handbook is to present a set of algorithms of broad utility from the domain of numerical mathematics written in the problem oriented language ALGOL 60. Therefore, volumes I a and I b are in a sense supplementary as they serve to introduce this language. Volume I a gives a description of the language proper and of its use for writing correct programs. Thus, volume I a primarily covers the aspect of man-man communication by means of ALGOL 60.…

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Tutorial.- Technische Datenverarbeitung bei der Planung und Fertigung industrieller Erzeugnisse.- Systemtechnologische Aspekte von CAD-Systemen.- Entwicklung und Integration von Verarbeitungsbausteinen in CAD-Systemen.- Aspects of Data Base Systems for Computer Aided Design.- Technische Aspekte der Kommunikation in CAD-Systemen.- Einzelbeiträge.- Rechnergraphik für CAD.- Rechnerunterstütztes Technisches Zeichnen.- Functional Description of the Graphical Core System GKS as a Step towards Standardization.- Automatische dialogunterstützte Anpassung diskreter Punktfolgen durch stetige Funktionen.- Spezielle Problemlösungen.- Zwei Rechnergestützte Entwurfssysteme für Leiterplatten mit hoher Packungsdichte.- Ein CAD-Anwendungssystem für Autoelektrik.- Einige praktische Aspekte zu CAD und AI bei verfahrenstechnischen Problemlösungen.- SIMFLEX - Ein Softwaresystem zur interaktiven graphischen Erstellung und Steuerung von Modellen flexibler Fertigungssysteme.- Konzept zur Beschreibung und Ausführung von hierarchisch strukturierten Bildschirmdialogen.- Zur automatischen Verifikation der funktionalen Spezifikation sequentieller Schaltungen.- Allgemein Einsetzbare Systeme.- GRADAS - Grafisches Informationssystem auf der Grundlage einer relationalen Datenbank.- Datenstruktur zur interaktiven Behandlung umfangreicher graphischer Datenmengen durch das Graphische System GMB 300.- Das Programmsystem REGENT im praktischen Einsatz.- Hauptvortrag.- Stand und voraussichtliche Entwicklung rechnerunterstützter Methoden (CAD/CAM) in den Verfahrensindustrien mit Ausblicken auf Rationalisierung sowie Qualitäts- und Kostenstruktur. …

Zustand: New. In English.

paperback. Zustand: Gut. 336 Seiten; 9783540084730.3 Gewicht in Gramm: 1.

Paperback. Zustand: Brand New. 336 pages. German language. 9.25x6.10x0.76 inches. In Stock.

Zustand: New.

Zustand: gut. 1977. Methoden der Informatik für Rechnerunterstütztes Entwerfen und Konstruieren: GI-Fachtagung, München, 19-21. Oktober 1977 (Informatik-Fachberichte, 11, Band 11) In deutscher Sprache. pages.