Computing
Results 7297 - 7320 of 13913
Computing
Paperback. A concise yet rigorous introduction to logic and discrete mathematics. Num Pages: 376 pages. BIC Classification: PBCD; PBD. Category: (P) Professional & Vocational. Dimension: 245 x 192 x 25. Weight in Grams: 882.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 420
- Condition
- New
- SKU
- V9781118751275
- ISBN
- 9781118751275
Paperback
Condition: New
€ 52.06
€ 52.06
Hardback. This is a concise, readable introduction to the science and art of using modeling in logic for integer programming. References for further study are given at the end of each chapter, exercises are included, and applications in diverse fields are discussed. Series: International Series in Operations Research & Management Science. Num Pages: 200 pages, 41 black & white illustrations, 12 black & white tables, biography. BIC Classification: UM. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 13. Weight in Grams: 386.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 200
- Condition
- New
- SKU
- V9780387922799
- ISBN
- 9780387922799
Hardback
Condition: New
€ 66.13
€ 66.13
Paperback. Editor(s): Banerjee, Mohua; Seth, Professor Anil. Series: Lecture Notes in Computer Science. Num Pages: 219 pages, 12 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642180255
- ISBN
- 9783642180255
Paperback
Condition: New
€ 66.61
€ 66.61
Logic and the Foundations of Game and Decision Theory - LOFT 8
. Ed(S): Bonanno, Giacomo; Lowe, Benedikt; Ho...
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Logic and the Foundations of the Theory of Game and Decision Theory, LOFT8 2008, that was held in Amsterdam, The Netherlands, July 2008. This volume is based on a selection of the presented papers and invited talks. Editor(s): Bonanno, Giacomo; Lowe, Benedikt; Hoek, Wiebe van der. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 218 pages, 35 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 218
- Condition
- New
- SKU
- V9783642151637
- ISBN
- 9783642151637
Paperback
Condition: New
€ 66.46
€ 66.46
Hardcover.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer
- Edition
- 2012th Edition
- Condition
- New
- SKU
- V9781461430872
- ISBN
- 9781461430872
Hardback
Condition: New
€ 65.06
€ 65.06
Hardback. Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning. Num Pages: 384 pages. BIC Classification: HPL; PB; UY. Category: (P) Professional & Vocational. Dimension: 179 x 252 x 23. Weight in Grams: 734.
- Publisher
- John Wiley & Sons Inc
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781118880005
- ISBN
- 9781118880005
Hardback
Condition: New
€ 65.86
€ 65.86
Hardback. Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc. Num Pages: 536 pages, Illustrations. BIC Classification: TJF; UYQ. Category: (G) General (US: Trade). Dimension: 242 x 167 x 34. Weight in Grams: 940.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 544
- Condition
- New
- SKU
- V9781848213012
- ISBN
- 9781848213012
Hardback
Condition: New
€ 235.32
€ 235.32
Logic for Programming, Artificial Intelligence, and Reasoning
. Ed(S): Fermuller, Christian G.; Voronkov, A...
Paperback. Constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, that was held in Yogyakarta, Indonesia. Editor(s): Fermuller, Christian G.; Voronkov, Andrei. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 656 pages, 83 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 939.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 656
- Condition
- New
- SKU
- V9783642162411
- ISBN
- 9783642162411
Paperback
Condition: New
€ 131.46
€ 131.46
Paperback. Editor(s): Moschovakis, Yiannis N. Series: Mathematical Sciences Research Institute Publications. Num Pages: 608 pages, biography. BIC Classification: PBC; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 930.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 608
- Condition
- New
- SKU
- V9781461276852
- ISBN
- 9781461276852
Paperback
Condition: New
€ 125.34
€ 125.34
Hardback. With a free, downloadable software package available to help solve the exercises, this book focuses on practical and relevant problems that arise in the field of binary logics, with its two main applications - digital circuit design, and propositional logics. Num Pages: 254 pages, biography. BIC Classification: PBD; TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 241 x 159 x 19. Weight in Grams: 532.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 254
- Condition
- New
- SKU
- V9781402095948
- ISBN
- 9781402095948
Hardback
Condition: New
€ 126.17
€ 126.17
Paperback. Series: Symbolic computation/Artificial Intelligence. Num Pages: 234 pages, biography. BIC Classification: UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 234
- Condition
- New
- SKU
- V9781461281887
- ISBN
- 9781461281887
Paperback
Condition: New
€ 63.77
€ 63.77
Paperback. Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems. Num Pages: 440 pages, 10 tables 400 exercises. BIC Classification: UYA; UYD; UYF. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 246 x 173 x 22. Weight in Grams: 784. Modelling and Reasoning About Systems. 440 pages, 10 tables 400 exercises. Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: UYA; UYD; UYF. Dimension: 246 x 173 x 22. Weight: 768.
- Publisher
- Cambridge University Press
- Number of pages
- 440
- Format
- Paperback
- Publication date
- 2004
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780521543101
- ISBN
- 9780521543101
Paperback
Condition: New
€ 72.68
€ 72.68
Logic Minimization Algorithms for V.L.S.I. Synthesis
Brayton, Robert K.; Sangiovanni-Vincentelli, ...
Hardback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 194 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 12. Weight in Grams: 476.
- Format
- Hardback
- Publication date
- 1984
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 194
- Condition
- New
- SKU
- V9780898381641
- ISBN
- 9780898381641
Hardback
Condition: New
€ 221.64
€ 221.64
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 194 pages, biography. BIC Classification: PBKS; THR; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 326.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1984
- Number of pages
- 194
- Condition
- New
- SKU
- V9781461297840
- ISBN
- 9781461297840
Paperback
Condition: New
€ 216.69
€ 216.69
Hardcover. Num Pages: 228 pages, illus. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational. Dimension: 260 x 183 x 21. Weight in Grams: 678.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 228
- Condition
- New
- SKU
- V9781616684815
- ISBN
- 9781616684815
Hardback
Condition: New
€ 126.81€ 87.79
€ 126.81
€ 87.79
Paperback. Num Pages: 228 pages, illustrations. BIC Classification: UM. Category: (G) General (US: Trade). Dimension: 178 x 254 x 15. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 228
- Condition
- New
- SKU
- V9781621007548
- ISBN
- 9781621007548
Paperback
Condition: New
€ 110.22€ 76.40
€ 110.22
€ 76.40
Paperback. Num Pages: 192 pages. BIC Classification: HPJ; UY. Category: (U) Tertiary Education (US: College). Dimension: 234 x 156. .
- Publisher
- Bloomsbury Publishing PLC
- Format
- Paperback
- Publication date
- 2017
- Edition
- Reprint
- Condition
- New
- SKU
- V9781350027473
- ISBN
- 9781350027473
Paperback
Condition: New
€ 57.02
€ 57.02
Paperback. Series: Quick Pro Guides. Num Pages: 200 pages, Illustrations. BIC Classification: AVX; UGM. Category: (G) General (US: Trade). Dimension: 278 x 217 x 12. Weight in Grams: 524.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Hal Leonard Corporation United States
- Edition
- Pap/Dvdr
- Number of pages
- 200
- Condition
- New
- SKU
- V9781458414205
- ISBN
- 9781458414205
Paperback
Condition: New
€ 29.31
€ 29.31
Paperback. Editor(s): Balbin, I.; Lecot, K. Num Pages: 360 pages, biography. BIC Classification: UYQ; UYU. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 229 x 152 x 21. Weight in Grams: 1230.
- Format
- Paperback
- Publication date
- 1985
- Publisher
- Kluwer Academic Publishers Group Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1985
- Number of pages
- 360
- Condition
- New
- SKU
- V9780908069156
- ISBN
- 9780908069156
Paperback
Condition: New
€ 127.46
€ 127.46
Paperback. Logic Programming with Prolog Num Pages: 266 pages, 44 black & white illustrations, biography. BIC Classification: UMX; UMZW. Category: (P) Professional & Vocational. Dimension: 236 x 157 x 14. Weight in Grams: 406.
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 255
- Format
- Paperback
- Publication date
- 2013
- Edition
- 2nd ed. 2013
- Condition
- New
- SKU
- V9781447154860
- ISBN
- 9781447154860
Paperback
Condition: New
€ 58.27
€ 58.27
Paperback. Editor(s): Lambert, Marcus J. Num Pages: 103 pages. BIC Classification: UY. Dimension: 226 x 154 x 9. Weight in Grams: 226.
- Publisher
- Nova Science Publishers Inc
- Format
- Paperback
- Publication date
- 2014
- Condition
- New
- SKU
- V9781631178535
- ISBN
- 9781631178535
Paperback
Condition: New
€ 137.48€ 94.53
€ 137.48
€ 94.53
Hardback. Research and development of logic synthesis and verification have matured considerably. Many commercial products are available, and they have been critical in harnessing advances in fabrication technology to produce today's plethora of electronic components. This book presents an overview of logic synthesis and verification. Editor(s): Hassoun, Soha; Sasao, Tsutomu. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 454 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 25. Weight in Grams: 835.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 454
- Condition
- New
- SKU
- V9780792376064
- ISBN
- 9780792376064
Hardback
Condition: New
€ 194.89
€ 194.89
Paperback. Num Pages: 596 pages, biography. BIC Classification: PBD; THR; TJFC; UGC; UMA. Category: (G) General (US: Trade). Dimension: 254 x 178 x 31. Weight in Grams: 1126.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 596
- Condition
- New
- SKU
- V9781475770360
- ISBN
- 9781475770360
Paperback
Condition: New
€ 115.27
€ 115.27
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 427 pages, biography. BIC Classification: THR; TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 427
- Condition
- New
- SKU
- V9781461359944
- ISBN
- 9781461359944
Paperback
Condition: New
€ 123.76
€ 123.76