Computer science
Results 14713 - 14736 of 16979
Computer science
Paperback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 492 pages, biography. BIC Classification: UKN; UL; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 26. Weight in Grams: 846.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 492
- Condition
- New
- SKU
- V9783642773396
- ISBN
- 9783642773396
Paperback
Condition: New
€ 124.48
€ 124.48
Hardback. Shows how designs targeting commercial-off-the-shelf (COTS) multiprocessing (MP) technologies can be improved by providing a coherent coupling between these frameworks, a quality known as model continuity. Num Pages: 221 pages, biography. BIC Classification: TJFC; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 221
- Condition
- New
- SKU
- V9780792376262
- ISBN
- 9780792376262
Hardback
Condition: New
€ 127.29
€ 127.29
Hardback. Provides an introduction to formal specification and transformational programming. Series: Monographs in Computer Science. Num Pages: 506 pages, biography. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 28. Weight in Grams: 1106.
- Format
- Hardback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 506
- Condition
- New
- SKU
- V9783540523567
- ISBN
- 9783540523567
Hardback
Condition: New
€ 68.01
€ 68.01
Paperback. "Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland"--Pref. Editor(s): Rattray, C. Num Pages: 612 pages, 13 black & white illustrations, biography. BIC Classification: UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 32. Weight in Grams: 1204.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 612
- Condition
- New
- SKU
- V9783540195818
- ISBN
- 9783540195818
Paperback
Condition: New
€ 68.61
€ 68.61
Paperback. Addressing fundamental questions on modeling abstractions, this volume explores the integration and extension of diverse approaches to logic-based frameworks. This framework allows non-experts to graphically specify interaction models, which are then transformed into a corresponding formal representation. Series: Lecture Notes in Business Information Processing. Num Pages: 411 pages, 97 black & white illustrations, biography. BIC Classification: KJQ; UKR; UMB; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 411
- Condition
- New
- SKU
- V9783642145377
- ISBN
- 9783642145377
Paperback
Condition: New
€ 66.58
€ 66.58
Specification and Verification of Multi-Agent Systems
. Ed(S): Dastani, Mehdi; Hindriks, Koen V.; M...
Hardback. Written by leading experts in the field, this volume presents a coherent treatment of the area of formal specification and verification of agent-based systems. Topics include theorem proving to verify agent programs, model checking logistics, refining multi-agent systems, and more. Editor(s): Dastani, Mehdi; Hindriks, Koen V.; Meyer, John-Jules Ch. Num Pages: 422 pages, biography. BIC Classification: UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 233 x 165 x 31. Weight in Grams: 762.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 422
- Condition
- New
- SKU
- V9781441969835
- ISBN
- 9781441969835
Hardback
Condition: New
€ 193.67
€ 193.67
Paperback. Presents 12 case studies that use Rigorous Approach to Industrial Software Engineering, to construct, analyse, develop and apply formal specifications. This book covers application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, and component-based software design. Editor(s): Dang Van, Hung; George, Chris; Janowski, Tomasz; Moore, Richard. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 420 pages, biography. BIC Classification: UL; UMX; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 592.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 420
- Condition
- New
- SKU
- V9781852333591
- ISBN
- 9781852333591
Paperback
Condition: New
€ 126.94
€ 126.94
Paperback. Editor(s): Meseguer, Jose; Iida, Shusaku; Ogata, Kazuhiro. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 679 pages, 115 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 35. Weight in Grams: 1027.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 679
- Condition
- New
- SKU
- V9783642546235
- ISBN
- 9783642546235
Paperback
Condition: New
€ 67.00
€ 67.00
Paperback. This is a collection of 16 papers presented at a workshop whose purpose was to bring together the work of database researchers and those working on formal specification techniques, to examine the role that formal specification can play in developing database systems. Editor(s): Harper, David J.; Norrie, Moira C. Series: Workshops in Computing. Num Pages: 323 pages, 6 black & white illustrations, biography. BIC Classification: UN; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 170 x 18. Weight in Grams: 610.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 323
- Condition
- New
- SKU
- V9783540197324
- ISBN
- 9783540197324
Paperback
Condition: New
€ 64.87
€ 64.87
Hardcover. This book deals with these parametric methods, first discussing those based on time series models, Capon's method and its variants, and then estimators based on the notions of sub-spaces. Editor(s): Castanie, Francis. Series: Digital Signal & Image Processing. Num Pages: 264 pages, Illustrations. BIC Classification: UYS. Category: (P) Professional & Vocational. Dimension: 242 x 163 x 22. Weight in Grams: 530.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- ISTE United Kingdom
- Edition
- 1st Edition
- Number of pages
- 264
- Condition
- New
- SKU
- V9781905209057
- ISBN
- 9781905209057
Hardback
Condition: New
€ 220.01
€ 220.01
Spectral and High Order Methods for Partial Differential Equations - I...
. Ed(S): Azaiez, Mejdi; El Fekih, Henda; Hest...
Paperback. Editor(s): Azaiez, Mejdi; El Fekih, Henda; Hesthaven, Jan S. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 434 pages, 74 black & white illustrations, 71 colour illustrations, biography. BIC Classification: PBKJ; PBKS; PBW; PDE; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 434
- Condition
- New
- SKU
- V9783319378589
- ISBN
- 9783319378589
Paperback
Condition: New
€ 185.59
€ 185.59
Spectral and High Order Methods for Partial Differential Equations - I...
. Ed(S): Azaiez, Mejdi; Hesthaven, Jan S.; El...
Hardback. Editor(s): Azaiez, Mejdi; Hesthaven, Jan S.; El Fekih, Henda. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 434 pages, 74 black & white illustrations, 71 colour illustrations, biography. BIC Classification: PBKJ; PBKS; PBW; PDE; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 824.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 434
- Condition
- New
- SKU
- V9783319016009
- ISBN
- 9783319016009
Hardback
Condition: New
€ 187.40
€ 187.40
paperback. Series: Applied Mathematical Sciences. Num Pages: 198 pages, biography. BIC Classification: PHDS; PHU; PHVG; PN; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 311.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer/Sci-Tech/Trade United States
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 198
- Condition
- New
- SKU
- V9781461287674
- ISBN
- 9781461287674
Paperback
Condition: New
€ 121.44
€ 121.44
Paperback. Editor(s): Reuter, Martin; Lombaert, Herve. Series: Lecture Notes in Computer Science. Num Pages: 133 pages, 45 black & white illustrations, biography. BIC Classification: UBH; UNF; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 232.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 133
- Condition
- New
- SKU
- V9783319512365
- ISBN
- 9783319512365
Paperback
Condition: New
€ 62.26
€ 62.26
Paperback. Num Pages: 286 pages, 67 black & white tables, biography. BIC Classification: UGC; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 286
- Condition
- New
- SKU
- V9781475778731
- ISBN
- 9781475778731
Paperback
Condition: New
€ 122.65
€ 122.65
Paperback. Series: Springer Series in Computational Mathematics. Num Pages: 488 pages, biography. BIC Classification: PBKJ; PBKS; UYA. Category: (P) Professional & Vocational. Dimension: 158 x 266 x 2. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 488
- Condition
- New
- SKU
- V9783642270970
- ISBN
- 9783642270970
Paperback
Condition: New
€ 156.12
€ 156.12
Hardback. Editor(s): Matin, Mohammad. Series: Signals and Communication Technology. Num Pages: 295 pages, 33 black & white illustrations, 92 colour illustrations, biography. BIC Classification: TJKR; UT; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 608.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer Verlag, Singapore Singapore
- Number of pages
- 295
- Condition
- New
- SKU
- V9789811022531
- ISBN
- 9789811022531
Hardback
Condition: New
€ 123.43
€ 123.43
Paperback. Editor(s): Alexandris, Christina. Num Pages: 49 pages, tables. BIC Classification: UY. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 212 x 138 x 5. Weight in Grams: 94.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 49
- Condition
- New
- SKU
- V9781617289729
- ISBN
- 9781617289729
Paperback
Condition: New
€ 73.66€ 52.00
€ 73.66
€ 52.00
Speech and Audio Processing for Coding, Enhancement and Recognition
. Ed(S): Ogunfunmi, Tokunbo; Togneri, Roberto...
Hardback. Speech and Audio Processing for Coding, Enhancement and Recognition Editor(s): Ogunfunmi, Tokunbo; Togneri, Roberto; Narasimha, Madihally (Sim). Num Pages: 355 pages, 47 black & white illustrations, 32 colour illustrations, 18 black & white tables, biograp. BIC Classification: UYQS; UYU. Category: (P) Professional & Vocational. Dimension: 242 x 166 x 18. Weight in Grams: 646.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 355
- Condition
- New
- SKU
- V9781493914555
- ISBN
- 9781493914555
Hardback
Condition: New
€ 123.92
€ 123.92
Speech and Audio Processing for Coding, Enhancement and Recognition
. Ed(S): Ogunfunmi, Tokunbo; Togneri, Roberto...
Paperback. Editor(s): Ogunfunmi, Tokunbo; Togneri, Roberto; Narasimha, Madihally. Num Pages: 355 pages, 47 black & white illustrations, 32 colour illustrations, 18 black & white tables, biograp. BIC Classification: UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 545.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 355
- Condition
- New
- SKU
- V9781493948048
- ISBN
- 9781493948048
Paperback
Condition: New
€ 112.23
€ 112.23
Hardback. Here is a text that looks in detail at the state of the art in important areas of speech and audio signal processing. It presents the most recent findings in the field. Leading international experts report on their fields of work and their new results. Editor(s): Hansler, Eberhard; Schmidt, G. Series: Signals and Communication Technology. Num Pages: 736 pages, 343 black & white illustrations, 42 black & white tables, biography. BIC Classification: UYS. Category: (P) Professional & Vocational. Dimension: 239 x 167 x 42. Weight in Grams: 1418.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 736
- Condition
- New
- SKU
- V9783540706014
- ISBN
- 9783540706014
Hardback
Condition: New
€ 276.14
€ 276.14
Paperback. Here is a text that looks in detail at the state of the art in important areas of speech and audio signal processing. It presents the most recent findings in the field. Leading international experts report on their fields of work and their new results. Editor(s): Hansler, Eberhard; Schmidt, Gerhard. Series: Signals and Communication Technology. Num Pages: 736 pages, 343 black & white illustrations, 42 black & white tables, biography. BIC Classification: UYS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 38. Weight in Grams: 1139.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 736
- Condition
- New
- SKU
- V9783642089534
- ISBN
- 9783642089534
Paperback
Condition: New
€ 272.91
€ 272.91
Hardcover. When Speech and Audio Signal Processing published in 1999, it stood out from its competition in its breadth of coverage and its accessible, intutiont-based style. This book was aimed at individual students and engineers excited about the broad span of audio processing and curious to understand the available techniques. Num Pages: 688 pages, Illustrations. BIC Classification: TJK; UYS; UYU. Category: (P) Professional & Vocational. Dimension: 195 x 238 x 40. Weight in Grams: 1324.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 2nd Edition
- Number of pages
- 688
- Condition
- New
- SKU
- V9780470195369
- ISBN
- 9780470195369
Hardback
Condition: New
€ 137.43
€ 137.43
Paperback. This book constitutes the proceedings of the 18th International Conference on Speech and Computer, SPECOM 2016, held in Budapest, Hungary, in August 2016. The 85 papers presented in this volume were carefully reviewed and selected from 154 submissions. Editor(s): Ronzhin, Andrey; Potapova, Rodmonga. Series: Lecture Notes in Computer Science. Num Pages: 749 pages, 197 black & white illustrations, biography. BIC Classification: UNH; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 1133.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 749
- Condition
- New
- SKU
- V9783319439570
- ISBN
- 9783319439570
Paperback
Condition: New
€ 67.85
€ 67.85