W kowalk (15 risultati)

03. Condizione: Wie neu. 1993. 310 S. Effiziente und praxisorientierte Techniken zur Spezifikation und Implementierung korrekter Software werden hier vorgestellt. Das Buch besitzt eine umfangreiche Beispielsammlung zur V Sprache: Deutsch.

03. Condizione: Wie neu. 1993. 310 S. Effiziente und praxisorientierte Techniken zur Spezifikation und Implementierung korrekter Software werden hier vorgestellt. Das Buch besitzt eine umfangreiche Beispielsammlung zur V Sprache: Deutsch.

03. Condizione: Wie neu. 1993. 310 S. Effiziente und praxisorientierte Techniken zur Spezifikation und Implementierung korrekter Software werden hier vorgestellt. Das Buch besitzt eine umfangreiche Beispielsammlung zur V Sprache: Deutsch.

03. Condizione: Wie neu. 1993. 310 S. Effiziente und praxisorientierte Techniken zur Spezifikation und Implementierung korrekter Software werden hier vorgestellt. Das Buch besitzt eine umfangreiche Beispielsammlung zur V Sprache: Deutsch.

PF. Condizione: New.

Condizione: New. In English.

Condizione: New. pp. 192.

Paperback. Condizione: Brand New. 190 pages. German language. 9.61x6.69x0.44 inches. In Stock.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Die operationa1e Analyse wurde 1976 von Buzen !Buzen76! eingeffthrt. Sie untersucht a11gemein, wie in end1ichen Zeiten an rea1en wartesystemen gemessene GrOssen zueinander in Beziehung gesetzt werden kOnnen.Dazu ist es notwendig, ein end1iches Modell solcher Wartesysteme einzufUhren. In dieser Arbeit wird solch ein end1iches mathematisches Modell definiert und ana1ysiert. Dazu wird zun3chst a11gemein untersucht, wie Systeme zu mode11ieren sind (Kapite1 1), und es werden in dieser Arbeit benOtigte mathematische Objekte definiert und untersucht (Kapite12). Da bei der Analyse des dynamischen Verha1tens von Systemen in end1ichen Zeitr3urnen Abweichungen zwischen Mode11grOssen au ftreten , wird eine Rechenmethode mit solchen Mode11ierungsfeh1ern eingefUhrt (Ang1eichungsrechnung, Kapite1 3) und gezeigt, wie sich mit dieser Begriffsbi1dung wichtige Konzepte aus der Theorie der stochastischen Prozesse (G1eichgewicht, Unabh3ngigkeit, Repr3sentativit3t) formu1ieren lassen (Kapite1 4). Es wird gezeigt, dass mit dieser Mode11bi1dung sowoh1 die Ergebnisse der operationa1en Analyse her1eitbar sind (Kapite1 5), a1s auch andere Ergebnisse, die bis1ang nur mit der stochastischen Analyse beweisbar waren (Kapite16,7). Ausserdem wird eine neue Forme 1 fUr die mitt1ere Last herge1eitet (Abschnitt 6.2). Da weder die stochastische noch die operationa1e Analyse Aussagen machen kann Ober auftretende Mode11ierungsfeh1er, werden die Abweichungen, die sich nach der Ang1eichungsrechnung ergeben, durch Simulation UberprOft und gezeigt, dass Feh1er in den Eingangsvoraussetzungen zurn Tei1 einen verschwindend k1einen, zurn Tei1 aber auch einen Uberproportiona1 grossen Feh1er in den Ergebfiissen verursachen kOnnen (Kapite1 8).…

Paperback. Condizione: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die operationa1e Analyse wurde 1976 von Buzen !Buzen76! eingeffthrt. Sie untersucht a11gemein, wie in end1ichen Zeiten an rea1en wartesystemen gemessene GrOssen zueinander in Beziehung gesetzt werden kOnnen.Dazu ist es notwendig, ein end1iches Modell solcher Wartesysteme einzufUhren. In dieser Arbeit wird solch ein end1iches mathematisches Modell definiert und ana1ysiert. Dazu wird zun3chst a11gemein untersucht, wie Systeme zu mode11ieren sind (Kapite1 1), und es werden in dieser Arbeit benOtigte mathematische Objekte definiert und untersucht (Kapite12). Da bei der Analyse des dynamischen Verha1tens von Systemen in end1ichen Zeitr3urnen Abweichungen zwischen Mode11grOssen au ftreten , wird eine Rechenmethode mit solchen Mode11ierungsfeh1ern eingefUhrt (Ang1eichungsrechnung, Kapite1 3) und gezeigt, wie sich mit dieser Begriffsbi1dung wichtige Konzepte aus der Theorie der stochastischen Prozesse (G1eichgewicht, Unabh3ngigkeit, Repr3sentativit3t) formu1ieren lassen (Kapite1 4). Es wird gezeigt, dass mit dieser Mode11bi1dung sowoh1 die Ergebnisse der operationa1en Analyse her1eitbar sind (Kapite1 5), a1s auch andere Ergebnisse, die bis1ang nur mit der stochastischen Analyse beweisbar waren (Kapite16,7). Ausserdem wird eine neue Forme 1 fUr die mitt1ere Last herge1eitet (Abschnitt 6.2). Da weder die stochastische noch die operationa1e Analyse Aussagen machen kann Ober auftretende Mode11ierungsfeh1er, werden die Abweichungen, die sich nach der Ang1eichungsrechnung ergeben, durch Simulation UberprOft und gezeigt, dass Feh1er in den Eingangsvoraussetzungen zurn Tei1 einen verschwindend k1einen, zurn Tei1 aber auch einen Uberproportiona1 grossen Feh1er in den Ergebfiissen verursachen kOnnen (Kapite1 8). 192 pp. Deutsch.…

Condizione: New. Print on Demand pp. 192 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.

Condizione: New. PRINT ON DEMAND pp. 192.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 1.0 Einleitung.- 1.1 Aufgabe der Verkehrsanalysanalyse in Rechensystemen.- 1.2 Techniken der Verkehrsanalyse.- 1.3 Zur Analysetechnik in dieser Arbeit.- 1.4 Modellbildung.- 1.5 Ein analytisches Modell fuer Wartesysteme.- 1.6 Ueberblick.- 2.0 Funktionen.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Die operationa1e Analyse wurde 1976 von Buzen !Buzen76! eingeffthrt. Sie untersucht a11gemein, wie in end1ichen Zeiten an rea1en wartesystemen gemessene GrOssen zueinander in Beziehung gesetzt werden kOnnen.Dazu ist es notwendig, ein end1iches Modell solcher Wartesysteme einzufUhren. In dieser Arbeit wird solch ein end1iches mathematisches Modell definiert und ana1ysiert. Dazu wird zun3chst a11gemein untersucht, wie Systeme zu mode11ieren sind (Kapite1 1), und es werden in dieser Arbeit benOtigte mathematische Objekte definiert und untersucht (Kapite12). Da bei der Analyse des dynamischen Verha1tens von Systemen in end1ichen Zeitr3urnen Abweichungen zwischen Mode11grOssen au ftreten , wird eine Rechenmethode mit solchen Mode11ierungsfeh1ern eingefUhrt (Ang1eichungsrechnung, Kapite1 3) und gezeigt, wie sich mit dieser Begriffsbi1dung wichtige Konzepte aus der Theorie der stochastischen Prozesse (G1eichgewicht, Unabh3ngigkeit, Repr3sentativit3t) formu1ieren lassen (Kapite1 4). Es wird gezeigt, dass mit dieser Mode11bi1dung sowoh1 die Ergebnisse der operationa1en Analyse her1eitbar sind (Kapite1 5), a1s auch andere Ergebnisse, die bis1ang nur mit der stochastischen Analyse beweisbar waren (Kapite16,7). Ausserdem wird eine neue Forme 1 fUr die mitt1ere Last herge1eitet (Abschnitt 6.2). Da weder die stochastische noch die operationa1e Analyse Aussagen machen kann Ober auftretende Mode11ierungsfeh1er, werden die Abweichungen, die sich nach der Ang1eichungsrechnung ergeben, durch Simulation UberprOft und gezeigt, dass Feh1er in den Eingangsvoraussetzungen zurn Tei1 einen verschwindend k1einen, zurn Tei1 aber auch einen Uberproportiona1 grossen Feh1er in den Ergebfiissen verursachen kOnnen (Kapite1 8).Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Deutsch.…