Parallele Systeme (Informatik-Fachberichte) (German Edition) by [Paperback ]
8 Angebote vergleichen

Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
Systeme paralleler Prozesse gehören seit jeher zu den reizvollsten Forschungs gegenständen der Informatik. Gleichzeitig klafft die Lücke zwischen Theorie und den Bedürfnissen des Software-Ingenieurs in kaum einem anderen Gebiet so sehr wie in diesem. Der Ingenieur benötigt wissenschaftlich fundierte Methoden zur Programmkonstruktion für - und das ist der springende Punkt - von-Neumann-Rechner er verwendet sequentiell-algorithmische Program miersprachen, die gleichsam im Nachhinein um Konzepte der Programmierung paralleler Systeme ergänzt wurden. Der Theoretiker, der das Wesen der Parallelität zu ergründen versucht, findet andere, dazu viel besser geeignete Semantikmodelle und Maschinenarchitekturen - sofern er sich überhaupt um die praktische Umsetzbarkeit seiner Theorie kümmert. Es ist sicher nicht zu kühn, zu behaupten, daß noch wenigstens eine Dekade vergehen wird, bis nicht-von-Neumannsche Maschinen in größerem Umfang gebaut und verbreitet werden. Diese Arbeit hat deshalb zum Ziel, Methoden zur Strukturierung und zur Verifikation (verteilter) paralleler Systeme zu entwickeln, die aus sequen tiellen, auf Maschinen herkömmlicher Bauart ablaufenden Prozessen bestehen. Ich möchte allen danken, die mich unterstützt haben. Lron Treff und Franz Johann Schneider haben wesentlichen Anteil an der Implementierung des Patsy-Systems und der Entwicklung des Modulkonzepts. Prof. Dr. Uwe Ka stens hat mir wertvolle Ratschläge zur Semantik der Spezifikationssprache ge geben und mich darüber hinaus in zahlreichen Diskussionen unterstützt und motiviert. Dank gebührt besonders auch Prof. Dr. Gerhard Goos er hat meine Aufmerksamkeit auf dieses Gebiet gelenkt, mir den für den Fortgang der Arbeit notwendigen Freiraum geschaffen und mit seiner konstruktiven Kritik sehr zur klareren Formulierung komplexer Zusammenhänge beigetragen.xi, 153 S. XI, 153 S. 244 mmVersandfertig in 3-5 Tagen, Softcover.

Lieferung aus: Deutschland, Versandkostenfrei.
Parallele Systeme: Systeme paralleler Prozesse gehören seit jeher zu den reizvollsten Forschungs gegenständen der Informatik. Gleichzeitig klafft die Lücke zwischen Theorie und den Bedürfnissen des Software-Ingenieurs in kaum einem anderen Gebiet so sehr wie in diesem. Der Ingenieur benötigt wissenschaftlich fundierte Methoden zur Programmkonstruktion für - und das ist der springende Punkt - von-Neumann-Rechner er verwendet sequentiell-algorithmische Program miersprachen, die gleichsam im Nachhinein um Konzepte der Programmierung paralleler Systeme ergänzt wurden. Der Theoretiker, der das Wesen der Parallelität zu ergründen versucht, findet andere, dazu viel besser geeignete Semantikmodelle und Maschinenarchitekturen - sofern er sich überhaupt um die praktische Umsetzbarkeit seiner Theorie kümmert. Es ist sicher nicht zu kühn, zu behaupten, da? noch wenigstens eine Dekade vergehen wird, bis nicht-von-Neumannsche Maschinen in größerem Umfang gebaut und verbreitet werden. Diese Arbeit hat deshalb zum Ziel, Methoden zur Strukturierung und zur Verifikation (verteilter) paralleler Systeme zu entwickeln, die aus sequen tiellen, auf Maschinen herkömmlicher Bauart ablaufenden Prozessen bestehen. Ich mächte allen danken, die mich unterstützt haben. Lron Treff und Franz Johann Schneider haben wesentlichen Anteil an der Implementierung des Patsy-Systems und der Entwicklung des Modulkonzepts. Prof. Dr. Uwe Ka stens hat mir wertvolle Ratschläge zur Semantik der Spezifikationssprache ge geben und mich darüber hinaus in zahlreichen Diskussionen unterstützt und motiviert. Dank gebührt besonders auch Prof. Dr. Gerhard Goos er hat meine Aufmerksamkeit auf dieses Gebiet gelenkt, mir den für den Fortgang der Arbeit notwendigen Freiraum geschaffen und mit seiner konstruktiven Kritik sehr zur klareren Formulierung komplexer Zusammenhänge beigetragen. Taschenbuch.

Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
Systeme paralleler Prozesse gehören seit jeher zu den reizvollsten Forschungs­ gegenständen der Informatik. Gleichzeitig klafft die Lücke zwischen Theorie und den Bedürfnissen des Software-Ingenieurs in kaum einem anderen Gebiet so sehr wie in diesem. Der Ingenieur benötigt wissenschaftlich fundierte Methoden zur Programmkonstruktion für - und das ist der springende Punkt - von-Neumann-Rechner; er verwendet sequentiell-algorithmische Program­ miersprachen, die gleichsam im Nachhinein um Konzepte der Programmierung paralleler Systeme ergänzt wurden. Der Theoretiker, der das Wesen der Parallelität zu ergründen versucht, findet andere, dazu viel besser geeignete Semantikmodelle und Maschinenarchitekturen - sofern er sich überhaupt um die praktische Umsetzbarkeit seiner Theorie kümmert. Es ist sicher nicht zu kühn, zu behaupten, daß noch wenigstens eine Dekade vergehen wird, bis nicht-von-Neumannsche Maschinen in größerem Umfang gebaut und verbreitet werden. Diese Arbeit hat deshalb zum Ziel, Methoden zur Strukturierung und zur Verifikation (verteilter) paralleler Systeme zu entwickeln, die aus sequen­ tiellen, auf Maschinen herkömmlicher Bauart ablaufenden Prozessen bestehen. Ich möchte allen danken, die mich unterstützt haben. Lron Treff und Franz­ Johann Schneider haben wesentlichen Anteil an der Implementierung des Patsy-Systems und der Entwicklung des Modulkonzepts. Prof. Dr. Uwe Ka­ stens hat mir wertvolle Ratschläge zur Semantik der Spezifikationssprache ge­ geben und mich darüber hinaus in zahlreichen Diskussionen unterstützt und motiviert. Dank gebührt besonders auch Prof. Dr. Gerhard Goos; er hat meine Aufmerksamkeit auf dieses Gebiet gelenkt, mir den für den Fortgang der Arbeit notwendigen Freiraum geschaffen und mit seiner konstruktiven Kritik sehr zur klareren Formulierung komplexer Zusammenhänge beigetragen. Soft cover.

Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
Paperback. 153 pages. Dimensions: 9.6in. x 6.7in. x 0.4in.Systeme paralleler Prozesse gehren seit jeher zu den reizvollsten Forschungs gegenstnden der Informatik. Gleichzeitig klafft die Lcke zwischen Theorie und den Bedrfnissen des Software-Ingenieurs in kaum einem anderen Gebiet so sehr wie in diesem. Der Ingenieur bentigt wissenschaftlich fundierte Methoden zur Programmkonstruktion fr - und das ist der springende Punkt - von-Neumann-Rechner; er verwendet sequentiell-algorithmische Program miersprachen, die gleichsam im Nachhinein um Konzepte der Programmierung paralleler Systeme ergnzt wurden. Der Theoretiker, der das Wesen der Parallelitt zu ergrnden versucht, findet andere, dazu viel besser geeignete Semantikmodelle und Maschinenarchitekturen - sofern er sich berhaupt um die praktische Umsetzbarkeit seiner Theorie kmmert. Es ist sicher nicht zu khn, zu behaupten, da noch wenigstens eine Dekade vergehen wird, bis nicht-von-Neumannsche Maschinen in grerem Umfang gebaut und verbreitet werden. Diese Arbeit hat deshalb zum Ziel, Methoden zur Strukturierung und zur Verifikation (verteilter) paralleler Systeme zu entwickeln, die aus sequen tiellen, auf Maschinen herkmmlicher Bauart ablaufenden Prozessen bestehen. Ich mchte allen danken, die mich untersttzt haben. Lron Treff und Franz Johann Schneider haben wesentlichen Anteil an der Implementierung des Patsy-Systems und der Entwicklung des Modulkonzepts. Prof. Dr. Uwe Ka stens hat mir wertvolle Ratschlge zur Semantik der Spezifikationssprache ge geben und mich darber hinaus in zahlreichen Diskussionen untersttzt und motiviert. Dank gebhrt besonders auch Prof. Dr. Gerhard Goos; er hat meine Aufmerksamkeit auf dieses Gebiet gelenkt, mir den fr den Fortgang der Arbeit notwendigen Freiraum geschaffen und mit seiner konstruktiven Kritik sehr zur klareren Formulierung komplexer Zusammenhnge beigetragen. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.

Von Händler/Antiquariat, getbooks GmbH, 65510 Idstein.
Taschenbuch 168 Seiten Taschenbuch Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 670286.01 IT-Ausbildung & -Berufe / Computer & Internet / Naturwissenschaften & Technik, gebraucht; gut, 2014-09-19.

Von Händler/Antiquariat, getbooks GmbH [55883480], Bad Camberg, HE, Germany.
168 Seiten Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 670286.01 Sprache: Deutsch Gewicht in Gramm: 299, Books.

getbooks GmbH, [4040832].
168 Seiten TaschenbuchGepflegtes ehemaliges Bibliothek***emplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer) in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 670286.01.

Von Händler/Antiquariat, Mosakowski GbR, 61197 Florstadt.
kart. IX, 152 S. , 24 cm Kartoniert Sofort verfügbar / Versand am folgenden Arbeitstag / mit Rechnung / daily shipping worldwide with invoice / ex library / plastik jacket; Spezialschutzfolie Parallelverarbeitung, gebraucht; gut, 2014-09-19.