.png){kind=logo}
Computer science
Results 1513 - 1536 of 16602
Computer science
The Calculus of Computation: Decision Procedures with Applications to ...
Bradley, Aaron R., Manna, Zohar
Hardcover. This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software. Num Pages: 366 pages, 60 black & white illustrations, 3 black & white tables, biography. BIC Classification: UYF; UYQ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 770.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer
- Edition
- 2007th Edition
- Condition
- New
- SKU
- V9783540741121
- ISBN
- 9783540741121
Hardback
Condition: New
€ 96.67
€ 96.67
Paperback. Num Pages: 358 pages, Illustrations. BIC Classification: UM; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 281 x 209 x 19. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- IEEE Computer Society Press,U.S. United States
- Edition
- 1st Edition
- Number of pages
- 358
- Condition
- New
- SKU
- V9780818670961
- ISBN
- 9780818670961
Paperback
Condition: New
€ 100.52
€ 100.52
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. It focuses on the 23 official European languages as well as other important national and regional languages in Europe. Editor(s): Rehm, Georg; Uszkoreit, Hans. Series: White Paper Series. Num Pages: 81 pages, 24 colour illustrations, 6 colour tables, biography. BIC Classification: 2AGB; CFX; UYQL. Category: (P) Professional & Vocational. Dimension: 279 x 210 x 10. Weight in Grams: 237.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 81
- Condition
- New
- SKU
- V9783642301674
- ISBN
- 9783642301674
Paperback
Condition: New
€ 65.74
€ 65.74
Paperback. Series: Studies in Fuzziness and Soft Computing. Num Pages: 228 pages, biography. BIC Classification: PBW; PHQ; PSAN; UGC; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 228
- Condition
- New
- SKU
- V9783642060052
- ISBN
- 9783642060052
Paperback
Condition: New
€ 127.18
€ 127.18
Paperback. Series: Synthese Library. Num Pages: 330 pages, biography. BIC Classification: HP; PSAJ; PSAN; UGN; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 551.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2003
- Number of pages
- 330
- Condition
- New
- SKU
- V9789048162444
- ISBN
- 9789048162444
Paperback
Condition: New
€ 194.77
€ 194.77
hardcover. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 220 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 14. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 1986
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 1986th Edition
- Number of pages
- 220
- Condition
- New
- SKU
- V9780898381764
- ISBN
- 9780898381764
Hardback
Condition: New
€ 198.67
€ 198.67
Hardback. The Boundary-Scan Handbook Num Pages: 500 pages, 200 black & white illustrations. BIC Classification: TJFC; TJFD; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 500
- Format
- Hardback
- Publication date
- 2015
- Edition
- 4th ed. 2016
- Condition
- New
- SKU
- V9783319011738
- ISBN
- 9783319011738
Hardback
Condition: New
€ 230.88
€ 230.88
Paperback. Editor(s): Rozenberg, G.; Salomaa, A. Num Pages: 471 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 25. Weight in Grams: 840.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1986
- Number of pages
- 471
- Condition
- New
- SKU
- V9783642954887
- ISBN
- 9783642954887
Paperback
Condition: New
€ 130.28
€ 130.28
The Book of GENESIS: Exploring Realistic Neural Models with the GEnera...
Bower, James M.; Beeman, David
paperback. Num Pages: 458 pages, 34 black & white illustrations, 10 black & white tables, biography. BIC Classification: UMA; UYQ. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 25. Weight in Grams: 920.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer United States
- Edition
- 2nd ed. 1998. Softcover reprint of the original 2n
- Number of pages
- 458
- Condition
- New
- SKU
- V9781461272243
- ISBN
- 9781461272243
Paperback
Condition: New
€ 130.88
€ 130.88
Hardback. Num Pages: 248 pages, Illustrations, 1map. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 230 x 150 x 17. Weight in Grams: 635.
- Format
- Hardback
- Publication date
- 1978
- Publisher
- Columbia University Press United States
- Number of pages
- 248
- Condition
- New
- Edition
- Illustrated
- SKU
- V9780231032889
- ISBN
- 9780231032889
Hardback
Condition: New
€ 59.45€ 46.96
€ 59.45
€ 46.96
Paperback. This guide provides a survey of the themes, problems, arguments and theories constituting the field of the philosophy of computing and information. It presents an introduction to a wide range of topics, including computer ethics, Internet culture, digital art, cybernetics and hypertext theory. Editor(s): Floridi, Luciano. Series: Blackwell Philosophy Guides. Num Pages: 392 pages, 20. BIC Classification: HP; UY. Category: (P) Professional & Vocational. Dimension: 256 x 178 x 21. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 392
- Condition
- New
- SKU
- V9780631229193
- ISBN
- 9780631229193
Paperback
Condition: New
€ 52.78
€ 52.78
Hardcover. This Guide provides an ambitious state--of--the--art survey of the fundamental themes, problems, arguments and theories constituting the philosophy of computing. * A complete guide to the philosophy of computing and information. * Comprises 26 newly--written chapters by leading international experts. Editor(s): Floridi, Luciano. Series: Blackwell Philosophy Guides. Num Pages: 392 pages, 20. BIC Classification: HP; UY. Category: (P) Professional & Vocational. Dimension: 188 x 263 x 28. Weight in Grams: 948.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 392
- Condition
- New
- SKU
- V9780631229186
- ISBN
- 9780631229186
Hardback
Condition: New
€ 170.01
€ 170.01
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: GBC; HP; PB; PD; UYQ. Category: (G) General (US: Trade). Dimension: 216 x 140 x 13. Weight in Grams: 295.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Birkhauser United States
- Condition
- New
- SKU
- V9781468480528
- ISBN
- 9781468480528
Paperback
Condition: New
€ 66.13
€ 66.13
Paperback. Proceedings of the NATO Advanced Study Institute on The Biology and Technology of Intelligent Autonomous Agents, Editor(s): Steels, Luc. Series: NATO ASI Subseries F. Num Pages: 517 pages, biography. BIC Classification: MBP; PS; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 796.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 517
- Condition
- New
- SKU
- V9783642796319
- ISBN
- 9783642796319
Paperback
Condition: New
€ 130.02
€ 130.02
Hardback. Get the expert perspective and practical advice on big data
The Big Data-Driven Business: How to Use Big Data to Win Customers, Beat Competitors, and Boost Profits makes the case that big data is for real, and more than just big hype. Num Pages: 224 pages, illustrations. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 237 x 154 x 21. Weight in Grams: 414.
- Publisher
- John Wiley & Sons Inc
- Format
- Hardback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781118889800
- ISBN
- 9781118889800
Hardback
Condition: New
€ 31.99€ 25.13
€ 31.99
€ 25.13
Paperback. Editor(s): Kuehlmann, Andreas. Num Pages: 714 pages, biography. BIC Classification: THR; TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 37. Weight in Grams: 1110.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 714
- Condition
- New
- SKU
- V9781461350071
- ISBN
- 9781461350071
Paperback
Condition: New
€ 375.24
€ 375.24
Hardback. Presents a selection of papers from among the best contributions presented in ICCAD based on their impact on research and applications. This work contains overview articles solicited from leading EDA researchers that comment on the historical context of the selected papers and outline their impact on follow up work. Editor(s): Kuehlmann, Andreas. Num Pages: 714 pages, biography. BIC Classification: UGC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 39. Weight in Grams: 2650.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 714
- Condition
- New
- SKU
- V9781402073915
- ISBN
- 9781402073915
Hardback
Condition: New
€ 387.58
€ 387.58
Hardback. Useful for those interested in a career in science, the author recounts his unlikely path to becoming a Nobel Laureate. Beginning with his humble origins in Australia, he tells how he developed an interest in immunology and describes his award-winning, influential work with Rolf Zinkernagel on T-cells and the nature of immune defense. Num Pages: 320 pages, 120 illustrations. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 130 x 98 x 24. Weight in Grams: 499.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Columbia University Press United States
- Edition
- 1st Edition
- Number of pages
- 320
- Condition
- New
- SKU
- V9780231138963
- ISBN
- 9780231138963
Hardback
Condition: New
€ 83.23€ 64.47
€ 83.23
€ 64.47
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, 26 colour illustrations, biography. BIC Classification: 2ZB; 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
- V9783642307959
- ISBN
- 9783642307959
Paperback
Condition: New
€ 65.80
€ 65.80
Hardcover. This book describes in modern computer science terms the Level II architecture of the meaning and definition of the process referred to as "thinking. Num Pages: 208 pages, illustrations. BIC Classification: TJFM; UYQ. Category: (P) Professional & Vocational. Dimension: 162 x 235 x 17. Weight in Grams: 464.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 208
- Condition
- New
- SKU
- V9781118294246
- ISBN
- 9781118294246
Hardback
Condition: New
€ 134.33
€ 134.33
Paperback. This is a reference book in automotive technology, as far as the automotive chassis (i.e. everything that is inside a vehicle except the engine and the body) is concerned. The book is a result of a decade of work sponsored by the FIAT group. Series: Mechanical Engineering Series. Num Pages: 650 pages, biography. BIC Classification: TBD; TGBN; TGMD4; TRC; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 33. Weight in Grams: 985.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 650
- Condition
- New
- SKU
- V9789400789470
- ISBN
- 9789400789470
Paperback
Condition: New
€ 98.10
€ 98.10
The Automation of Reasoning with Incomplete Information. From Semantic...
Schaub, T. (University Of Potsdam, Germany)
paperback. Reasoning with incomplete information constitutes a major challenge for any intelligent system. This study aims to provide formal and practical means for automating reasoning with incomplete information by starting from the approach taken by the framework of default logic. Series: Lecture Notes in Computer Science. Num Pages: 166 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 9. Weight in Grams: 580.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1997th Edition
- Number of pages
- 166
- Condition
- New
- SKU
- V9783540645153
- ISBN
- 9783540645153
Paperback
Condition: New
€ 67.79
€ 67.79
Hardback. Previous studies have looked at the contribution of information technology and network theory to the art of warfare as understood in the broader sense. This book, however, focuses on an area particularly important in understanding the significance of the information revolution; its impact on strategic theory. Num Pages: 238 pages, black & white illustrations. BIC Classification: JW; UY. Category: (P) Professional & Vocational. Dimension: 198 x 241 x 20. Weight in Grams: 528.
- Publisher
- ISTE Ltd and John Wiley & Sons Inc
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781848219120
- ISBN
- 9781848219120
Hardback
Condition: New
€ 180.21
€ 180.21
Hardback. Explains how to create a system from scratch, presenting invention/design rules together with explanations of how to use them. This book supplies practical guidelines for avoiding common systematic failures while implementing fresh mandates. Series: Systems Engineering. Num Pages: 472 pages, 44 black & white illustrations, 6 black & white tables. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 245 x 167 x 32. Weight in Grams: 808.
- Publisher
- Taylor & Francis Inc United States
- Number of pages
- 472
- Format
- Hardback
- Publication date
- 2009
- Edition
- 3rd Edition
- Condition
- New
- SKU
- V9781420079135
- ISBN
- 9781420079135
Hardback
Condition: New
€ 149.69
€ 149.69