Computer science
Results 16225 - 16248 of 16707
Computer science
Hardback. Image segmentation is used in a wide range of useful applications such as remote sensing, medicine, robotics, database search, and security. The text provides an overview of level set methods for image and image sequence segmentation. Series: Springer Topics in Signal Processing. Num Pages: 192 pages, 23 black & white illustrations, 19 colour illustrations, biography. BIC Classification: UG; UYS. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 192
- Condition
- New
- SKU
- V9783642153518
- ISBN
- 9783642153518
Hardback
Condition: New
€ 153.72
€ 153.72
Paperback. Image segmentation is used in a wide range of useful applications such as remote sensing, medicine, robotics, database search, and security. The text provides an overview of level set methods for image and image sequence segmentation. Series: Springer Topics in Signal Processing. Num Pages: 192 pages, 23 black & white illustrations, 19 colour illustrations, biography. BIC Classification: TTBM; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 192
- Condition
- New
- SKU
- V9783642265624
- ISBN
- 9783642265624
Paperback
Condition: New
€ 152.49
€ 152.49
Paperback. Editor(s): Giannessi, F.; Maugeri, A. Num Pages: 305 pages, black & white illustrations. BIC Classification: PB; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 305
- Condition
- New
- SKU
- V9781489913609
- ISBN
- 9781489913609
Paperback
Condition: New
€ 121.77
€ 121.77
paperback. With its mathematically rigorous presentation, this book is a detailed treatment of the approach from an inverse problems point of view. It is geared towards graduate students and researchers in applied mathematics and can serve as a text for graduate courses. Series: Applied Mathematical Sciences. Num Pages: 334 pages, biography. BIC Classification: MMP; PBKQ; PBKS; UG; UYS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer United States
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 334
- Condition
- New
- SKU
- V9781441921666
- ISBN
- 9781441921666
Paperback
Condition: New
€ 64.17
€ 64.17
Hardback. Editor(s): Wu, Jianzhong. Series: Molecular Modeling and Simulation. Num Pages: 324 pages, 69 black & white illustrations, biography. BIC Classification: PBT; PNR; TGB; UYM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 666.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer Verlag, Singapore Singapore
- Number of pages
- 324
- Condition
- New
- SKU
- V9789811025006
- ISBN
- 9789811025006
Hardback
Condition: New
€ 196.99
€ 196.99
Paperback. Series: SpringerBriefs in Computer Science. Num Pages: 95 pages, 21 black & white illustrations, biography. BIC Classification: UGK; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 160 x 6. Weight in Grams: 148.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 95
- Condition
- New
- SKU
- V9781493905324
- ISBN
- 9781493905324
Paperback
Condition: New
€ 70.94
€ 70.94
Paperback. Num Pages: 280 pages, biography. BIC Classification: PBKB; PBKF; PBKJ; PBKQ; UYA. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 15. Weight in Grams: 525.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2001
- Number of pages
- 280
- Condition
- New
- SKU
- V9781441933683
- ISBN
- 9781441933683
Paperback
Condition: New
€ 125.99
€ 125.99
Paperback. A monograph that focuses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem, combining techniques from such diverse areas as linear algebra, computable ring theory, abstract interpretation, program verification and complexity theory. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 190 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 190
- Condition
- New
- SKU
- V9783540453857
- ISBN
- 9783540453857
Paperback
Condition: New
€ 65.02
€ 65.02
Paperback. Editor(s): Laouiti, Anis; Qayyum, Amir. Series: Advances in Intelligent Systems and Computing. Num Pages: 93 pages, 14 black & white illustrations, 32 colour illustrations, biography. BIC Classification: TBJ; THRB; TJK; TRC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 6. Weight in Grams: 174.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Verlag, Singapore Singapore
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 93
- Condition
- New
- SKU
- V9789811012556
- ISBN
- 9789811012556
Paperback
Condition: New
€ 203.40
€ 203.40
Paperback. This book presents selected articles from the Second International Workshop on Vehicular Adhoc Networks for Smart Cities, 2016 (IWVSC'2016). In order to promote further research activities and challenges, it highlights recent developments in vehicular networking technologies and their role in future smart cities. Editor(s): Laouiti, Anis; Qayyum, Amir. Series: Advances in Intelligent Systems and Computing. Num Pages: 97 pages, 8 black & white illustrations, 22 colour illustrations, 50 colour tables, biography. BIC Classification: RPT; TRT; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer Verlag, Singapore Singapore
- Number of pages
- 97
- Condition
- New
- SKU
- V9789811035029
- ISBN
- 9789811035029
Paperback
Condition: New
€ 130.06
€ 130.06
Paperback. This book describes concepts and technologies being developed for the European Car-to-Car Communication Consortium in relation with American Vehicle Safety Communication project, and shows how they will be used for application, traffic and network simulation. Num Pages: 112 pages, 9 black & white tables, biography. BIC Classification: TJFM; TJFM1; TRC; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 6. Weight in Grams: 197.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 112
- Condition
- New
- SKU
- V9783642426056
- ISBN
- 9783642426056
Paperback
Condition: New
€ 121.55
€ 121.55
paperback. Series: PSZ-Drucke. Num Pages: 508 pages, black & white illustrations, bibliography. BIC Classification: JMAF; UYQ. Category: (P) Professional & Vocational. Dimension: 203 x 133 x 27. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer Germany
- Edition
- 1st Edition
- Number of pages
- 508
- Condition
- New
- SKU
- V9783540507185
- ISBN
- 9783540507185
Paperback
Condition: New
€ 80.64
€ 80.64
Hardback. Verbmobil is the result of eight years of intensive research in a large speech-to-speech translation project, executed by a consortium comprising 19 academic and four industrial partners. This book gives a comprehensive overview of the results of this project in human language technology. Series: Artificial Intelligence. Num Pages: 677 pages, 88 black & white tables, biography. BIC Classification: UYQL. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 38. Weight in Grams: 1144.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 677
- Condition
- New
- SKU
- V9783540677833
- ISBN
- 9783540677833
Hardback
Condition: New
€ 189.39
€ 189.39
Paperback. Series: Artificial Intelligence. Num Pages: 677 pages, 88 black & white tables, biography. BIC Classification: HP; UMB; UYQL; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 35. Weight in Grams: 1044.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 677
- Condition
- New
- SKU
- V9783642087301
- ISBN
- 9783642087301
Paperback
Condition: New
€ 188.66
€ 188.66
paperback. Series: Wissenschaftliche Reihe Fahrzeugtechnik Universitat Stuttgar. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: TGB; TJK; TRC; UDB; UY. Category: (G) General (US: Trade). Dimension: 210 x 148 x 9. Weight in Grams: 209.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Vieweg United States
- Edition
- 2015th Edition
- Condition
- New
- SKU
- V9783658088620
- ISBN
- 9783658088620
Paperback
Condition: New
€ 74.28
€ 74.28
Paperback / so. Num Pages: 286 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: TN; UK; UT; UY. Category: (G) General (US: Trade). Dimension: 210 x 148 x 18. Weight in Grams: 404.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Vieweg United States
- Number of pages
- 286
- Condition
- New
- SKU
- V9783658043476
- ISBN
- 9783658043476
Paperback
Condition: New
€ 84.78
€ 84.78
Paperback. This book examines several classes of hybrid systems, admitting symbolic models along with the relationships between them. It outlines several key verification and control synthesis results for hybrid systems. Num Pages: 202 pages, 200 black & white illustrations, biography. BIC Classification: GPFC; TJFM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 202
- Condition
- New
- SKU
- V9781441954985
- ISBN
- 9781441954985
Paperback
Condition: New
€ 153.06
€ 153.06
Paperback. As well as an overview of UML and the more recent SysML, Debbabi and his co-authors investigate varied methodologies and techniques for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages. Num Pages: 248 pages, biography. BIC Classification: UMZ; UYD; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 427.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783642423161
- ISBN
- 9783642423161
Paperback
Condition: New
€ 153.37
€ 153.37
Hardback. Describes SystemVerilog language features relevant to functional verification. This book also specifies a standard set of libraries for assertions and commonly used verification functions, such as stimulus generation, simulation control and coverage analysis, to help implement the recommended methodology. Num Pages: 503 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 2000.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 503
- Condition
- New
- SKU
- V9780387255385
- ISBN
- 9780387255385
Hardback
Condition: New
€ 201.71
€ 201.71
Hardback. Verification of Business Rules Programs Num Pages: 236 pages, 16 black & white illustrations, 2 colour illustrations, biography. BIC Classification: UM; UN; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 549.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 236
- Condition
- New
- SKU
- V9783642400377
- ISBN
- 9783642400377
Hardback
Condition: New
€ 64.42
€ 64.42
Paperback. This publication enables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of business rules programs. It includes a compositional verification method for proving correctness properties. Num Pages: 253 pages, 16 black & white illustrations, 2 colour illustrations, biography. BIC Classification: UM; UN; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 253
- Condition
- New
- SKU
- V9783662514078
- ISBN
- 9783662514078
Paperback
Condition: New
€ 63.39
€ 63.39
Paperback. This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems. Num Pages: 526 pages, 26 black & white illustrations, biography. BIC Classification: PBCD; UM; UYF. Category: (G) General (US: Trade). Dimension: 233 x 156 x 28. Weight in Grams: 746.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of hardcover 3rd ed. 2009
- Number of pages
- 526
- Condition
- New
- SKU
- V9781447125136
- ISBN
- 9781447125136
Paperback
Condition: New
€ 102.74
€ 102.74
Hardback. A practical guide on how to get a verification team jumpstarted into verification success by the joint creation of a verification plan. This book includes: a five day approach that gives instructions on how to design and document your verification system; an introduction to hardware verification languages; and more. Num Pages: 229 pages, biography. BIC Classification: UKR; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 229
- Condition
- New
- SKU
- V9781402076190
- ISBN
- 9781402076190
Hardback
Condition: New
€ 199.78
€ 199.78
Paperback. Num Pages: 229 pages, biography. BIC Classification: UGC; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 229
- Condition
- New
- SKU
- V9781461350941
- ISBN
- 9781461350941
Paperback
Condition: New
€ 194.73
€ 194.73