.png){kind=logo}
Computing
Results 29721 - 29740 of 30851
Computing
Paperback. Editor(s): Laouiti, Anis; Qayyum, Amir; Mohamad Saad, Mohamad Naufal. 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 8. Weight in Grams: 327.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Verlag, Singapore Singapore
- Number of pages
- 93
- Condition
- New
- SKU
- V9789812871572
- ISBN
- 9789812871572
Paperback
Condition: New
€ 136.11
€ 136.11
Hardback. Num Pages: 94 pages, 34 black & white illustrations, biography. BIC Classification: THRB; TJK; URD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 6. Weight in Grams: 316.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 94
- Condition
- New
- SKU
- V9783319444932
- ISBN
- 9783319444932
Hardback
Condition: New
€ 127.73
€ 127.73
hardcover. 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: TJFM1; TRC; UYQ. Category: (P) Professional & Vocational. Dimension: 241 x 164 x 14. Weight in Grams: 324.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2010th Edition
- Number of pages
- 112
- Condition
- New
- SKU
- V9783540771425
- ISBN
- 9783540771425
Hardback
Condition: New
€ 129.90
€ 129.90
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
€ 127.78
€ 127.78
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
€ 84.55
€ 84.55
Paperback. This book constitutes the refereed proceedings of the COST 2102 International Conference on Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction, held in Patras, Greece, October 29 -31, 2007. This work organizes these papers in topical sections on static and dynamic processing of faces, facial expressions and gaze. Series: Lecture Notes in Computer Science. Num Pages: 293 pages, biography. BIC Classification: UGN; UYQP; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 293
- Condition
- New
- SKU
- V9783540708711
- ISBN
- 9783540708711
Paperback
Condition: New
€ 66.99
€ 66.99
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. Originally presented as the author's thesis (doctoral)--Technische Universit'at M'unchen, 1994. Series: Iwb Forschungsberichte. Num Pages: 144 pages, black & white illustrations, bibliography. BIC Classification: KJC; KJM; TBC; TD; TJFM1; UMZ. Category: (G) General (US: Trade). Dimension: 210 x 148 x 9. Weight in Grams: 200.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 144
- Condition
- New
- SKU
- V9783540581345
- ISBN
- 9783540581345
Paperback
Condition: New
€ 70.91
€ 70.91
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
Hardback. 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: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 1080.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 202
- Condition
- New
- SKU
- V9781441902238
- ISBN
- 9781441902238
Hardback
Condition: New
€ 165.03
€ 165.03
Hardcover. Verification and Validation for Quality of UML 2. 0 Models deals primarily with the creation and enhancement of the quality of software models. The Unified Modeling Language (UML) of the Object Management Group forms the basis of the software models discussed in this book. Series: Wiley Series in Systems Engineering and Management. Num Pages: 312 pages, Illustrations. BIC Classification: UMZL. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 26. Weight in Grams: 648.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 312
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780471727835
- ISBN
- 9780471727835
Hardback
Condition: New
€ 144.52
€ 144.52
Hardback. 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: UMZT. Category: (P) Professional & Vocational. Dimension: 245 x 174 x 22. Weight in Grams: 718.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783642152276
- ISBN
- 9783642152276
Hardback
Condition: New
€ 161.73
€ 161.73
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
Paperback. Series: Frontiers in Electronic Testing. Num Pages: 231 pages, biography. BIC Classification: TJFC; UGC; UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 231
- Condition
- New
- SKU
- V9781441954022
- ISBN
- 9781441954022
Paperback
Condition: New
€ 127.73
€ 127.73
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
Paperback. Num Pages: 520 pages, biography. BIC Classification: THR; TJF; TJFC; UGC; UMX. Category: (G) General (US: Trade). Dimension: 235 x 155 x 27. Weight in Grams: 795.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 520
- Condition
- New
- SKU
- V9781461498131
- ISBN
- 9781461498131
Paperback
Condition: New
€ 141.10
€ 141.10
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