.png){kind=logo}
Computing
Results 29841 - 29860 of 30854
Computing
Hardback. Manipulation of labelled transition systems offers a means of tracing flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically. This textbook gives an introduction into the basics of process algebra and its applications. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 168 pages, 11 black & white tables, biography. BIC Classification: PBF; UF; UK; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 432.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 168
- Condition
- New
- SKU
- V9783540665793
- ISBN
- 9783540665793
Hardback
Condition: New
€ 70.22
€ 70.22
Paperback. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 168 pages, 11 black & white tables, biography. BIC Classification: PBF; UF; UK; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 9. Weight in Grams: 284.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2000
- Number of pages
- 168
- Condition
- New
- SKU
- V9783642085840
- ISBN
- 9783642085840
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 154 pages, 7 black & white tables, biography. BIC Classification: UTR. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 8. Weight in Grams: 260.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2007
- Number of pages
- 154
- Condition
- New
- SKU
- V9783642093210
- ISBN
- 9783642093210
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Series: Network Theory and Applications. Num Pages: 432 pages, biography. BIC Classification: PBD; PBV; TTB; UKN; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 664.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 432
- Condition
- New
- SKU
- V9781461374268
- ISBN
- 9781461374268
Paperback
Condition: New
€ 195.42
€ 195.42
Hardback. Presents research in the field of optical networking. This book focuses on graph-theoretical and algorithmic aspects of optical networks. It is intended for research workers and professionals from mathematics, computer science, and engineering with an interest in algorithms, graph theory, telecommunications, networking and optical devices. Series: Network Theory and Applications. Num Pages: 432 pages, biography. BIC Classification: TJK; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 791.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 432
- Condition
- New
- SKU
- V9780792357766
- ISBN
- 9780792357766
Hardback
Condition: New
€ 202.73
€ 202.73
Hardcover. Editor(s): Wang, Ning. Num Pages: 221 pages, Illustrations. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 263 x 184 x 19. Weight in Grams: 604.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 221
- Condition
- New
- SKU
- V9781617618581
- ISBN
- 9781617618581
Hardback
Condition: New
€ 258.01€ 175.96
€ 258.01
€ 175.96
Hardback. Series: Lecture Notes in Electrical Engineering. Num Pages: 172 pages, 38 black & white illustrations, 31 colour illustrations, biography. BIC Classification: TJK; TTBM; UNH. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 426.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 172
- Condition
- New
- SKU
- V9783319310947
- ISBN
- 9783319310947
Hardback
Condition: New
€ 127.52
€ 127.52
Abstraction Refinement for Large Scale Model Checking
Wang, Chao; Hachtel, Gary D. (University Of C...
Paperback. Series: Integrated Circuits and Systems. Num Pages: 193 pages, biography. BIC Classification: THR; TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 308.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 193
- Condition
- New
- SKU
- V9781489993953
- ISBN
- 9781489993953
Paperback
Condition: New
€ 160.96
€ 160.96
Paperback. Provides a presentation of elimination methods and the underlying theories, along the central line of decomposing arbitrary systems of polynomials into triangular systems of various kinds. Highlighting methods based on triangular sets, this book also covers the theory and techniques of resultants and Grobner bases. Series: Texts and Monographs in Symbolic Computation. Num Pages: 257 pages, 8 black & white illustrations, biography. BIC Classification: PBF; PBM; PBP; UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 14. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 257
- Condition
- New
- SKU
- V9783211832417
- ISBN
- 9783211832417
Paperback
Condition: New
€ 128.19
€ 128.19
paperback. Series: SpringerBriefs in Computer Science. Num Pages: 85 pages, 10 black & white illustrations, 20 colour illustrations, biography. BIC Classification: TJKW; UMB; UT; UYS. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 5. Weight in Grams: 168.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2015
- Number of pages
- 85
- Condition
- New
- SKU
- V9783319204475
- ISBN
- 9783319204475
Paperback
Condition: New
€ 66.95
€ 66.95
Hardback. Haptic Rendering for Simulation of Fine Manipulation Num Pages: 174 pages, 19 black & white illustrations, 108 colour illustrations, biography. BIC Classification: TJFM1; UGK; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 432.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 174
- Condition
- New
- SKU
- V9783662449486
- ISBN
- 9783662449486
Hardback
Condition: New
€ 66.76
€ 66.76
Practical Iterative Learning Control with Frequency Domain Design and ...
Wang, Danwei; Ye, Yongqiang; Zhang, Bin
Paperback. This book examines iterative learning control (ILC) with a focus on design and implementation. It presents a framework with various methodologies to ensure the learnable bandwidth in the ILC system to be set with a balance between performance and stability. Series: Advances in Industrial Control. Num Pages: 238 pages, 42 black & white illustrations, 120 colour illustrations, biography. BIC Classification: PBWH; PBWR; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 372.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Verlag, Singapore Singapore
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 238
- Condition
- New
- SKU
- V9789811013539
- ISBN
- 9789811013539
Paperback
Condition: New
€ 127.00
€ 127.00
Paperback. Num Pages: 309 pages, 63 black & white tables, biography. BIC Classification: GPFC; TJFM; TJFM1; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 309
- Condition
- New
- SKU
- V9781489990594
- ISBN
- 9781489990594
Paperback
Condition: New
€ 127.69
€ 127.69
Paperback. Num Pages: 361 pages, 153 black & white illustrations, biography. BIC Classification: TJFC; UMZ; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 361
- Condition
- New
- SKU
- V9783319358796
- ISBN
- 9783319358796
Paperback
Condition: New
€ 67.29
€ 67.29
Hardback. This book introduces a number of digital watermarking techniques. It contains the latest research into the digital watermarking techniques in the artificial intelligence environment. The book is directed to those interested in the area of information security. Series: Studies in Computational Intelligence. Num Pages: 186 pages, 33 black & white tables, biography. BIC Classification: UGC; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 462.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 186
- Condition
- New
- SKU
- V9783642031861
- ISBN
- 9783642031861
Hardback
Condition: New
€ 131.54
€ 131.54
Paperback. This practical guide provides a comprehensive overview of Euclidean structure and motion recovery, with a specific focus on factorization-based algorithms. The text discusses the latest research in the field and presents new algorithms developed by the authors. Series: Advances in Computer Vision and Pattern Recognition. Num Pages: 228 pages, biography. BIC Classification: UG; UYQ; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 228
- Condition
- New
- SKU
- V9781447125877
- ISBN
- 9781447125877
Paperback
Condition: New
€ 181.24
€ 181.24
Hardback. This practical guide provides a comprehensive overview of Euclidean structure and motion recovery, with a specific focus on factorization-based algorithms. The text discusses the latest research in the field and presents new algorithms developed by the authors. Series: Advances in Computer Vision and Pattern Recognition. Num Pages: 228 pages, biography. BIC Classification: UG; UYQ. Category: (P) Professional & Vocational. Dimension: 243 x 160 x 16. Weight in Grams: 482.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 228
- Condition
- New
- SKU
- V9780857290458
- ISBN
- 9780857290458
Hardback
Condition: New
€ 128.45
€ 128.45
Paperback. Series: SpringerBriefs in Computer Science. Num Pages: 53 pages, 12 black & white illustrations, biography. BIC Classification: MB; TJK; UBH; UKN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 3. Weight in Grams: 118.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 53
- Condition
- New
- SKU
- V9783319479453
- ISBN
- 9783319479453
Paperback
Condition: New
€ 71.38
€ 71.38
Paperback. Series: SpringerBriefs in Computer Science. Num Pages: 67 pages, 23 black & white illustrations, 9 colour illustrations, 9 black & white tables, biography. BIC Classification: UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 4. Weight in Grams: 124.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 67
- Condition
- New
- SKU
- V9783319045603
- ISBN
- 9783319045603
Paperback
Condition: New
€ 71.77
€ 71.77
Paperback. Series: SpringerBriefs in Electrical and Computer Engineering. Num Pages: 106 pages, 4 black & white illustrations, 28 colour illustrations, biography. BIC Classification: TJK; UKN; UTF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 6. Weight in Grams: 180.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 106
- Condition
- New
- SKU
- V9783319306797
- ISBN
- 9783319306797
Paperback
Condition: New
€ 75.62
€ 75.62