Computer science
Results 1513 - 1536 of 2501
Computer science
Hardback. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. Editor(s): Merz, Stephan; Navet, Nicolas. Series: ISTE. Num Pages: 448 pages, Illustrations. BIC Classification: UYD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 163 x 26. Weight in Grams: 720.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 448
- Condition
- New
- SKU
- V9781848210134
- ISBN
- 9781848210134
Hardback
Condition: New
€ 259.79
€ 259.79
Paperback. Constitutes the proceedings of the 7th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2010, held in Perpignan, France, in October 2010. This volume also contains extended abstracts of the three invited papers. Editor(s): Torra, Prof. Vicenc; Narukawa, Yasuo; Daumas, Marc. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 299 pages, 81 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 299
- Condition
- New
- SKU
- V9783642162916
- ISBN
- 9783642162916
Paperback
Condition: New
€ 67.35
€ 67.35
Paperback. Series: The MK/OMG Press. Num Pages: 350 pages, Illustrated. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 235 x 190 x 15. Weight in Grams: 572.
- Publisher
- Elsevier Science & Technology
- Format
- Paperback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780124199842
- ISBN
- 9780124199842
Paperback
Condition: New
€ 59.88
€ 59.88
Hardcover. Num Pages: 416 pages, illustrations. BIC Classification: TJK; UYM. Category: (P) Professional & Vocational. Dimension: 246 x 162 x 25. Weight in Grams: 800.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 416
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781118400050
- ISBN
- 9781118400050
Hardback
Condition: New
€ 149.99
€ 149.99
Modeling of Thermodynamic Properties of Refrigerants Using Artifical N...
Mohebbi, Ali; Taheri, Mahboobeh; Nooshiravani...
Paperback. Num Pages: 102 pages, tables & charts. BIC Classification: TDC; UYQN. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 229 x 154 x 7. Weight in Grams: 188.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 102
- Condition
- New
- SKU
- V9781617282881
- ISBN
- 9781617282881
Paperback
Condition: New
€ 72.88€ 52.00
€ 72.88
€ 52.00
Paperback. Editor(s): Heisig, Peter; Clarkson, P. John; Vajna, Sandor. Num Pages: 225 pages, biography. BIC Classification: KJ; TBC; TBD; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 225
- Condition
- New
- SKU
- V9781447157175
- ISBN
- 9781447157175
Paperback
Condition: New
€ 185.46
€ 185.46
Modelling Autonomic Communication Environments: 5th IEEE International...
. Ed(S): Brennan, Rob; Fleck, Joel, Ii; Meer,...
paperback. Editor(s): Brennan, Rob; Fleck, Joel, II; Meer, Sven van der. Series: Lecture Notes in Computer Science. Num Pages: 125 pages, 46 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 10. Weight in Grams: 218.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 125
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642168352
- ISBN
- 9783642168352
Paperback
Condition: New
€ 65.66
€ 65.66
Paperback. .
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 518
- Format
- Paperback
- Publication date
- 2013
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9781848003217
- ISBN
- 9781848003217
Paperback
Condition: New
€ 81.61
€ 81.61
Hardcover. 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: UYF. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 415.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 154
- Format
- Hardback
- Publication date
- 2007
- Edition
- 2007th Edition
- Condition
- New
- SKU
- V9783540739371
- ISBN
- 9783540739371
Hardback
Condition: New
€ 58.77€ 22.84
€ 58.77
€ 22.84
Paperback. Constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011. This title features the papers that are organized in topical sections on model execution, model analysis, methodology, model management, model transformation, and variability analysis and ADLs. Editor(s): France, Robert B.; Kuester, Jochen M.; Bordbar, Behzad; Paige, Richard F. (University of York). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 396 pages, 147 black & white illustrations, 65 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 396
- Condition
- New
- SKU
- V9783642214691
- ISBN
- 9783642214691
Paperback
Condition: New
€ 68.03
€ 68.03
Hardback. Today distributed systems are increasingly present, for public software applications as well as critical systems, software applications as well as critical systems. Models and Analysis for Distributed Systems explores the state of the art of the formal methods for the analysis of distributed systems. Editor(s): Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. Num Pages: 356 pages, Illustrations. BIC Classification: UYD. Category: (G) General (US: Trade). Dimension: 235 x 168 x 25. Weight in Grams: 666.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 368
- Condition
- New
- SKU
- V9781848213142
- ISBN
- 9781848213142
Hardback
Condition: New
€ 177.55
€ 177.55
Paperback. Editor(s): Dingel, Juergen; Solberg, Arnor. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 416 pages, 79 black & white illustrations, 70 colour illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 416
- Condition
- New
- SKU
- V9783642212093
- ISBN
- 9783642212093
Paperback
Condition: New
€ 68.17
€ 68.17
Paperback. This text provides an introduction to the analysis techniques used in the design of linear feedback control systems. Following an introduction to general state space systems and input-output systems, the text covers all design methods, analyzing first-order and higher-order systems as well. Num Pages: 368 pages, Ill. BIC Classification: TJFM; UYD. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 160 x 19. Weight in Grams: 538.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 368
- Condition
- New
- SKU
- V9780471811930
- ISBN
- 9780471811930
Paperback
Condition: New
€ 270.51
€ 270.51
Hardcover. This text focuses on three related areas in the theory of computation. The areas are modern cryptography, the study of probabilistic proof systems, and the theory of computational pseudorandomness. The common theme is the interplay between randomness and computation. Series: Algorithms and Combinatorics. Num Pages: 198 pages, 1 black & white illustrations, biography. BIC Classification: UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 1030.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 1998
- Edition
- 1999th Edition
- Condition
- New
- SKU
- V9783540647669
- ISBN
- 9783540647669
Hardback
Condition: New
€ 157.43
€ 157.43
Paperback. The book is perfect for makers new to leatherworking, as well as experienced leatherworkers who want to understand how to integrate new digital fabrication tools into their workbench. Written by an experienced leatherworker and programmer, this is a resource that makers will turn to again and again. Num Pages: 256 pages. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 250 x 150 x 15. Weight in Grams: 666.
- Publisher
- O´Reilly Media
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781680453201
- ISBN
- 9781680453201
Paperback
Condition: New
€ 31.99€ 26.17
€ 31.99
€ 26.17
Paperback. Num Pages: 544 pages. BIC Classification: KJQ; UYD. Category: (U) Tertiary Education (US: College). Dimension: 276 x 216 x 25. Weight in Grams: 1270.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Pearson Education (US) United States
- Edition
- 8 Rev ed
- Number of pages
- 544
- Condition
- New
- SKU
- V9780134204925
- ISBN
- 9780134204925
Paperback
Condition: New
€ 283.17
€ 283.17
Paperback. Num Pages: 150 pages, biography. BIC Classification: UM; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Publisher
- Apress
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st ed.
- Condition
- New
- SKU
- V9781484216873
- ISBN
- 9781484216873
Paperback
Condition: New
€ 36.99€ 34.91
€ 36.99
€ 34.91
Hardback. The authors describe a technique that can visualize the atomic structure of molecules, it is necessary, in terms of the image processing, to consider the reconstruction of sparse images. Many works have leveraged the assumption of sparsity in order to achieve an improved performance that would not otherwise be possible. Num Pages: 88 pages, Illustrations (black and white). BIC Classification: TTBM; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 163 x 13. Weight in Grams: 320.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 88
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781848214743
- ISBN
- 9781848214743
Hardback
Condition: New
€ 169.61
€ 169.61
Paperback. With Ganglia, you can monitor the performance of several deployment scenarios - but this tool's strength can also be a weakness if you don't know how all its pieces work together. This book shows you how to configure Ganglia to monitor clusters, grids, or cloud infrastructures at very large scales on the order of thousands of machines. Num Pages: 256 pages, illustrations. BIC Classification: UYD. Category: (XV) Technical / Manuals. Dimension: 232 x 180 x 14. Weight in Grams: 454.
- Publisher
- O´Reilly Media United States
- Number of pages
- 256
- Format
- Paperback
- Publication date
- 2012
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781449329709
- ISBN
- 9781449329709
Paperback
Condition: New
€ 32.99€ 31.49
€ 32.99
€ 31.49
Hardcover. An expert guide to understanding and making optimum use of BSIM Used by more chip designers worldwide than any other comparable model, the Berkeley Short-Channel IGFET Model (BSIM) has, over the past few years, established itself as the de facto standard MOSFET SPICE model for circuit simulation and CMOS technology development. Num Pages: 600 pages, index. BIC Classification: UMZ; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 238 x 163 x 39. Weight in Grams: 994.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 600
- Condition
- New
- SKU
- V9780471396970
- ISBN
- 9780471396970
Hardback
Condition: New
€ 240.38
€ 240.38
Paperback. Series: Studies in Computational Intelligence. Num Pages: 175 pages, 67 black & white illustrations, biography. BIC Classification: TTBM; UYQ; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 279.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 175
- Condition
- New
- SKU
- V9783319367774
- ISBN
- 9783319367774
Paperback
Condition: New
€ 120.86
€ 120.86
Paperback. Human action analysis and recognition is a relatively mature field, yet one which is often not well understood by students and researchers. This work presents a comprehensive review of these approaches and their applications, with a particular focus on the MHI method and its variants. Series: SpringerBriefs in Computer Science. Num Pages: 132 pages, 34 black & white illustrations, biography. BIC Classification: UYQP. Category: (P) Professional & Vocational. Dimension: 237 x 139 x 13. Weight in Grams: 246.
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 141
- Format
- Paperback
- Publication date
- 2012
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9781447147299
- ISBN
- 9781447147299
Paperback
Condition: New
€ 75.33
€ 75.33
Paperback. Constitutes the proceedings of the Second International Workshop on Motion in Games, held in Utrecht, The Netherlands, in November 2010. This book includes papers that are organized in topical sections on body simulation, learning movements, body control, motion planning, physically-based character control, crowds and formation, and geometry. Editor(s): Boulic, Ronan; Chrysanthou, Yiorgos; Komura, Taku. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 436 pages, 210 black & white illustrations, biography. BIC Classification: UGK; UGN; UKR; UMB; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 436
- Condition
- New
- SKU
- V9783642169571
- ISBN
- 9783642169571
Paperback
Condition: New
€ 68.66
€ 68.66
Hardcover. The book begins with a chapter on traditional methods of supervised learning, covering recursive least squares learning, mean square error methods, and stochastic approximation. Chapter 2 covers single agent reinforcement learning. Topics include learning value functions, Markov games, and TD learning with eligibility traces. Num Pages: 256 pages, illustrations. BIC Classification: UYQM. Category: (P) Professional & Vocational. Dimension: 163 x 238 x 18. Weight in Grams: 478.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Wiley
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781118362082
- ISBN
- 9781118362082
Hardback
Condition: New
€ 123.62
€ 123.62