Computing
Results 3901 - 3920 of 9385
Computing
Paperback. Suitable for undergraduate students of computer science and mathematics, this title gives a proof of Godel's completeness theorem and its main consequences using Robinson's completeness theorem and Godel's compactness theorem for propositional logic. Series: Unitext / La Matematica Per Il 3+2. Num Pages: 141 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 6. Weight in Grams: 266.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Verlag Italy
- Edition
- 2012
- Number of pages
- 141
- Condition
- New
- SKU
- V9788847023604
- ISBN
- 9788847023604
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Series: SpringerBriefs in Applied Sciences and Technology/PoliMI SpringerBriefs. Num Pages: 117 pages, 19 black & white illustrations, biography. BIC Classification: TBD; UYZG. Category: (P) Professional & Vocational. Dimension: 238 x 154 x 7. Weight in Grams: 196.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Verlag Italy
- Edition
- 2013th Edition
- Number of pages
- 90
- Condition
- New
- SKU
- V9788847052468
- ISBN
- 9788847052468
Paperback
Condition: New
€ 76.80
€ 76.80
Hardcover. Elastic plate analysis results must be translated to economic cross-section dimensions and reinforcement ratios, and that process raises difficulties. This book acts as a bridge between commercially available FEM packages and consulting structural engineers. Series: Solid Mechanics and its Applications. Num Pages: 440 pages, biography. BIC Classification: TGB; TNC; UYQ. Category: (P) Professional & Vocational. Dimension: 243 x 167 x 35. Weight in Grams: 932.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 2010th Edition
- Number of pages
- 440
- Condition
- New
- SKU
- V9789048135950
- ISBN
- 9789048135950
Hardback
Condition: New
€ 129.60
€ 129.60
Paperback. Num Pages: 316 pages, biography. BIC Classification: TJFC; TJK; UKR; UYS. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 18. Weight in Grams: 468.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2007
- Number of pages
- 334
- Condition
- New
- SKU
- V9789048173594
- ISBN
- 9789048173594
Paperback
Condition: New
€ 150.23
€ 150.23
Paperback. Num Pages: 159 pages, biography. BIC Classification: TBJ; UGC. Category: (P) Professional & Vocational. Dimension: 234 x 153 x 12. Weight in Grams: 254.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2007
- Number of pages
- 164
- Condition
- New
- SKU
- V9789048176229
- ISBN
- 9789048176229
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer
- Edition
- 2010th Edition
- Condition
- New
- SKU
- V9789048192731
- ISBN
- 9789048192731
Paperback
Condition: New
€ 70.77
€ 70.77
Hardcover. What are the implications for democratic constitutional governance of the increase in the interdependence of cross-border actors? Series: Information Technology and Law Series. Num Pages: 278 pages, biography. BIC Classification: 1KBB; LAQ; LNQ; UBJ. Category: (P) Professional & Vocational. Dimension: 161 x 246 x 21. Weight in Grams: 638.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- T.M.C. Asser Press Netherlands
- Edition
- 1st Edition.
- Number of pages
- 280
- Condition
- New
- SKU
- V9789067043311
- ISBN
- 9789067043311
Hardback
Condition: New
€ 67.85
€ 67.85
Hardcover. This book addresses clinical and epidemiological topics of medicine and statistics; then topics of epidemiological research and finally,'meta-epidemiological' clinical research. The author offers a wealth of expertise acquired in a 50-year career in the field. Num Pages: 175 pages, biography. BIC Classification: MBGR; MBNS; PSA; UYQP. Category: (P) Professional & Vocational. Dimension: 241 x 158 x 16. Weight in Grams: 426.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- 2011th Edition
- Number of pages
- 192
- Condition
- New
- SKU
- V9789400711709
- ISBN
- 9789400711709
Hardback
Condition: New
€ 66.95
€ 66.95
On Integrating Unmanned Aircraft Systems into the National Airspace Sy...
Dalamagkidis, Konstantinos; Valavanis, Kimon ...
Hardcover. With a rewritten chapter on UAS safety evaluation including extra models, this fully updated edition remains a comprehensive examination of the myriad issues surrounding the integration of unmanned aircraft systems into the US national airspace system. Series: Intelligent Systems, Control and Automation: Science and Engineering. Num Pages: 328 pages, 35 black & white tables, biography. BIC Classification: LBDA; MB; TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 243 x 157 x 19. Weight in Grams: 580.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- 2nd ed. 2012
- Number of pages
- 325
- Condition
- New
- SKU
- V9789400724785
- ISBN
- 9789400724785
Hardback
Condition: New
€ 228.60
€ 228.60
Modeling, Analysis and Optimization of Network-on-Chip Communication A...
Ogras, Umit; Marculescu, Radu
Hardcover. Presenting a mathematical model for on-chip routers which can be used for NoC performance analysis, this book reflects the shift from computation- to communication-based design that has resulted from the increasing complexity of so-called 'systems-on-chip'. Series: Lecture Notes in Electrical Engineering. Num Pages: 188 pages, 14 black & white tables, biography. BIC Classification: TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 243 x 160 x 16. Weight in Grams: 418.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- 2013th Edition
- Number of pages
- 172
- Condition
- New
- SKU
- V9789400739574
- ISBN
- 9789400739574
Hardback
Condition: New
€ 127.16
€ 127.16
Hardcover. This textbook explains all the fundamentals and the methods involved in advanced simulation models of pollutant transport in rivers and streams. With a wealth of illustrations and examples, it is a vital primer on generating this increasingly important data. Series: Water Science and Technology Library. Num Pages: 306 pages, 84 black & white illustrations, 10 colour illustrations, biography. BIC Classification: RBK; RNP; TBJ; TQSW; UGK. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 21. Weight in Grams: 590.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- 2013th Edition
- Number of pages
- 270
- Condition
- New
- SKU
- V9789400755086
- ISBN
- 9789400755086
Hardback
Condition: New
€ 128.36
€ 128.36
Hardcover.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9789400758230
- ISBN
- 9789400758230
Hardback
Condition: New
€ 67.76
€ 67.76
Hardcover. The Application of Neural Networks in the Earth System Sciences Series: Atmospheric and Oceanographic Sciences Library. Num Pages: 189 pages, 13 black & white tables, biography. BIC Classification: RB; UYQN. Category: (P) Professional & Vocational. Dimension: 242 x 160 x 14. Weight in Grams: 444.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Edition
- 2013th Edition
- Number of pages
- 290
- Condition
- New
- SKU
- V9789400760721
- ISBN
- 9789400760721
Hardback
Condition: New
€ 128.36
€ 128.36
Virtual Reality Technology and Applications (Intelligent Systems, Cont...
Mihelj, Matjaz, Novak, Domen, Begus, Samo
Hardcover. Virtual Reality Technology and Applications Series: Intelligent Systems, Control and Automation: Science and Engineering. Num Pages: 231 pages, 134 black & white illustrations, 35 colour illustrations, biography. BIC Classification: TBD; THR; TJF; UYQV; UYV. Category: (P) Professional & Vocational. Dimension: 241 x 163 x 19. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2014th Edition
- Number of pages
- 233
- Condition
- New
- SKU
- V9789400769090
- ISBN
- 9789400769090
Hardback
Condition: New
€ 148.92
€ 148.92
Hardcover. This book provides a progressive approach to the teaching of software engineering. It features over 70 easy-to-follow diagrams and tables depicting concepts and tools used in software engineering and is ideal for learning core concepts and practical skills. Num Pages: 312 pages, 67 black & white illustrations, 3 colour illustrations, 8 black & white tables, biography. BIC Classification: UMZ; UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 631.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Atlantis Press
- Edition
- 2013th Edition
- Number of pages
- 329
- Condition
- New
- SKU
- V9789462390058
- ISBN
- 9789462390058
Hardback
Condition: New
€ 67.71
€ 67.71
Bayesian Theory and Methods with Applications (Atlantis Studies in Pro...
Savchuk, Vladimir, Tsokos, Chris P.
Hardcover. This book explores the use of Bayesian analysis in the statistical estimation of the unknown phenomenon of interest. The contents demonstrate that where such methods are applicable, they offer the best possible estimate of the unknown. Series: Atlantis Studies in Probability and Statistics. Num Pages: 318 pages, 60 black & white tables, biography. BIC Classification: PBT; PBWH; PSA; UYAM. Category: (P) Professional & Vocational. Dimension: 243 x 162 x 23. Weight in Grams: 632. Series: Atlantis Studies in Probability and Statistics. 332 pages, 1, black & white illustrations. This book explores the use of Bayesian analysis in the statistical estimation of the unknown phenomenon of interest. The contents demonstrate that where such methods are applicable, they offer the best possible estimate of the unknown. Cateogry: (P) Professional & Vocational. BIC Classification: PBT; PBWH; PSA; UYAM. Dimension: 243 x 162 x 23. Weight: 632.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Atlantis Press
- Edition
- 1st Edition.
- Number of pages
- 332
- Condition
- New
- SKU
- V9789491216138
- ISBN
- 9789491216138
Hardback
Condition: New
€ 68.33
€ 68.33
Hardcover. Series: Mathematics Textbooks for Science and Engineering. Num Pages: 406 pages, 20 black & white tables, biography. BIC Classification: PBF; PBKJ; PBKS; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 777.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Atlantis Press
- Edition
- 1st
- Condition
- New
- SKU
- V9789491216497
- ISBN
- 9789491216497
Hardback
Condition: New
€ 117.91
€ 117.91
Hardcover. Series: Atlantis Studies in Computing. Num Pages: 166 pages, 15 black & white tables, biography. BIC Classification: PBCD; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 241 x 163 x 15. Weight in Grams: 400.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Atlantis Press United Kingdom
- Edition
- 2013th Edition
- Number of pages
- 168
- Condition
- New
- SKU
- V9789491216947
- ISBN
- 9789491216947
Hardback
Condition: New
€ 66.95
€ 66.95
paperback. With its step-by-step, clear structure, this is an essential reference for both students and engineers in R&D that explains the topic in a concise, hands-on way. Includes problems and exercises for training purposes as well as to further explain the concept of machine vision. Num Pages: 296 pages. BIC Classification: TJ; UYQV. Category: (P) Professional & Vocational. Dimension: 244 x 173 x 16. Weight in Grams: 654.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Wiley-VCH Verlag GmbH Germany
- Edition
- 1st Edition
- Number of pages
- 296
- Condition
- New
- SKU
- V9783527337569
- ISBN
- 9783527337569
Paperback
Condition: New
€ 76.49€ 70.41
€ 76.49
€ 70.41
Paperback. Num Pages: 106 pages, biography. BIC Classification: UDBD. Category: (G) General (US: Trade). Dimension: 235 x 191 x 7. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- APress United States
- Number of pages
- 106
- Condition
- New
- SKU
- V9781430209959
- ISBN
- 9781430209959
Paperback
Condition: New
€ 39.69
€ 39.69