K s de boer (27 risultati)

Hardcover. Condizione: Very Good. No Jacket. 1st Edition. Very good, clean, tight condition. Text free of marks. Professional book dealer since 1999. All orders are processed promptly and carefully packaged with tracking.

Paperback. Condizione: new. Paperback. The focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues; this holds for both the object-oriented and the more recent component-based software engineering paradigms. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for quite a long time. However, their application to the development of large systems requires more emphasis on specification, modeling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. The volume contains 20 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the FP7-IST project AVANTSSAR on automated validation of trust and security of service-oriented architectures; the FP7-IST project DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; the ESF-COST Action IC0701 on formal verification of object-oriented software; the FP7-IST project HATS on highly adaptable and trustworthy software using formal models; the FP7-SST project INESS on an integrated European railway signalling system; the FP7-IST project MADES on a model-driven approach to improve the current practice in the development of embedded systems; the FP7-IST project MOGENTES on model-based generation of tests for dependable embedded systems; as well as the FP7-IST project MULTIFORM on integrated multi-formalism tool support for the design of networked embedded control systems. The volume contains 20 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the FP7-IST project AVANTSSAR on automated validation of trust and security of service-oriented architectures; Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Paperback. Condizione: Brand New. 2012 edition. 404 pages. 9.50x6.25x0.75 inches. In Stock.

viii, 293 pages. - Publisher's gilt-titled brown cloth; large-8vo.(ca. 25 x 18 cm). ~~~ FIRST EDITION; clothbound original. - Best condition. --- More volumes from the same series in stock. . . isbn B000YDWPNS.

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 393 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Condizione: New.

Condizione: New.

Condizione: New. 2007. Hardcover. . . . . .

Hardcover. Condizione: Brand New. illustrated edition. 624 pages. 9.75x7.00x1.25 inches. In Stock.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Condizione: New. 2007. Hardcover. . . . . . Books ship from the US and Ireland.

Condizione: New. In English.

Condizione: New. In English.

Couverture souple. Condizione: bon. R260269775: 1984. In-8. Broché. Très bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 425 pages augmentées de quelques figures en noir et blanc dans texte. . . . Classification Dewey : 420-Langue anglaise. Anglo-saxon.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Proceedings of IAU Symposium No. 108 held in Tübingen, West Germany, September 5-8, 1983.

Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Proceedings of IAU Symposium No. 108 held in Tübingen, West Germany, September 5-8, 1983.

Condizione: new. Questo è un articolo print on demand.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. High-quality selected papers State-of-the-art research Unique visibilityThe focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues t.…

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of IAU Symposium No. 108 held in Tuebingen, West Germany, September 5-8, 1983 Magellanic Cloud Clusters.- Star Clusters in the Magellanic Clouds.- Blue Clusters, Populous Clusters, and Globulars.- The Integrated Spectra of Star Clusters .…

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of IAU Symposium No. 108 held in Tuebingen, West Germany, September 5-8, 1983 Magellanic Cloud Clusters.- Star Clusters in the Magellanic Clouds.- Blue Clusters, Populous Clusters, and Globulars.- The Integrated Spectra of Star Clusters .…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Proceedings of IAU Symposium No. 108 held in Tübingen, West Germany, September 5-8, 1983 448 pp. Englisch.

Buch. Condizione: Neu. Structure and Evolution of the Magellanic Clouds | K. S. de Boer (u. a.) | Buch | xviii | Englisch | 1984 | Springer Netherland | EAN 9789027717221 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …

Taschenbuch. Condizione: Neu. Structure and Evolution of the Magellanic Clouds | S. van den Bergh (u. a.) | Taschenbuch | xviii | Englisch | 1984 | Springer | EAN 9789027717238 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Proceedings of IAU Symposium No. 108 held in Tübingen, West Germany, September 5-8, 1983 444 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Magellanic Cloud Clusters.- Star Clusters in the Magellanic Clouds.- Blue Clusters, Populous Clusters, and Globulars.- The Integrated Spectra of Star Clusters and the History of the Magellanic Clouds.- Masses and Relaxation Times of Star Clusters in the SMC.- An Ellipticity-Age Relation for Globular Clusters in the LMC.- SIT-VIDICON Surface Photometry of Globular Clusters in the Magellanic Clouds.- Intermediate-Age Magellanic Cloud Star Clusters.- Metallicities of Young Populous Clusters in the Magellanic Clouds.- The H-R Diagram of NGC 1962-65-66-70.- A Survey of Magellanic Cloud Clusters for RR Lyrae Stars.- Period Changes of RR Lyrae Stars in the LMC Globular Cluster NGC 2257.- The Electronographic Color-Magnitude Diagram of Hodge 11.- The LMC Globular Cluster Hodge 11 (=SL 868).- Main Sequence Photometry of Kron 3.- Color-Magnitude Diagram Morphology of the Oldest Star Clusters in the Large Magellanic Cloud.- A BVRI Photometric Study of Star Clusters in the Bok Region of the LMC.- A BV Photometric Study of Star Clusters in Two Selected Regions of the SMC.- Far-UV Photometry of Magellanic Cloud Globular Clusters.- UV-observations of Young Populous Clusters in the LMC.- Disentangling Individual Star and Cluster Contributions in IUE Spectra of Magellanic Cloud Globular Clusters.- Ultraviolet Studies of O and B Stars in the LMC Cluster NGC 2100, the SMC Cluster NGC 330 and the Galactic Cluster NGC 6530.- Panel Discussion on Star Clusters.- Evolution.- Global Evolutionary Effects in the Magellanic Clouds.- Field Studies, Luminosity Functions, and Star Formation History in the Magellanic Clouds.- Stochastic Star Formation and Bubbles in the Large Magellanic Cloud.- Past Star Formation History of the Magellanic Clouds.- The Spatial Distribution of Young Objects inthe Large Magellanic Cloud - a Problem of Pattern Recognition.- Chemical Evolution of the Magellanic Clouds.- Star Counts in Fields Surrounding the LMC.- Crowded Field Electronography in the LMC.- The Colour Magnitude Diagram of a Second Field in the SMC Halo.- A Search for Stars in the Magellanic Stream.- Ultraviolet Surface Photometry of Stellar Associations in the LMC.- Dynamics.- Kinematics and Dynamics of the Magellanic Clouds.- The Magellanic Stream and its Related Problems.- H I Surveys of the Magellanic System.- Distribution and Radial Velocities of Late Supergiant Stars in the LMC and the SMC.- A Search for Low-Velocity Neutral Hydrogen in the Magellanic Stream.- On the Distance of the Magellanic Stream.- Stellar Populations.- The Brightest Stars in the Magellanic Clouds and Other Late-Type Galaxies.- Magellanic Cloud Cepheids: Abundances, Reddenings, P-L and P-L-C Relations. A Review.- Spectroscopy of Red Variables and Other Luminous Red Stars.- Detection and Photometry of Red Giants in the Magellanic Clouds.- Red Giant Stars: Comparison of Observations and Theory.- RR Lyrae Stars and Novae in the Magellanic Clouds.- A Survey for Red Variables in the Magellanic Clouds.- A Search for Red Variable Stars in the LMC.- JHK Observations of Magellanic Cloud Cepheids.- Spectroscopy of Overluminous Cepheids in the Magellanic Clouds.- Spectral Types, Color Indices, and Abundances for Cepheids in the Magellanic Clouds and the Galaxy.- Period Changes in Magellanic Cloud Cepheids.- Magellanic Cloud Cepheids: Intrinsic and Extrinsic Properties as Inferred from Numerical Simulations of Two-Colour Photometry.- A More Complete Listing of LMC Planetary Nebulae.- Spectrophotometry of Early-type Supergiants in the LMC.- From What Radius do the Winds of Magellanic CloudSupergiants Produce Fe II Emission lines .- R127: an S Dor Type Variable Intermediate Between Of and WN.- An Unstable Ofpe Star in the LMC.- Evidence for a Black Hole in LMC X-3.- 30 Doradus and R136.- The Stellar Content of 30 Doradus.- UV Extinction in the 30 Doradus Nebula and the UV Energy Distribution of R136a.- On the Nature of R136, the Central O. …

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Proceedings of IAU Symposium No. 108 held in Tübingen, West Germany, September 5-8, 1983Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch.