Published by Berlin ; Heidelberg ; New York ; Hongkong ; London ; Mailand ; Paris ; Tokio : Springer, 2004
ISBN 10: 3540010580 ISBN 13: 9783540010586
Language: German
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
gebundene Ausgabe. Condition: Gut. X, 256 S. : graph. Darst. ; 1 CD-ROM Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Deutsch Gewicht in Gramm: 645.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
gebundene Ausgabe. Condition: Gut. X, 256 S. : graph. Darst. ; 25 cm + 1 CD-ROM Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Deutsch Gewicht in Gramm: 680.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Hardcover. 256 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9783540442929 Sprache: Deutsch Gewicht in Gramm: 550.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In.
PF. Condition: New.
Condition: New. pp. 268.
Paperback. Condition: Brand New. 266 pages. German language. 9.13x6.06x0.79 inches. In Stock.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In.
Published by Springer-Verlag New York Inc, 2003
ISBN 10: 3540442928 ISBN 13: 9783540442929
Language: German
Seller: Revaluation Books, Exeter, United Kingdom
Hardcover. Condition: Brand New. hardback/cd-rom edition. 266 pages. German language. 9.37x6.30x0.79 inches. In Stock.
Published by Springer-Verlag Gmbh Auflage: 1 (10. Oktober 2003), 2003
ISBN 10: 3540442928 ISBN 13: 9783540442929
Language: German
Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Germany
Hardcover. Condition: gut. Auflage: 1 (10. Oktober 2003). Die Informatik befasst sich mit der Verarbeitung, Speicherung, Übertragung und Darstellung von Information unter besonderer Berücksichtigung des Einsatzes digitaler informationsverarbeitender Maschinen. Dabei können Maschinenbeschreibungen selbst wiederum als Informationen aufgefasst werden. Daraus resultiert eine erhebliche Komplexität, die der universellen Mächtigkeit der Informatik als Wissenschaft und Technik der Modellierung entspricht. Modellierung dient in aller Regel zweierlei Zwecken. Zum einen wird ausschnittsweise ein Abbild der realen Welt und eine Aufgabe der Informationsverarbeitung dargestellt. Zum anderen wird eine Vorlage für die Arbeitsweise eines informatischen Systems angegeben. Die Autoren vermitteln praxisrelevante Fertigkeiten und grundsätzliche Einsichten, um Informationssysteme auf ihre Struktur hin analysieren und entwerfen zu können. Leitlinie dieser Einführung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfügung stehen, um Informatiksysteme analysieren oder entwerfen zu können. Modellierung ist ein durchgängiges Thema für unterschiedlichste Facetten der Informatik. In dem vorliegenden Text geben die Autoren einen ersten Überblick zu typischen Modellen, die die Informatik einsetzt. Dabei wird das Thema grundlegend angegangen, so dass der Leser die Prinzipien der Modellbildung nachvollziehen kann und ein fundiertes Verständnis des Entwurfs und der Verifikation von Informatiksystemen gewinnt. Die vorliegende Einführung in die Theorie und Praxis der Modellierung setzt keine besonderen Vorkenntnisse voraus. Ferner werden durch Übungsaufgaben (mit Lösungsvorschlägen) praktische Fertigkeiten vermittelt. Das Buch wendet sich insbesondere an Fachlehrer der Informatik und an Praktiker der Systementwicklung. Modellbildung in der Informatik. Xpert.Press Manfred Broy R. Steinbrüggen In deutscher Sprache. 256 pages. 23,8 x 16 x 2 cm.
hardcover. Condition: Sehr gut. 266 Seiten; 9783540442929.2 Gewicht in Gramm: 1.
Condition: Gut. Zustand: Gut | Seiten: 268 | Sprache: Deutsch | Produktart: Bücher | Leitlinie dieser Einführung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfügung stehen, um Informatiksysteme analysieren oder entwerfen zu können. Modelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch prägnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, Zustandsübergangs- und Sequenzdiagramme. Inhärenter Bestandteil dieser grafischen Beschreibungstechniken ist die Charakterisierung der zugrundeliegenden Daten (z.B. in funktionaler Programmierung). Die Autoren verwenden in Ihrem Werk AutoFOCUS zum Diagramm-orientierten Systementwurf, zur Konsistenzprüfung und zur Simulation. Sie gehen den Fragen nach, wie sich Diagramme in formale Spezifikationen übertragen lassen, woher eine Systementwicklung ihre Argumente nimmt, nach welchen Methoden verifiziert wird und wie interaktive Theorembeweiser, wie z.B. Isabelle/HOL, arbeiten.
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 268 | Sprache: Deutsch | Produktart: Bücher | Leitlinie dieser Einführung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfügung stehen, um Informatiksysteme analysieren oder entwerfen zu können. Modelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch prägnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, Zustandsübergangs- und Sequenzdiagramme. Inhärenter Bestandteil dieser grafischen Beschreibungstechniken ist die Charakterisierung der zugrundeliegenden Daten (z.B. in funktionaler Programmierung). Die Autoren verwenden in Ihrem Werk AutoFOCUS zum Diagramm-orientierten Systementwurf, zur Konsistenzprüfung und zur Simulation. Sie gehen den Fragen nach, wie sich Diagramme in formale Spezifikationen übertragen lassen, woher eine Systementwicklung ihre Argumente nimmt, nach welchen Methoden verifiziert wird und wie interaktive Theorembeweiser, wie z.B. Isabelle/HOL, arbeiten.
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand pp. 268 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND pp. 268.
Published by Springer Berlin Heidelberg, 2013
ISBN 10: 3642622674 ISBN 13: 9783642622670
Language: German
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Basiswissen Informatik, System- und EntwicklungskonzeptPraxisorientierte Darstellung f? Ein- und UmsteigerEinleitung: Das Entity-Relationship-Modell.- 0.1 ER-Diagramme.- 0.2 Datenlexika.- 0.3 Uebungen.- 0.4 Wie es weitergeht.- 1 Algebra.
Published by Springer Berlin Heidelberg, 2003
ISBN 10: 3540442928 ISBN 13: 9783540442929
Language: German
Seller: moluna, Greven, Germany
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Basiswissen Informatik, System- und EntwicklungskonzeptPraxisorientierte Darstellung f? Ein- und UmsteigerEinleitung: Das Entity-Relationship-Modell.- 0.1 ER-Diagramme.- 0.2 Datenlexika.- 0.3 Uebungen.- 0.4 Wie es weitergeht.- 1 Algebra.