Order Total (1 Item Items):
Shipping Destination:
Vain Juri (52 results)
Author:
vain juri
Refine with Advanced Search
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (52)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (46)
- As New, Fine or Near Fine (5)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (52)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (26)
- Not Print on Demand (42)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science)
Language: English
Published by Springer 20.07.2007., 2007
ISBN 10: 3540731954 ISBN 13: 9783540731955
Condition: Sehr gut. Auflage: 2007. 392 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,1 x 16,5 x 2,0 cm, Taschenbuch.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, ... (Lecture Notes in Computer Science, 4574)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.60
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
System Assurances
Book 21 of 24: Emerging Methodologies and Applications in Modelling, Identification and ControlSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
-
-
System Assurances: Modeling and Management (Emerging Methodologies and Applications in Modelling, Identification and Control)
Book 21 of 24: Emerging Methodologies and Applications in Modelling, Identification and ControlSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 60.83
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
System Assurances: Modeling and Management (Emerging Methodologies and Applications in Modelling, Identification and Control)
Book 21 of 24: Emerging Methodologies and Applications in Modelling, Identification and ControlLanguage: English
Published by Academic Press 2022-03-15, 2022
ISBN 10: 0323902405 ISBN 13: 9780323902403
Paperback. Condition: New.
-
System Assurances : Modeling and Management
Book 21 of 24: Emerging Methodologies and Applications in Modelling, Identification and ControlSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, ... in Computer and Information Science)
Book 364 of 437: Communications in Computer and Information ScienceSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 65.85
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Advances in Model and Data Engineering in the Digitalization Era : Medi 2021 International Workshops: Detect, Sias, Csmml, Bioc, Heda, Tallinn, Estonia, June 21?23, 2021, Proceedings
Book 364 of 437: Communications in Computer and Information ScienceSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Formal Techniques for Networked and Distributed Systems - Forte 2007: 27th Ifip Wg 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2007
ISBN 10: 3540731954 ISBN 13: 9783540731955
Paperback. Condition: Brand New. 1st edition. 375 pages. 9.10x6.50x0.80 inches. In Stock.
-
System Assurances: Modeling and Management
Book 21 of 24: Emerging Methodologies and Applications in Modelling, Identification and ControlLanguage: English
Published by Elsevier Science & Technology, 2022
ISBN 10: 0323902405 ISBN 13: 9780323902403
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 2022. Paperback. . . . . .
-
Advances in Model and Data Engineering in the Digitalization Era : Medi 2021 International Workshops: Detect, Sias, Csmml, Bioc, Heda, Tallinn, Estonia, June 21?23, 2021, Proceedings
Book 364 of 437: Communications in Computer and Information ScienceSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
System Assurances : Modeling and Management
Book 21 of 24: Emerging Methodologies and Applications in Modelling, Identification and ControlSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
System Assurances
Book 21 of 24: Emerging Methodologies and Applications in Modelling, Identification and ControlLanguage: English
Published by Elsevier Science and Technology, GB, 2022
ISBN 10: 0323902405 ISBN 13: 9780323902403
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. System Assurances: Modeling and Management updates on system assurance and performance methods using advanced analytics and understanding of software reliability growth modeling from today's debugging team's point-of-view, along with information on preventive and predictive maintenance and the efficient use of testing resources. The book presents the rapidly growing application areas of systems and software modeling, including intelligent synthetic characters, human-machine interface, menu generators, user acceptance analysis, picture archiving and software systems. Students, research scholars, academicians, scientists and industry practitioners will benefit from the book as it provides better insights into modern related global trends, issues and practices.
-
Advances in Model and Data Engineering in the Digitalization Era
Book 364 of 437: Communications in Computer and Information ScienceLanguage: English
Published by Springer Nature Switzerland AG, CH, 2021
ISBN 10: 303087656X ISBN 13: 9783030876562
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. 1st ed. 2021.
-
Advances In Model And Data Engineering I
Book 364 of 437: Communications in Computer and Information ScienceSeller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
-
System Assurances: Modelling and Management
Book 21 of 24: Emerging Methodologies and Applications in Modelling, Identification and ControlLanguage: English
Published by Elsevier Science & Technology, 2022
ISBN 10: 0323902405 ISBN 13: 9780323902403
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. New copy - Usually dispatched within 3 working days.
-
-
System Assurances: Modeling and Management
Book 21 of 24: Emerging Methodologies and Applications in Modelling, Identification and ControlLanguage: English
Published by Elsevier Science & Technology, 2022
ISBN 10: 0323902405 ISBN 13: 9780323902403
Condition: New. 2022. Paperback. . . . . . Books ship from the US and Ireland.
-
-
Formal Techniques for Networked and Distributed Systems - FORTE 2007
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 2007, 2007
ISBN 10: 3540731954 ISBN 13: 9783540731955
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci cation Testing and Veri cation) and former FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) conferences. The rst PSTV conference took place in 1981, and the rst FORTE took place in 1988. They were merged into one larger conference in 1996 and have run under the name of FORTE from 2001. The conference is a forum for presentation and d- cussion of the state of the art in theory, application, tools, and industrialization of formal methods. Over the years, FORTE has been held in numerous lo- tions, and this is re ected by its recent history, with meetings in Pisa (Italy), Cheju Island(Korea),Houston(USA), Berlin(Germany),Madrid(Spain), Paris (France), Taiwan and now Tallinn, Estonia. FORTE was sponsored by Working Group 6.1 of Technical Committee 6 (TC6) of the InternationalFederation for Information Processing (IFIP). Indeed FORTE is one of the agship conferences of Working Group 6.1 (Architectures and Protocols for Distributed Systems), and covers many aspects of the main themes of WG6.1, namely, formal description techniques, open distributed s- tems, and quality of service. WG6.1 provided a Best Paper Award as well as funds to help student participation, and we are particularly grateful for this. The 27th FORTE conference was held during June 26¿29, 2007, in Tallinn (Estonia), in the historical building of the Brotherhood of the Black Heads.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.
-
-
Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Language: English
Published by Springer Berlin Heidelberg, 2007
ISBN 10: 3540731954 ISBN 13: 9783540731955
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci cation Testing and Veri cation) and former FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) conferences. The rst PSTV conference took place in 1981, and the rst FORTE took place in 1988. They were merged into one larger conference in 1996 and have run under the name of FORTE from 2001. The conference is a forum for presentation and d- cussion of the state of the art in theory, application, tools, and industrialization of formal methods. Over the years, FORTE has been held in numerous lo- tions, and this is re ected by its recent history, with meetings in Pisa (Italy), Cheju Island(Korea),Houston(USA), Berlin(Germany),Madrid(Spain), Paris (France), Taiwan and now Tallinn, Estonia. FORTE was sponsored by Working Group 6.1 of Technical Committee 6 (TC6) of the InternationalFederation for Information Processing (IFIP). Indeed FORTE is one of the agship conferences of Working Group 6.1 (Architectures and Protocols for Distributed Systems), and covers many aspects of the main themes of WG6.1, namely, formal description techniques, open distributed s- tems, and quality of service. WG6.1 provided a Best Paper Award as well as funds to help student participation, and we are particularly grateful for this. The 27th FORTE conference was held during June 26-29, 2007, in Tallinn (Estonia), in the historical building of the Brotherhood of the Black Heads.
