9783540442929 - modellbildung in der informatik di broy, manfred; steinbruggen, ralf (18 risultati)
Lingua: Tedesco
Editore: Springer, 2003
Serie: Xpert.press, Libro 124 di 189. Libro 124 di 189 - Xpert.press
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 41,45
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Tedesco
Editore: Springer 10/10/2003, 2003
Serie: Xpert.press, Libro 124 di 189. Libro 124 di 189 - Xpert.press
- Rilegato
Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 44,11
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Hardback or Cased Book. Condizione: New. Modellbildung in Der Informatik. Book.
Lingua: Tedesco
Editore: Springer, 2003
Serie: Xpert.press, Libro 124 di 189. Libro 124 di 189 - Xpert.press
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 45,54
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Tedesco
Editore: Berlin, Springer, 2004
Serie: Xpert.press, Libro 124 di 189. Libro 124 di 189 - Xpert.press
- Rilegato
Da: Antiquariat Bookfarm, Löbnitz, GermaniaAntiquariat Bookfarm
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 12,01
EUR 40,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
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.
Lingua: Tedesco
Editore: Springer, 2003
Serie: Xpert.press, Libro 124 di 189. Libro 124 di 189 - Xpert.press
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 46,71
EUR 14,11 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Tedesco
Editore: Springer, 2003
Serie: Xpert.press, Libro 124 di 189. Libro 124 di 189 - Xpert.press
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 46,70
EUR 17,66 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Tedesco
Editore: Springer, 2003
Serie: Xpert.press, Libro 124 di 189. Libro 124 di 189 - Xpert.press
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 63,83
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 268.
Lingua: Tedesco
Editore: Springer, 2003
Serie: Xpert.press, Libro 124 di 189. Libro 124 di 189 - Xpert.press
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 51,06
EUR 17,66 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Tedesco
Editore: Springer-Verlag New York Inc, 2003
Serie: Xpert.press, Libro 124 di 189. Libro 124 di 189 - Xpert.press
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,89
EUR 14,72 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. hardback/cd-rom edition. 266 pages. German language. 9.37x6.30x0.79 inches. In Stock.
Lingua: Tedesco
Editore: Springer-Verlag Gmbh Auflage: 1 (10. Oktober 2003), 2003
Serie: Xpert.press, Libro 124 di 189. Libro 124 di 189 - Xpert.press
- Rilegato
Da: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermaniaBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 45,90
EUR 39,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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 Information…en 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.
Lingua: Tedesco
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg, 2003
Serie: Xpert.press, Libro 124 di 189. Libro 124 di 189 - Xpert.press
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 39,99
EUR 62,86 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 du…rchgä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.
Lingua: Tedesco
Editore: Springer, 2003
Serie: Xpert.press, Libro 124 di 189. Libro 124 di 189 - Xpert.press
- Rilegato
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 11,68
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: 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 enste…hen 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.
Lingua: Tedesco
Editore: Springer, 2003
Serie: Xpert.press, Libro 124 di 189. Libro 124 di 189 - Xpert.press
- Rilegato
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 11,94
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Condizione: 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. Mod…elle 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.
Lingua: Tedesco
Editore: Springer Berlin Heidelberg Okt 2003, 2003
Serie: Xpert.press, Libro 124 di 189. Libro 124 di 189 - Xpert.press
- Rilegato
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 39,99
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. Modelli…erung 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. 268 pp. Deutsch.
Lingua: Tedesco
Editore: Springer, 2003
Serie: Xpert.press, Libro 124 di 189. Libro 124 di 189 - Xpert.press
- Rilegato
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 62,24
EUR 7,65 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. 268 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Lingua: Tedesco
Editore: Springer, 2003
Serie: Xpert.press, Libro 124 di 189. Libro 124 di 189 - Xpert.press
- Rilegato
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 62,34
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 268.
Lingua: Tedesco
Editore: Springer Berlin Heidelberg, 2003
Serie: Xpert.press, Libro 124 di 189. Libro 124 di 189 - Xpert.press
- Rilegato
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 39,99
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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 we…itergeht.- 1 Algebra.
Lingua: Tedesco
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2003, 2003
Serie: Xpert.press, Libro 124 di 189. Libro 124 di 189 - Xpert.press
- Rilegato
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 39,99
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 enst…ehen 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Deutsch.
