Computer science
Results 15289 - 15312 of 16741
Computer science
The Efficiency of Theorem Proving Strategies. A Comparative and Asympt...
Plaisted, David A.; Zhu, Yunshan
Paperback. Helping readers gain a theoretical understanding of the efficiencies of different theorem-proving methods, this book gives asymptotic bounds on the sizes of the search spaces generated by many common theorem-proving strategies. Num Pages: 172 pages, 3 black & white illustrations, biography. BIC Classification: PBW; UYQ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 210 x 148 x 10. Weight in Grams: 249.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 2nd ed. 1999
- Number of pages
- 172
- Condition
- New
- SKU
- V9783528155742
- ISBN
- 9783528155742
Paperback
Condition: New
€ 64.18
€ 64.18
hardcover. This major new edition features many topics not covered in the original, including graphical models, random forests, and ensemble methods. As before, it covers the conceptual framework for statistical data in our rapidly expanding computerized world. Series: Springer Series in Statistics. Num Pages: 745 pages, 282 black & white illustrations, biography. BIC Classification: PBT; PSA; UNF; UYAM; UYQM. Category: (P) Professional & Vocational. Dimension: 244 x 169 x 40. Weight in Grams: 1422.
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 767
- Format
- Hardback
- Publication date
- 2009
- Edition
- 2nd ed. 2009, Corr. 9th printing 2017
- Condition
- New
- SKU
- V9780387848570
- ISBN
- 9780387848570
Hardback
Condition: New
€ 105.02
€ 105.02
paperback. In his bestselling work of popular science, Sir Roger Penrose takes us on a fascinating tour through the basic principles of physics, cosmology, mathematics, and philosophy to show that human thinking can never be emulated by a machine. Series: Oxford Landmark Science. Num Pages: 640 pages, 145 black and white illustrations. BIC Classification: HPM; PDZ; UYQ. Category: (G) General (US: Trade). Dimension: 132 x 196 x 39. Weight in Grams: 468.
- Publisher
- Oxford University Press
- Format
- Paperback
- Publication date
- 2016
- Edition
- Revised
- Condition
- New
- SKU
- V9780198784920
- ISBN
- 9780198784920
Paperback
Condition: New
€ 31.05
€ 31.05
Paperback. This book provides a sound theoretical foundation for a disciplined approach to mixed reality engineering. Coverage includes interaction design, software design and implementation. Editor(s): Dubois, Emmanuel; Gray, Philip; Nigay, Laurence. Series: Human-Computer Interaction Series. Num Pages: 464 pages, 170 black & white illustrations, 21 black & white tables, biography. BIC Classification: UB; UMZ; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 706.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 464
- Condition
- New
- SKU
- V9781447125228
- ISBN
- 9781447125228
Paperback
Condition: New
€ 240.25
€ 240.25
Hardback. This book provides a sound theoretical foundation for a disciplined approach to mixed reality engineering. Coverage includes interaction design, software design and implementation. Editor(s): Dubois, Emmanuel; Gray, Philip; Nigay, Laurence. Series: Human-Computer Interaction Series. Num Pages: 464 pages, 170 black & white illustrations, 21 black & white tables, biography. BIC Classification: UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 162 x 33. Weight in Grams: 796.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 464
- Condition
- New
- SKU
- V9781848827325
- ISBN
- 9781848827325
Hardback
Condition: New
€ 246.19
€ 246.19
Paperback. Num Pages: 700 pages, 110 black & white tables, biography. BIC Classification: UG; UT; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1056.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 700
- Condition
- New
- SKU
- V9781489985651
- ISBN
- 9781489985651
Paperback
Condition: New
€ 355.83
€ 355.83
Hardcover. Designing state-of-the-art circuits means packing more and more logic on a chip while avoiding timing faults. Featuring extensive introductory material, this complete organized guide offers information on designing logic circuits to meet the rising demands on modern circuit technology. Num Pages: 352 pages, references, index. BIC Classification: TBD; TJFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate; (XV) Technical / Manuals. Dimension: 264 x 182 x 23. Weight in Grams: 681.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 2nd Edition
- Number of pages
- 352
- Condition
- New
- SKU
- V9780780311268
- ISBN
- 9780780311268
Hardback
Condition: New
€ 193.18
€ 193.18
Hardcover. Using the same winning format as the successful Springer guide, The Quintessential PIC(R) Microcontroller, this down-to-earth new textbook/guide has been completely rewritten based on the more powerful PIC18 enhanced-range Microchip MCU family. Series: Computer Communications and Networks. Num Pages: 624 pages, biography. BIC Classification: TJF; UT; UY. Category: (P) Professional & Vocational. Dimension: 243 x 165 x 39. Weight in Grams: 1024.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2010th Edition
- Number of pages
- 658
- Condition
- New
- SKU
- V9781849962285
- ISBN
- 9781849962285
Hardback
Condition: New
€ 125.71
€ 125.71
Paperback. Part of a series that promotes knowledge about language technology and its potential, this white paper addresses educators, journalists, politicians, language communities and others. Editor(s): Rehm, Georg; Uszkoreit, Hans. Series: White Paper Series. Num Pages: 75 pages, 24 colour illustrations, biography. BIC Classification: 2FCD; CFX; UYQL. Category: (P) Professional & Vocational. Dimension: 279 x 210 x 5. Weight in Grams: 283.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 75
- Condition
- New
- SKU
- V9783642307843
- ISBN
- 9783642307843
Paperback
Condition: New
€ 62.68
€ 62.68
The Evolution of Fault-Tolerant Computing. In the Honor of William C. ...
. Ed(S): Avizienis, A (University Of Californ...
Paperback. Editor(s): Avizienis, A (University of California); Kopetz, H.; Laprie, J. C. Series: Dependable Computing and Fault-Tolerant Systems. Num Pages: 465 pages, biography. BIC Classification: UK; UYQE. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 25. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 465
- Condition
- New
- SKU
- V9783709188736
- ISBN
- 9783709188736
Paperback
Condition: New
€ 66.50
€ 66.50
Paperback. Series: Progress in Computer Science and Applied Logic. Num Pages: 359 pages, biography. BIC Classification: UYA. Category: (G) General (US: Trade). Dimension: 229 x 152 x 19. Weight in Grams: 538.
- Format
- Paperback
- Publication date
- 1983
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 359
- Condition
- New
- SKU
- V9780817631710
- ISBN
- 9780817631710
Paperback
Condition: New
€ 64.31
€ 64.31
Hardback. Editor(s): Eickhoff, Jens. Series: Springer Aerospace Technology. Num Pages: 706 pages, 210 black & white illustrations, 56 colour illustrations, 20 colour tables, biography. BIC Classification: TJF; TRP; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 1220.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 706
- Condition
- New
- SKU
- V9783319235028
- ISBN
- 9783319235028
Hardback
Condition: New
€ 276.50
€ 276.50
Hardback. Editor(s): Savitch, Walter J.; Bach, E. (University of Massachusetts at Amherst, USA); Marsh, W. E.; Safran-Naveh, Gila. Series: Studies in Linguistics and Philosophy. Num Pages: 452 pages, biography. BIC Classification: UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 26. Weight in Grams: 840.
- Format
- Hardback
- Publication date
- 1987
- Publisher
- Kluwer Academic Publishers Group Netherlands
- Number of pages
- 452
- Condition
- New
- SKU
- V9781556080463
- ISBN
- 9781556080463
Hardback
Condition: New
€ 193.41
€ 193.41
Paperback. Editor(s): Savitch, Walter J.; Bach, E. (University of Massachusetts at Amherst, USA); Marsh, W. E.; Safran-Naveh, Gila. Series: Studies in Linguistics and Philosophy. Num Pages: 470 pages, 1 black & white illustrations. BIC Classification: UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 24. Weight in Grams: 740.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 470
- Condition
- New
- SKU
- V9781556080470
- ISBN
- 9781556080470
Paperback
Condition: New
€ 186.37
€ 186.37
The Fortran 2003 Handbook. The Complete Syntax, Features and Procedure...
Adams, Jeanne C.; Brainerd, Walter S.; Hendri...
Paperback. This highly versatile handbook is a definitive and comprehensive guide to Fortran 2003 and its use. The book is intended for anyone who wants a comprehensive survey of Fortran 2003. All authors have been heavily involved in the development of Fortran standards. Num Pages: 713 pages, 65 black & white tables, biography. BIC Classification: PHU; PN; UMX; UMZ; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 37. Weight in Grams: 1236.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 713
- Condition
- New
- SKU
- V9781447159421
- ISBN
- 9781447159421
Paperback
Condition: New
€ 201.29
€ 201.29
The Foundational Debate. Complexity and Constructivity in Mathematics ...
. Ed(S): Depauli-Schimanovich, Werner; Kohler...
Paperback. Editor(s): DePauli-Schimanovich, Werner; Kohler, Eckehart; Stadler, Friedrich. Series: Vienna Circle Institute Yearbook. Num Pages: 368 pages, biography. BIC Classification: HB; HPL; PBC; PHQ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1995
- Number of pages
- 368
- Condition
- New
- SKU
- V9789048146178
- ISBN
- 9789048146178
Paperback
Condition: New
€ 185.74
€ 185.74
Paperback. Part of a series that promotes knowledge about language technology and its potential, this white paper addresses educators, journalists, politicians, language communities and others. Editor(s): Rehm, Georg; Uszkoreit, Hans. Series: White Paper Series. Num Pages: 95 pages, 4 black & white illustrations, 33 colour illustrations, biography. BIC Classification: 2ADF; CFX; UYQL. Category: (P) Professional & Vocational. Dimension: 279 x 210 x 5. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 95
- Condition
- New
- SKU
- V9783642307607
- ISBN
- 9783642307607
Paperback
Condition: New
€ 63.06
€ 63.06
Paperback. Series: Lecture Notes in Physics. Num Pages: 139 pages, biography. BIC Classification: GPF; PBKF; PHQ; UYA. Category: (P) Professional & Vocational. Dimension: 245 x 156 x 19. Weight in Grams: 262.
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2015
- Edition
- 2015th Edition
- Condition
- New
- SKU
- V9783319167176
- ISBN
- 9783319167176
Paperback
Condition: New
€ 57.27
€ 57.27
hardcover. Parsing technology traditionally consists of two branches, which correspond to the two main application areas of context-free grammars and their generalizations. This title provides a functional framework within which the different traditional techniques are restated and unified. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 158 pages, biography. BIC Classification: UMB; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 11. Weight in Grams: 950.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Springer United States
- Edition
- 1993rd Edition
- Number of pages
- 158
- Condition
- New
- SKU
- V9780792393764
- ISBN
- 9780792393764
Hardback
Condition: New
€ 124.91
€ 124.91
The Fundamentals of Computational Intelligence. System Approach.
Zgurovsky, Mikhail Z.; Zaychenko, Yuriy P.
Hardback. Series: Studies in Computational Intelligence. Num Pages: 395 pages, 73 black & white illustrations, 70 colour illustrations, biography. BIC Classification: UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 22. Weight in Grams: 754.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 395
- Condition
- New
- SKU
- V9783319351605
- ISBN
- 9783319351605
Hardback
Condition: New
€ 187.53
€ 187.53
Hardback. This book offers statistical models and methods used to understand human genetics, focusing on modern approaches to association analysis. Numerous examples illustrate key points, and the text includes exercises for students with a broad range of skill levels. Series: Statistics for Biology and Health. Num Pages: 240 pages, biography. BIC Classification: MBNS; MFN; PBT; PSAK; UYQP. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 20. Weight in Grams: 502.
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 240
- Format
- Hardback
- Publication date
- 2010
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9781441973375
- ISBN
- 9781441973375
Hardback
Condition: New
€ 144.06
€ 144.06
paperback. This book offers statistical models and methods used to understand human genetics, focusing on modern approaches to association analysis. Numerous examples illustrate key points, and the text includes exercises for students with a broad range of skill levels. Series: Statistics for Biology and Health. Num Pages: 240 pages, biography. BIC Classification: MBNS; MFN; PBT; PSA; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 373.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer United States
- Edition
- 2011th Edition
- Number of pages
- 240
- Condition
- New
- SKU
- V9781461427759
- ISBN
- 9781461427759
Paperback
Condition: New
€ 142.04
€ 142.04
Hardback. The Future Home is Wise, Not Smart" Series: Computer Supported Cooperative Work. Num Pages: 140 pages, 3 black & white tables, biography. BIC Classification: JMH; UYZG. Category: (P) Professional & Vocational. Dimension: 168 x 244 x 13. Weight in Grams: 356.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2015
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9783319230924
- ISBN
- 9783319230924
Hardback
Condition: New
€ 63.51
€ 63.51
Hardback. The Future Internet Editor(s): Winter, Jenifer; Ono, Ryota. Series: Public Administration and Information Technology. Num Pages: 245 pages, 1 black & white illustrations, 6 colour illustrations, biography. BIC Classification: UBJ; UBW; UTF; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 537.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 245
- Condition
- New
- SKU
- V9783319229935
- ISBN
- 9783319229935
Hardback
Condition: New
€ 65.14
€ 65.14