Ergebnisse werden angezeigt für: Valk Rudiger (30 Ergebnisse)

Zustand: Fine. 514 pp., paperback, fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 2010. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Stains on the edge. Edition 2010. Ammareal gives back up to 15% of this item's net price to charity organizations.

Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9783540637462.

XVI, 607 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.

Broschur. Zustand: Gut. 562 Seiten Kanten berieben, bestoßen und etwas angegilbt, papierbedingte Seitenbräunung/// Standort Wimregal HAA-26549 ISBN 3540163832 Sprache: Deutsch Gewicht in Gramm: 1010.

Broschiert. Zustand: Gut. XVI, 704 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.). Schnitt und Einband sind etwas staubschmutzig; Einbandkanten sind leicht bestossen; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 940.

Paperback. Zustand: Brand New. 1st edition. 429 pages. 9.00x6.00x1.00 inches. In Stock.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 536 | Sprache: Englisch | Produktart: Bücher | This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfried Brauer on the occasion of his sixtieth birthday. The volume presents 49 revised refereed papers organized in topical sections on computer science and its potential, social implications of computer science, formal languages and automata, structures and complexity theory, Petri nets, systems analysis and distributed systems, software engineering and verification, cognition and artificial intelligence, knowledge representation and reasoning, machine learning, neural networks and robotics, language and information systems.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008. The 19 revised full regular papers and 4 revised tool papers presented together with 5 invited papers were carefully reviewed and selected from 75 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed.

Zustand: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.

Taschenbuch. Zustand: Neu. Petri Nets for Systems Engineering | A Guide to Modeling, Verification, and Applications | Rüdiger Valk (u. a.) | Taschenbuch | xvi | Englisch | 2010 | Springer-Verlag GmbH | EAN 9783642074479 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Broschiert. Zustand: Gut. XVI, 776 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.). Schnitt und Einband sind etwas staubschmutzig; Einbandkanten sind leicht bestossen; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 1040.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfried Brauer on the occasion of his sixtieth birthday. The volume presents 49 revised refereed papers organized in topical sections on computer science and its potential, social implications of computer science, formal languages and automata, structures and complexity theory, Petri nets, systems analysis and distributed systems, software engineering and verification, cognition and artificial intelligence, knowledge representation and reasoning, machine learning, neural networks and robotics, language and information systems. 536 pp. Englisch.

Buch. Zustand: Neu. Neuware -Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 624 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfried Brauer on the occasion of his sixtieth birthday. The volume presents 49 revised refereed papers organized in topical sections on computer science and its potential, social implications of computer science, formal languages and automata, structures and complexity theory, Petri nets, systems analysis and distributed systems, software engineering and verification, cognition and artificial intelligence, knowledge representation and reasoning, machine learning, neural networks and robotics, language and information systems.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.

Klebebindung. Zustand: Gut. Gebraucht - Gut Sofortversand,übliche Markierungsstempel/Zeichen, altergemaesser GUTER Zustand.

Zustand: New.

Zustand: Gut. Zustand: Gut | Seiten: 584 | Sprache: Deutsch | Produktart: Bücher | der Steuennann, der ein Schiff ohne Ruder und Kompass besteigt und nie weiß, wohin er fährt.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 584 | Sprache: Deutsch | Produktart: Bücher | der Steuennann, der ein Schiff ohne Ruder und Kompass besteigt und nie weiß, wohin er fährt.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 584 | Sprache: Deutsch | Produktart: Bücher | der Steuennann, der ein Schiff ohne Ruder und Kompass besteigt und nie weiß, wohin er fährt.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Das Buch ist hervorgegangen aus Vorlesungen, die wir an der Universität Hamburg gehalten haben. Der Umstand, daß die übliche getrennte Darstellung der Gebiete 'Betriebssysteme', 'Rechnerorganisation' und 'Verteilte Systeme' jede der Veran staltungen mit der Präsentation eines Instrumentariums von Verfahren belastet und dabei den Lernenden die Einheit der Gesichtspunkte leicht verborgen bleibt, führte dazu, daß das Lehrgebiet 'Rechnerorganisation und Betriebssysteme' in eine Grundvorlesung 'Rechensysteme' und darauf aufbauende - dank der bereits ge brachten Grundlagen - mehr implementationsorientierte Vorlesungen 'Rechneror ganisation' , 'Betriebssysteme', 'Verteilte Systeme' gegliedert wurde. Die Vor lesung 'Rechensysteme' hat Ansatz und Material zu diesem Buch geliefert. Das Buch eignet sich daher als Begleittext für Studenten der Informatik im Hauptstudium und für Nebenfachinformatiker mit Interesse für Rechensysteme, sowie als Grundlagentext für Programmierer und Systemanalytiker. Es ist als Lehrbuch für eigenständiges Lernen und als Nachschlagewerk für Praktiker geeig net, die Aufschluß über theoretische Modelle voraussetzende Fragen brauchen. Für vertiefende Studien werden zahlreiche Literaturhinweise gegeben. Wir danken Eike Best, Wilfried Brauer, Heino Carstensen, Hans-Jürgen Siegert und Bernd Wolfinger für viele wichtige Ratschläge, Werner Pohlmann und zahlreichen Studenten für Hinweise auf Fehler und Verständnisschwierigkeiten und den vielen, die mit Geduld und Verständnis Manuskript und druckfertigen Text hergestellt haben: Gabriele Diem, Ullrich Dillis, Heidrun Durry, Anita Graef, Monika Grimm und Anne Christi ne Hogrefe. München/Hamburg, Juni 1986 Jessen Eike Rüdiger Va1k Wer sich der Praxis hingibt ohne Wissenschaft ist wie der Steuennann, der ein Schiff ohne Ruder und Kompass besteigt und nie weiß, wohin er fährt.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Die Gesellschaft fOr Informatik fOhrt ihre 18. Jahrestagung an der Universitat Hamburg durch. Der Fachbereich Informatik hat sich als Veranstalter fOr das Leitthema 'Vernetzte und kom plexe Informatik-Systeme' entschieden. Aufgrund der rapide fortschreitenden Technologie und dadurch erschlossener neuer Anwendungsbereiche werden komplexe Systeme in tech nischer oder gesellschaftlicher Umgebung zunehmend durch informatikspezifische Gesichts punkte bestimmt. Dies rechtfertigt den 8egriff 'Informatik-System' als Zusammenfassung aller in der Informatik betrachteten Methoden des Entwurfs und der Handhabung solcher Systeme. Vernetztheit und Komplexitat bestimmen in unterschiedlichen Erscheinungsformen die strukturellen Probleme der Informatik. Haufig stehen diese beiden Problemkreise in starker Abhangigkeit zueinander. Komplexe Systeme erzwingen Modularitat, urn sie beherrschbar zu gestalten, wahrend stark vernetzte Systeme andererseits eine Form von Komplexitat zeigen, die zur Zeit noch hochst unbefriedigend verstanden wird. Eine besondere Form von Vernetztheit stellen verteilte Systeme dar. Ais innere 8etriebs form konnen sie zur Leistungssteigerung von Rechensystemen beitragen, als auBere Be triebsform tragen sie der Verteiltheit von Anwendungsproblemen Rechnung. Konkrete Auspragungen verteilter und vernetzter Informatik-Systeme finden sich in den verschiedensten Formen, von der Mikroelektronik Ober Rechnerarchitekturen bis hin zu Soft ware-Systemen mit Anwendung in Technik und Gesellschaft. Letztere stellen oft selbst kom plexe und verteilte Systeme dar, was sich zunehmend in den entsprechenden Informatik Anwendungen widerspiegelt.

Paperback. Zustand: Brand New. 720 pages. German language. 9.29x6.46x1.10 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Die Gesellschaft fOr Informatik fOhrt ihre 18. Jahrestagung an der Universitat Hamburg durch. Der Fachbereich Informatik hat sich als Veranstalter fOr das Leitthema 'Vernetzte und kom plexe Informatik-Systeme' entschieden. Aufgrund der rapide fortschreitenden Technologie und dadurch erschlossener neuer Anwendungsbereiche werden komplexe Systeme in tech nischer oder gesellschaftlicher Umgebung zunehmend durch informatikspezifische Gesichts punkte bestimmt. Dies rechtfertigt den Begriff 'Informatik-System' als Zusammenfassung aller in der Informatik betrachteten Methoden des Entwurfs und der Handhabung solcher Systeme. Vernetztheit und Komplexitat bestimmen in unterschiedlichen Erscheinungsformen die strukturellen Probleme der Informatik. Haufig stehen diese beiden Problemkreise in starker Abhangigkeit zueinander. Komplexe Systeme erzwingen Modularitat, um sie beherrschbar zu gestalten, wahrend stark vernetzte Systeme andererseits eine Form von Komplexitat zeigen, die zur Zeit noch hechst unbefriedigend verstanden wird. Eine besondere Form von Vernetztheit stellen verteilte Systeme dar. Ais innere Betriebs form kennen sie zur Leistungssteigerung von Rechensystemen beitragen, als au Bere Be triebsform tragen sie der Verteiltheit von Anwendungsproblemen Rechnung. Konkrete Auspragungen verteilter und vernetzter Informatik-Systeme finden sich in den verschiedensten Formen, von der Mikroelektronik Ober Rechnerarchitekturen bis hin zu Soft ware-Systemen mit Anwendung in Technik und Gesellschaft. Letztere stellen oft selbst kom plexe und verteilte Systeme dar, was sich zunehmend in den entsprechenden Informatik Anwendungen widerspiegelt.

Paperback. Zustand: Brand New. 792 pages. German language. 9.61x6.69x1.80 inches. In Stock.

Taschenbuch. Zustand: Neu. Rechensysteme | Grundlagen der Modellbildung | Rüdiger Valk (u. a.) | Taschenbuch | xvi | Deutsch | 1986 | Springer | EAN 9783540163831 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. GI - 18. Jahrestagung | Vernetzte und komplexe Informatik-Systeme Hamburg 17.-19. Oktober 1988 Proceedings | Rüdiger Valk | Taschenbuch | xvi | Deutsch | 1988 | Springer-Verlag GmbH | EAN 9783540503545 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. GI - 18. Jahrestagung II | Vernetzte und komplexe Informatik-Systeme. Hamburg, 17.-19. Oktober 1988. Proceedings | Rüdiger Valk | Taschenbuch | xvi | Deutsch | 1988 | Springer | EAN 9783540503606 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.