.png){kind=logo}
Computer science
Results 16129 - 16152 of 16600
Computer science
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
€ 198.79
€ 198.79
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
€ 197.95
€ 197.95
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
€ 77.99
€ 77.99
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
€ 89.04
€ 89.04
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
€ 160.96
€ 160.96
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
€ 160.89
€ 160.89
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
€ 211.94
€ 211.94
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
€ 67.48
€ 67.48
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
€ 66.34
€ 66.34
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
€ 107.99
€ 107.99
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
€ 210.15
€ 210.15
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
€ 204.74
€ 204.74
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Bouajjani, Ahmed; Monniaux, David
Paperback. Editor(s): Bouajjani, Ahmed; Monniaux, David. Series: Lecture Notes in Computer Science. Num Pages: 560 pages, 150 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 878.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 560
- Condition
- New
- SKU
- V9783319522333
- ISBN
- 9783319522333
Paperback
Condition: New
€ 69.26
€ 69.26
Paperback. Editor(s): McMillan, Kenneth; Rival, Xavier. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 511 pages, 120 black & white illustrations, biography. BIC Classification: UKN; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 777.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 511
- Condition
- New
- SKU
- V9783642540127
- ISBN
- 9783642540127
Paperback
Condition: New
€ 68.61
€ 68.61
Verification, Model Checking, and Abstract Interpretation
. Ed(S): D'Souza, Deepak; Lal, Akash; Larsen,...
Paperback. Editor(s): D'Souza, Deepak; Lal, Akash; Larsen, Kim Gulstrand. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 486 pages. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 486
- Condition
- New
- SKU
- V9783662460801
- ISBN
- 9783662460801
Paperback
Condition: New
€ 68.41
€ 68.41
Paperback. Contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. This book includes the sharing and interoperability of tools, the alignment of theory and practice, and the identification of challenge problems. Editor(s): Woodcock, James. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 275 pages, biography. BIC Classification: UMB; UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 427.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 275
- Condition
- New
- SKU
- V9783540878728
- ISBN
- 9783540878728
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Editor(s): Blazy, Sandrine; Chechik, Marsha. Series: Lecture Notes in Computer Science. Num Pages: 213 pages, 36 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 213
- Condition
- New
- SKU
- V9783319488684
- ISBN
- 9783319488684
Paperback
Condition: New
€ 65.98
€ 65.98
Paperback. Editor(s): Cohen, Ernie; Rybalchenko, Andrey. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 361 pages, 83 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 361
- Condition
- New
- SKU
- V9783642541070
- ISBN
- 9783642541070
Paperback
Condition: New
€ 67.29
€ 67.29
Paperback. Editor(s): Giannakopoulou, Dimitra; Kroening, Daniel. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 297 pages, 107 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 297
- Condition
- New
- SKU
- V9783319121536
- ISBN
- 9783319121536
Paperback
Condition: New
€ 66.73
€ 66.73
Paperback. Editor(s): Gurfinkel, Arie; Seshia, Sanjit A. Series: Lecture Notes in Computer Science. Num Pages: 232 pages, 41 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 232
- Condition
- New
- SKU
- V9783319296128
- ISBN
- 9783319296128
Paperback
Condition: New
€ 66.16
€ 66.16
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 217 pages, biography. BIC Classification: UM; UYF. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 11. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 1982
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 217
- Condition
- New
- SKU
- V9783540112051
- ISBN
- 9783540112051
Paperback
Condition: New
€ 68.56
€ 68.56
Hardcover. Verilog is a Hardware Description Language (HDL) used to design and document electronic systems. Verilog HDL allows designers to virtually design systems without expending time or resources on physical models. It is the most widely used HDL with a user community of more than 50,000 active designers. Num Pages: 336 pages, Illustrations. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 22. Weight in Grams: 588.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 336
- Condition
- New
- SKU
- V9780471429760
- ISBN
- 9780471429760
Hardback
Condition: New
€ 171.28
€ 171.28
Paperback / so. Editor(s): Sandrock, Michael; Riegelhuth, Gerd. Num Pages: black & white illustrations, bibliography. BIC Classification: LND; UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Vieweg United States
- Condition
- New
- SKU
- V9783658043902
- ISBN
- 9783658043902
Paperback
Condition: New
€ 48.15
€ 48.15
Paperback / so. Editor(s): Bruggemann, Hans H; Gerhardt-Hackl, Waltraud. Series: Dud-Fachbeitrage. Num Pages: black & white illustrations, bibliography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 210 x 148 x 20. Weight in Grams: 458.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Condition
- New
- SKU
- V9783528054830
- ISBN
- 9783528054830
Paperback
Condition: New
€ 72.77
€ 72.77