.png){kind=logo}
Computer science
Results 1441 - 1464 of 16602
Computer science
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
€ 251.11
€ 251.11
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
€ 66.97
€ 66.97
Paperback. This work analyzes the economics, concept, and design of information intermediaries, and develops an economic model based on the microeconomic theory of search, applying it to information intermediaries who provide services like the search for information or the mediation of information. Series: Information Age Economy. Num Pages: 266 pages, 11 black & white tables, biography. BIC Classification: KCA; KJQ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 402.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 266
- Condition
- New
- SKU
- V9783790811681
- ISBN
- 9783790811681
Paperback
Condition: New
€ 127.64
€ 127.64
Hardback. Covers the e-hardware verification language (HVL), state of the art in verification methodologies, and the use of eHVL as a facilitating verification tool in implementing a state of the art verification environment. This book describes the fresh concepts introduced by the e-language, e-language syntax, and its associated semantics. Series: Information Technology: Transmission, Processing and Storage. Num Pages: 349 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 708.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 349
- Condition
- New
- SKU
- V9781402080234
- ISBN
- 9781402080234
Hardback
Condition: New
€ 256.69
€ 256.69
The Dynamics of Judicial Proof. Computation, Logic, and Common Sense.
. Ed(S): Maccrimmon, Marilyn; Tillers, Peter
paperback. Editor(s): MacCrimmon, Marilyn; Tillers, Peter. Series: Studies in Fuzziness and Soft Computing. Num Pages: 494 pages, 55 black & white illustrations, 5 black & white tables. BIC Classification: LA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 26. Weight in Grams: 783.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 494
- Condition
- New
- SKU
- V9783662003237
- ISBN
- 9783662003237
Paperback
Condition: New
€ 251.49
€ 251.49
The Dynamics of Judicial Proof. Computation, Logic and Common Sense.
. Ed(S): Maccrimmon, Marilyn; Tillers, Peter
Hardback. The papers in this collection consider whether computational or other formal logical methods developed in disciplines such as artificial intelligence, decision theory and probability theory can enable the study and management of dynamic evidentiary and inferential processes in litigation. Editor(s): MacCrimmon, Marilyn; Tillers, Peter. Series: Studies in Fuzziness and Soft Computing. Num Pages: 494 pages, 5 black & white tables, biography. BIC Classification: LAF; PBCD; TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 1990.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 494
- Condition
- New
- SKU
- V9783790814590
- ISBN
- 9783790814590
Hardback
Condition: New
€ 268.53
€ 268.53
Hardback. Offers integrated development of the mathematical connections between nonlinear control, dynamical systems, and time-varying perturbed systems for scientists and engineers. This book features coverage of unified theory of control flows, and array of motivating problems from control and dynamical systems to appeal to mathematicians and scientists. Series: Systems & Control: Foundations and Applications. Num Pages: 641 pages, biography. BIC Classification: PBW; TJFM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 161 x 42. Weight in Grams: 1028.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 641
- Condition
- New
- SKU
- V9780817636838
- ISBN
- 9780817636838
Hardback
Condition: New
€ 197.68
€ 197.68
The Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic ...
. Ed(S): Stankovic, Radomir; Butzer, Paul Leo...
Hardback. Editor(s): Stankovic, Radomir; Butzer, Paul Leo; Wade, William R.; Pichler, Franz; Schipp, Ferenc; Endow, Yasushi; Su, Weiyi; Fridli, Sandor; Golubov, Boris I. Series: Atlantis Studies in Mathematics for Engineering and Science. Num Pages: 479 pages, biography. BIC Classification: PBKD; PBKF; PBW; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 877.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Atlantis Press (Zeger Karssen) Netherlands
- Number of pages
- 479
- Condition
- New
- SKU
- V9789462391598
- ISBN
- 9789462391598
Hardback
Condition: New
€ 69.22
€ 69.22
The Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic ...
. Ed(S): Stankovic, Radomir; Butzer, Paul Leo...
Hardback. Editor(s): Stankovic, Radomir; Butzer, Paul Leo; Wade, William R.; Pichler, Franz; Schipp, Ferenc; Endow, Yasushi; Su, Weiyi; Fridli, Sandor; Golubov, Boris I. Series: Atlantis Studies in Mathematics for Engineering and Science. Num Pages: 378 pages, 9 black & white illustrations, biography. BIC Classification: PBKD; PBKF; PBW; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 730.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Atlantis Press (Zeger Karssen) Netherlands
- Number of pages
- 378
- Condition
- New
- SKU
- V9789462391628
- ISBN
- 9789462391628
Hardback
Condition: New
€ 150.50
€ 150.50
Paperback. Series: Studies in Cognitive Systems. Num Pages: 314 pages, biography. BIC Classification: HPM; JMR; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2002
- Number of pages
- 314
- Condition
- New
- SKU
- V9789048160150
- ISBN
- 9789048160150
Paperback
Condition: New
€ 194.58
€ 194.58
Hardback. Provides a useful text for undergraduate and graduate courses on the historical and theoretical issues of Cognitive Science, Artificial Intelligence, Psychology, Neuroscience, and the Philosophy of Mind. Offering insights into the contemporary debate on the nature of mind, this book is also of interest to researchers in these fields. Series: Studies in Cognitive Systems. Num Pages: 314 pages, biography. BIC Classification: JMR; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 659.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 314
- Condition
- New
- SKU
- V9781402006067
- ISBN
- 9781402006067
Hardback
Condition: New
€ 200.81
€ 200.81
Hardcover. Editor(s): Glushko, Robert J. Num Pages: 475 pages, 50 b&w illus. BIC Classification: GL; KJMV3; UY. Category: (G) General (US: Trade). Dimension: 235 x 207 x 30. Weight in Grams: 1176.
- Publisher
- MIT Press Ltd United States
- Number of pages
- 475
- Format
- Hardback
- Publication date
- 2013
- Condition
- New
- SKU
- V9780262518505
- ISBN
- 9780262518505
Hardback
Condition: New
€ 51.13€ 49.72
€ 51.13
€ 49.72
Paperback. This volume on computer supported collaboration examines ways in which universities can make effective use of asynchronous collaboration. All aspects of academic life are covered, from teaching and research through to support and management. Editor(s): Hazemi, Reza; etc.; Hailes, Stephen; Wilbur, Steve (all of University College London). Series: Computer Supported Cooperative Work. Num Pages: 329 pages, 19 black & white illustrations, biography. BIC Classification: JNMN; JNV; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 329
- Condition
- New
- SKU
- V9781852330033
- ISBN
- 9781852330033
Paperback
Condition: New
€ 67.33
€ 67.33
Paperback. The digital turn in architecture has gone through several stages and phases, and Architectural Design ( AD) has captured them all. Editor(s): Carpo, Mario. Series: AD Reader. Num Pages: 264 pages, black & white illustrations, colour illustrations. BIC Classification: AMC; UY. Category: (P) Professional & Vocational. Dimension: 165 x 244 x 19. Weight in Grams: 714.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- John Wiley & Sons Inc
- Edition
- 1st Edition
- Number of pages
- 264
- Condition
- New
- SKU
- V9781119951742
- ISBN
- 9781119951742
Paperback
Condition: New
€ 51.51
€ 51.51
The Digital Synaptic Neural Substrate. A New Approach to Computational...
Iqbal, Azlan; Guid, Matej; Colton, Simon; Kri...
Paperback. Series: Springerbriefs in Cognitive Computation. Num Pages: 134 pages, 9 black & white illustrations, 4 colour illustrations, 18 black & white tables, 6 colour. BIC Classification: PSAN; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 7. Weight in Grams: 221.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 134
- Condition
- New
- SKU
- V9783319280783
- ISBN
- 9783319280783
Paperback
Condition: New
€ 78.34
€ 78.34
The Digital Patient. Advancing Healthcare, Research, and Education.
. Ed(S): Sokolowski, John A.; Banks, Catherin...
Paperback. A modern guide to computational models and constructive simulation for personalized patient care using the Digital Patient The healthcare industry s emphasis is shifting from merely reacting to disease to preventing disease and promoting wellness. Editor(s): Sokolowski, John A.; Banks, Catherine M.; Combs, C. D. Series: Wiley Series in Modeling and Simulation. Num Pages: 336 pages, illustrations. BIC Classification: MJ; UYM. Category: (P) Professional & Vocational. Dimension: 179 x 254 x 20. Weight in Grams: 566.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 336
- Condition
- New
- SKU
- V9781118952757
- ISBN
- 9781118952757
Paperback
Condition: New
€ 116.28
€ 116.28
The Digital Economy. Business Organization, Production Processes and R...
Malecki, Edward J.; Moriset, Bruno
hardcover. Offers a synthesis that links the various aspects of the digital or cyber economy from the perspective of real firms. This book includes case studies of companies, including Amazon, Dell, Li & Fung, and Volvo which demonstrate that the geography of digitally-driven production is the outcome of both dispersion and agglomeration dynamics. Num Pages: 296 pages, 29 black & white illustrations, 40 black & white tables, 29 black & white line drawings. BIC Classification: KC; KN; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 246 x 174 x 17. Weight in Grams: 725.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Taylor & Francis Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 296
- Condition
- New
- SKU
- V9780415396950
- ISBN
- 9780415396950
Hardback
Condition: New
€ 238.88
€ 238.88
Hardback. This book examines the impact of the Digital Dividend on terrestrial broadcasting now and tomorrow. Covers spectrum management, the analog to digital switch, and consequences of the identification of a spectrum that could be released for other uses. Num Pages: 144 pages, 12 black & white tables, biography. BIC Classification: TJKR; TJKV; TTBM; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 405.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2012
- Number of pages
- 144
- Condition
- New
- SKU
- V9781461415688
- ISBN
- 9781461415688
Hardback
Condition: New
€ 127.52
€ 127.52
Paperback. This revised and updated edition provides a guide to the software, hardware and applications of computer graphics. Definitions are concise, with special attention given to alternate spellings and meanings. Acronyms are explained, and the pronunciation of difficult terms is described. Num Pages: 169 pages, 4 black & white illustrations, biography. BIC Classification: GBC; UG; UYV. Category: (P) Professional & Scholarly; (UF) Further/Higher Education; (UU) Undergraduate; (XV) Technical / vocational (manuals etc). Dimension: 234 x 156 x 10. Weight in Grams: 287.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2 Rev ed
- Number of pages
- 169
- Condition
- New
- SKU
- V9780387944050
- ISBN
- 9780387944050
Paperback
Condition: New
€ 65.86
€ 65.86
Hardback. Presenting Verilog-AMS, this work starts by describing a top-down design methodology. Verilog-A and Verilog-AMS are then introduced. This work is useful for analog and mixed-signal designers, particularly those designing larger and more complex circuits. Series: The Designer's Guide Book Series. Num Pages: 282 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 241 x 166 x 25. Weight in Grams: 566.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 282
- Condition
- New
- SKU
- V9781402080449
- ISBN
- 9781402080449
Hardback
Condition: New
€ 232.72
€ 232.72
Hardcover. Addresses the features of VHDL-2008. This book presents a structured guide to the modeling facilities offered by VHDL. It shows how VHDL functions to help design digital systems. It also includes case studies and source code used to develop testbenches and case study examples. Series: Systems on Silicon. Num Pages: 936 pages, Illustrated. BIC Classification: UYD. Category: (U) Tertiary Education (US: College). Dimension: 243 x 199 x 47. Weight in Grams: 1674. Series: Systems on Silicon. 936 pages, Illustrated. Addresses the features of VHDL-2008. This book presents a structured guide to the modeling facilities offered by VHDL. It shows how VHDL functions to help design digital systems. It also includes case studies and source code used to develop testbenches and case study examples. Cateogry: (U) Tertiary Education (US: College). BIC Classification: UYD. Dimension: 243 x 199 x 47. Weight: 1646.
- Publisher
- Morgan Kaufmann
- Number of pages
- 936
- Format
- Hardback
- Publication date
- 2008
- Edition
- 3rd Edition
- Condition
- New
- SKU
- V9780120887859
- ISBN
- 9780120887859
Hardback
Condition: New
€ 78.33
€ 78.33
Hardcover. Developing Theory, Design and Experience of Networked Learning Editor(s): Hodgson, Vivien; McConnell, David; Laat, Maarten de; Ryberg, Thomas. Series: Research in Networked Learning. Num Pages: 281 pages, 14 black & white illustrations, 13 colour illustrations, biography. BIC Classification: JNQ; JNV; UYZG. Category: (P) Professional & Vocational. Dimension: 243 x 163 x 20. Weight in Grams: 580.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783319019390
- ISBN
- 9783319019390
Hardback
Condition: New
€ 128.75
€ 128.75
Hardback. Num Pages: 286 pages, 54 black & white illustrations, biography. BIC Classification: UMZ; UYD; UYM. Category: (P) Professional & Vocational. Dimension: 167 x 247 x 21. Weight in Grams: 590.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2015
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9783319188201
- ISBN
- 9783319188201
Hardback
Condition: New
€ 67.91
€ 67.91
Paperback. Series: Genetic Algorithms and Evolutionary Computation. Num Pages: 248 pages, biography. BIC Classification: PBT; PBU; UMA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 427.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 248
- Condition
- New
- SKU
- V9781475736458
- ISBN
- 9781475736458
Paperback
Condition: New
€ 66.78
€ 66.78