springer springer vieweg jan 1993 (4 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or reliability. The most promising solution seems to be the increased automation of software production: programmer productivity would improve, and correctness could be ensured by the application of mathematical methods. Because of their mathematical foundations, logic programs lend themselves particularly well to machine-assisted development techniques, and therefore to automation. This volume contains the proceedings of the second International Workshop on Logic Program Synthesis and Transformation (LOPSTR 92), held at the University of Manchester, 2-3 July 1992. The LOPSTR workshops are the only international meetings devoted to these two important areas. A variety of new techniques were described at the workshop, all of which promise to revolutionize the software industry once they become standard practise. These include techniques for the transformation of an inefficient program into an equivalent, efficient one, and the synthesis of a program from a formal specification of its required behaviour. Among the topics covered in this volume are: optimal transformation of logic programs; logic program synthesis via proof planning; deductive synthesis of programs for query answering; efficient compilation of lazy narrowing into Prolog; synthesis of narrowing programs; Logimix: a self-applicable partial evaluator for Prolog; proof nets; automatic termination analysis. Logic Program Synthesis and Transformation describes the latest advances in machine-assisted development of logic programs. It will provide essential reading for researchers and postgraduate students concerned with these two important areas.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 288 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -management' sehr prazise. 276 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Vorwort Mikrocontroller sind in vielen technischen Bereichen als Steuerungselement eingefiihrt. In Maschinen-und Robotersteuerungen, in der Kraftfahrzeug-Elektro nik, in der Automatisierungstechnik oder als 'Embedded Control'-Applikationen verrichten sie ihren Dienst und konnen durch ihre Programmierbarkeit an die gestellten Aufgaben jeweils individuell angepaBt werden. Durch Implementierung verschiedenster Funktionen (on chip devices) stehen funktionsfahige Single-Chip-Losungen als 4-Bit- bis 32-Bit-Ausfiihrungen zur Verfiigung. Zur Zeit haben die 8-Bit-Typen die groBte Verbreitung, da ihre Leistungsfahigkeit bzgl. Wortbreite und Verarbeitungsgeschwindigkeit haufig ausreicht. Auf der Basis des Mikrocontrollers 80(C)51131 bieten die verschiedensten Herstel ler aufwartskompatible Mikrocontroller an, die aIle als 8051-Derivate bezeichnet werden. Die vorliegende Publikation beschaftigt sich ausfiihrlich mit dem Mikrocontroller 80(C)51131, da dessen Funktionen sich in allen anderen Ausfiihrungen wiederfin den. Weiterfiihrend werden anschlieBend die zusatzlichen Eigenschaften der Mi krocontroller 80(C)515/535 und 80C517/537 der Fa. Siemens dargestellt. 1m Gegensatz zu vie len anderen VerOffentlichungen, die zu diesem Thema erschie nenen sind, beschrankt sich die Darstellung nicht nur auftechnische Sachinforma tionen, vielmehr werden in vielen praktischen Ubungen die vorhandenen Moglich keiten verdeutlicht. Von daher ist dieses Buch we it mehr als ein technisches Handbuch; als praxisorientierter Leitfaden ermoglicht es die eigenstandige Einar beitung in ein interessantes und wichtiges Gebiet der Steuerungstechnik. 599 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Literatur zur Einleitung.- Einzeleffekte.- 1 Überblick über genutzte Effekte.- 2 Thermische Effekte.- 3 Optische Effekte.- 4 Magnetische Effekte.- 5 Piezowiderstandseffekte.- 6 Piezo- und Pyroelektrische Effekte.- 7 Chemische Effekte.- 8 Meßsignalverarbeitung.- 9 Sensorsysteme.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 252 pp. Deutsch.