Waldén Marina (24 results)

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Hardcover. Condition: Very Good. No Jacket. Hardcover 2003 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;2565. [xvii, 732 p. : ill. ; 24 cm].

Paperback. Condition: New. An Unused, unmarked and unblemished copy. Still in plastic packaging!; 100% Satisfaction Guaranteed! Ships same or next business day!

Hardcover. Condition: Very Good. No Jacket. Hardcover 2003 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good to near fine condition. Series: Lecture Notes in Computer Science ;2651. [xiii, 545 p. : ill. ; 24 cm].

Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.

Condition: New. In.

Condition: New. In.

Softcover. Condition: Sehr gut. Gebraucht - Sehr gut Zustand: Sehr gut, Mängelexemplar, XVII, 732 p. Also available online. About this book: This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on High Performance Computing for Computational Science, VECPAR 2002, held in Porto, Portugal in June 2002. The 45 revised full papers presented together with 4 invited papers were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on fluids and structures, data mining, computing in chemistry and biology, problem solving environments, computational linear and non-linear algebra, cluster computing, imaging, and software tools and environments. Written for researchers and professionals.

Condition: New. pp. 568.

Paperback. Condition: Brand New. 1st edition. 547 pages. 9.00x6.00x1.25 inches. In Stock.

Taschenbuch. Condition: Neu. High Performance Computing for Computational Science - VECPAR 2002 | 5th International Conference, Porto, Portugal, June 26-28, 2002. Selected Papers and Invited Talks | José M. L. M. Palma (u. a.) | Taschenbuch | xviii | Englisch | 2003 | Springer | EAN 9783540008521 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condition: Neu. ZB 2003: Formal Specification and Development in Z and B | Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings | Didier Bert (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540402534 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The 5th edition of the VECPAR series of conferences marked a change of the conference title. The full conference title now reads VECPAR 2002 5th Int- national Conference on High Performance Computing for Computational S- ence. This re ects more accurately what has been the main emphasis of the conference since its early days in 1993 the use of computers for solving pr- lems in science and engineering. The present postconference book includes the best papers and invited talks presented during the three days of the conference, held at the Faculty of Engineering of the University of Porto (Portugal), June 26 28 2002. The book is organized into 8 chapters, which as a whole appeal to a wide research community, from those involved in the engineering applications to those interested in the actual details of the hardware or software implementation, in line with what, in these days, tends to be considered as Computational Science and Engineering (CSE). The book comprises a total of 49 papers, with a prominent position reserved for the four invited talks and the two rst prizes of the best student paper competition.

Brossura. Condition: new. A cura di Bock N., Foletti I. e Tomasi M.Testo Italiano e Francese.Roma, 2014; br., pp. 623, ill. b/n, tavv. b/n, cm 17x24.(Études Lausannoises d'Histoire de l'Art. 16). Libro.

Condition: NEW. Roma: Viella, 2014 9788867280797 Études lausannoises d'histoire de l'art 16 1200 623 p. : indice ; 24 cm. La figure de l'évêque occupe une position centrale dans l'organisation ecclésiastique du Moyen Âge et exerce une action déterminante sur tout aspect de la vie politique, spirituelle, culturelle et sociale de cette époque. Apprécier son rôle et connaître les personnes qui occupèrent ce rang constitue une clef essentielle pour une compréhension approfondie de l'époque. Malgré son importance reconnue, la figure de l'évêque n'a cependant pas encore reçu l'attention qu'elle mérite, surtout en ce qui concerne son importance pour l'imaginaire de la chrétienté médiévale. En se focalisant sur l'évêque défunt, cet ouvrage s'attache à un des aspects centraux de l'image épiscopale. Une trentaine d'auteurs provenant d'horizons différents l'histoire de l'art, l'histoire, la patristique, l'archéologie chrétienne, la théologie met en uvre une multiplicité d'approches pour décrypter des exemples qui vont de l'époque paléochrétienne jusqu'à la fin du Moyen Âge. Leurs enquêtes se déroulent en Italie, en France, au Portugal, à Majorque, en Angleterre, sur l'île de Crète et en Syrie et ont pour objet aussi bien la mémoire de la sépulture, que les monuments funéraires, les figures tutélaires ou contestées, ainsi que l'hagiographie et l'épigraphie. Le livre se veut comme un premier pas, un ensemble polyphonique de recherches et de matériaux inédits qui font dialoguer des disciplines et des traditions d'études parfois trop cloisonnées, dans le but d'attirer l'attention sur un continent encore Bock,Nicolas - Foletti,Ivan - Tommasi,Michele.

Condition: New.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies. 568 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 5th edition of the VECPAR series of conferences marked a change of the conference title. The full conference title now reads VECPAR 2002 5th Int- national Conference on High Performance Computing for Computational S- ence. This re ects more accurately what has been the main emphasis of the conference since its early days in 1993 the use of computers for solving pr- lems in science and engineering. The present postconference book includes the best papers and invited talks presented during the three days of the conference, held at the Faculty of Engineering of the University of Porto (Portugal), June 26 28 2002. The book is organized into 8 chapters, which as a whole appeal to a wide research community, from those involved in the engineering applications to those interested in the actual details of the hardware or software implementation, in line with what, in these days, tends to be considered as Computational Science and Engineering (CSE). The book comprises a total of 49 papers, with a prominent position reserved for the four invited talks and the two rst prizes of the best student paper competition. 756 pp. Englisch.

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion i.

Condition: New. Print on Demand pp. 568 Illus.

Condition: New. PRINT ON DEMAND pp. 568.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The 5th edition of the VECPAR series of conferences marked a change of the conference title. The full conference title now reads VECPAR 2002 ¿ 5th Int- national Conference on High Performance Computing for Computational S- ence. This re ects more accurately what has been the main emphasis of the conference since its early days in 1993 ¿ the use of computers for solving pr- lems in science and engineering. The present postconference book includes the best papers and invited talks presented during the three days of the conference, held at the Faculty of Engineering of the University of Porto (Portugal), June 26¿28 2002. The book is organized into 8 chapters, which as a whole appeal to a wide research community, from those involved in the engineering applications to those interested in the actual details of the hardware or software implementation, in line with what, in these days, tends to be considered as Computational Science and Engineering (CSE). The book comprises a total of 49 papers, with a prominent position reserved for the four invited talks and the two rst prizes of the best student paper competition.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 756 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Alloy: A Logical Modelling Language.- An Outline Pattern Language for Z: Five Illustrations and Two Tables.- Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z.- Reuse of Specification Patterns with the B Method.- Composing Specifications Using Communication.- When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets.- How to Diagnose a Modern Car with a Formal B Model .- Parallel Hardware Design in B.- Operation Refinement and Monotonicity in the Schema Calculus.- Using Coupled Simulations in Non-atomic Refinement.- An Analysis of Forward Simulation Data Refinement.- B#: Toward a Synthesis between Z and B.- Introducing Backward Refinement into B.- Expression Transformers in B-GSL.- Probabilistic Termination in B.- Probabilistic Invariants for Probabilistic Machines.- Proving Temporal Properties of Z Specifications Using Abstraction.- Compositional Verification for Object-Z.- Timed CSP and Object-Z.- Object Orientation without Extending Z.- Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z.- Towards Practical Proofs of Class Correctness.- Automatically Generating Information from a Z Specification to Support the Classification Tree Method.- Refinement Preserves PLTL Properties.- Proving Event Ordering Properties for Information Systems.- ZML: XML Support for Standard Z.- Formal Derivation of Spanning Trees Algorithms.- Using B Refinement to Analyse Compensating Business Processes.- A Formal Specification in B of a Medical Decision Support System.- Extending B with Control Flow Breaks.- Towards Dynamic Population Management of Abstract Machines in the B Method.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 568 pp. Englisch.