Published by Springer, 1999
ISBN 10: 3540664599 ISBN 13: 9783540664598
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, Sept. 23 (sale item)* 356 pp., ex library, else textually clean and tight, softcover. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
More buying choices from other sellers on AbeBooks
New offers from £ 43.02
Used offers from £ 7.90
Also find Softcover
Published by Springer Verlag, New York, 2003
ISBN 10: 3540003487 ISBN 13: 9783540003489
Seller: Doss-Haus Books, Redondo Beach, CA, U.S.A.
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 ;2575. [xi, 323 p. : ill. ; 24 cm].
Published by Springer Verlag, New York City, 2002
ISBN 10: 3540436316 ISBN 13: 9783540436317
Seller: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Hardcover. Condition: Very Good. No Jacket. Hardcover 2002 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 ;2294.[viii, 330 p. : ill. ; 24 cm].
Published by Springer, New York, NY, U.S.A., 2016
ISBN 10: 3319280422 ISBN 13: 9783319280424
Seller: Book Dispensary, Concord, ON, Canada
Soft cover. Condition: As New. BRAND NEW softcover, minor shelf/handling wear.
More buying choices from other sellers on AbeBooks
New offers from £ 42.98
Used offers from £ 23.85
Also find Softcover
Published by Springer, 2019
ISBN 10: 9811389683 ISBN 13: 9789811389689
Seller: Books From California, Simi Valley, CA, U.S.A.
Paperback. Condition: Very Good.
More buying choices from other sellers on AbeBooks
New offers from £ 42.93
Used offers from £ 31.67
Also find Softcover
Published by New Dehli, Springer India., 2016
ISBN 10: 8132226518 ISBN 13: 9788132226512
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Volume 2. 23.5 cm x 15.5 cm, 0 g. xii, 322 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Advances in Intelligent Systems and Computing ; 396. Sprache: Englisch.
More buying choices from other sellers on AbeBooks
New offers from £ 83.87
Used offers from £ 38.13
Also find Softcover
Published by Singapore, Springer Singapore : Imprint: Springer., 2021
ISBN 10: 9811557462 ISBN 13: 9789811557460
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
First Edition
1st ed. 2021. IX, 143 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Advances in Intelligent Systems and Computing, 1178. Sprache: Englisch.
Published by Singapore, Springer., 2018
ISBN 10: 9811081794 ISBN 13: 9789811081798
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
x, 177 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
More buying choices from other sellers on AbeBooks
New offers from £ 60.15
Used offers from £ 39
Also find Softcover
Published by Singapore, Springer., 2019
ISBN 10: 9811337012 ISBN 13: 9789811337017
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
X, 191 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Advances in Intelligent Systems and Computing. Volume 883. Sprache: Englisch.
More buying choices from other sellers on AbeBooks
New offers from £ 42.95
Used offers from £ 39.86
Also find Softcover
Published by Singapore, Springer., 2017
ISBN 10: 9811033900 ISBN 13: 9789811033902
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
23.5 cm x 15.5 cm, 0 g. XI, 179 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Advances in Intelligent Systems and Computing ;568. Sprache: Englisch.
More buying choices from other sellers on AbeBooks
New offers from £ 46.87
Used offers from £ 40.73
Also find Softcover
Published by Springer, 2019
ISBN 10: 9811389616 ISBN 13: 9789811389610
Seller: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condition: new.
More buying choices from other sellers on AbeBooks
New offers from £ 43.43
Used offers from £ 55.75
Also find Softcover
Published by Springer, 2017
ISBN 10: 9811034087 ISBN 13: 9789811034084
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 47.34
Used offers from £ 56.02
Also find Softcover
Published by Springer, 2015
ISBN 10: 8132226488 ISBN 13: 9788132226482
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 48.91
Used offers from £ 56.52
Also find Softcover
Published by Springer, 2011
ISBN 10: 3642272444 ISBN 13: 9783642272448
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 43.48
Used offers from £ 71.04
Also find Softcover
Published by Springer, 2012
ISBN 10: 3642332595 ISBN 13: 9783642332593
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 43.49
Used offers from £ 104.99
Also find Softcover
Published by Springer, 2013
ISBN 10: 3642409245 ISBN 13: 9783642409240
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 44.15
Used offers from £ 104.99
Also find Softcover
Published by Springer Nature B.V., 2023
ISBN 10: 981196792X ISBN 13: 9789811967924
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Published by Springer, 2023
ISBN 10: 9819906105 ISBN 13: 9789819906109
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In.
Published by Springer, 2023
ISBN 10: 9811996024 ISBN 13: 9789811996023
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In.
Published by Springer, 2018
ISBN 10: 9811081824 ISBN 13: 9789811081828
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 60.15
Used offers from £ 97.83
Also find Softcover
Published by Springer Nature Singapore, 2020
ISBN 10: 9811529299 ISBN 13: 9789811529290
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book features extended versions of selected papers that were presented and discussed at the 7th International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2020), held in Kolkata, India, on February 28-29, 2020. Organized by the Departments of Computer Science & Engineering and A. K. Choudhury School of Information Technology at the University of Calcutta, the symposium's international partners were Ca' Foscari University of Venice, Italy, and Bialystok University of Technology, Poland. The topics covered include biometrics, image processing, pattern recognition, algorithms, cloud computing, wireless sensor networks, and security systems, reflecting the various symposium sessions.
Published by Springer, 2018
ISBN 10: 9811332495 ISBN 13: 9789811332494
Seller: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condition: new.
More buying choices from other sellers on AbeBooks
New offers from £ 79.22
Used offers from £ 97.81
Also find Softcover
Published by Springer, 2020
ISBN 10: 9811557462 ISBN 13: 9789811557460
Seller: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condition: new.
More buying choices from other sellers on AbeBooks
New offers from £ 82.39
Used offers from £ 109.13
Also find Softcover
Published by Springer Nature, 2021
ISBN 10: 9811642931 ISBN 13: 9789811642937
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 209 pages. 9.25x6.10x0.55 inches. In Stock.
More buying choices from other sellers on AbeBooks
New offers from £ 121.01
Also find Softcover First Edition
Published by Springer Nature, 2021
ISBN 10: 9811642869 ISBN 13: 9789811642869
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 205 pages. 9.25x6.10x0.47 inches. In Stock.
More buying choices from other sellers on AbeBooks
New offers from £ 130.26
Also find Softcover First Edition
Published by Springer Verlag, Singapore, 2024
ISBN 10: 981970040X ISBN 13: 9789819700400
Seller: Grand Eagle Retail, Wilmington, DE, U.S.A.
First Edition
Hardcover. Condition: new. Hardcover. The book presents latest results pertaining to challenges faced by researchers in space data management. There are large number of highly important applications that currently rely upon data from satellites and space missions, ranging from weather prediction to monitoring of environmental pollution, climate change, marine traffic, agriculture, and urban planning, etc. The quality and quantity of space data poses new and specific challenges to the scientific community, covering the entire life cycle of space data management and with a need for an interdisciplinary approach. The chapters written by experts discusses impacts of these challenges, and report activities that can stimulate new research. The book presents latest results pertaining to challenges faced by researchers in space data management. The quality and quantity of space data poses new and specific challenges to the scientific community, covering the entire life cycle of space data management and with a need for an interdisciplinary approach. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
More buying choices from other sellers on AbeBooks
New offers from £ 138.12
Also find Hardcover First Edition
Published by Springer, 2023
ISBN 10: 9811996008 ISBN 13: 9789811996009
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 143.94
Used offers from £ 157.60
Also find Hardcover First Edition
Published by Springer, 2022
ISBN 10: 9811671818 ISBN 13: 9789811671814
Seller: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condition: new.
More buying choices from other sellers on AbeBooks
New offers from £ 147.99
Used offers from £ 192.85
Also find Softcover First Edition
Published by Springer, 2023
ISBN 10: 9811967903 ISBN 13: 9789811967900
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New.
Published by Springer Nature Singapore, 2024
ISBN 10: 9811996032 ISBN 13: 9789811996030
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at guaranteeing that software applications satisfy some requirements of interest. Over the years, the software verification community has proposed and considered several techniques: abstract interpretation, data-flow analysis, type systems, model checking are just a few examples. The theoretical advances have been always motivated by practical challenges that have led to an equal evolution of both these sides of software verification. Indeed, several verification tools have been proposed by the research community and any software application, in order to guarantee that certain software requirements are met, needs to integrate a verification phase in its life cycle, independently of the context of application or software size. This book is aimed at collecting contributions discussing recent advances in facing open challenges in software verification, relying on a broad spectrum of verification techniques. This book collects contributions ranging from theoretical to practical arguments, and it is aimed at both researchers in software verification and their practitioners.