Computer science
Results 1761 - 1780 of 3256
Computer science
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
€ 69.76
€ 69.76
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
€ 242.25
€ 242.25
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
€ 138.18
€ 138.18
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
€ 233.13
€ 233.13
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
€ 125.66€ 87.33
€ 125.66
€ 87.33
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.62
€ 57.62
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
€ 134.00
€ 134.00
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
€ 136.23€ 93.93
€ 136.23
€ 93.93
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
€ 203.27
€ 203.27
Hardback. This book focuses on synopsys design compiler. The book assists designers accustomed to schematic capture-based design to develop the required expertise to use the Synopsys Design Compiler. It discusses over 100 'Classic Scenarios' faced by designers when using the Design Compiler. Num Pages: 322 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 664.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2 Rev ed
- Number of pages
- 322
- Condition
- New
- SKU
- V9780792397861
- ISBN
- 9780792397861
Hardback
Condition: New
€ 200.81
€ 200.81
Paperback. Contains the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008. This title includes 21 papers presented together with the abstracts of 7 tutorials and invited lectures that were reviewed and selected from numerous submissions. Editor(s): Hodges, Wilfrid; Queiroz, Ruy J. G. B. de. Series: Lecture Notes in Computer Science. Num Pages: 321 pages, biography. BIC Classification: HPL; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 156 x 20. Weight in Grams: 482.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 321
- Condition
- New
- SKU
- V9783540699361
- ISBN
- 9783540699361
Paperback
Condition: New
€ 122.16
€ 122.16
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. Constitutes refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. This book addresses various aspects of logic in computer science. It includes topics such as constructive mathematics and type theory, and logical foundations of programming. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 516 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 31. Weight in Grams: 778.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2007th Edition
- Number of pages
- 528
- Condition
- New
- SKU
- V9783540727323
- ISBN
- 9783540727323
Paperback
Condition: New
€ 75.33
€ 75.33
Hardback. Anil Nerode, Director of the Mathematics Institute at Cornell, USA, is one of the most influential logicians in the world. This volume, published in his honour, contains much new and significant work. The papers in general arose from a symposium held in his honour at Cornell University. Editor(s): Crossley, John N.; Remmel, Jeffrey B.; Shore, Richard A.; Sweedler, Moss E. Series: Progress in Computer Science and Applied Logic. Num Pages: 816 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 44. Weight in Grams: 1598.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 816
- Condition
- New
- SKU
- V9780817636906
- ISBN
- 9780817636906
Hardback
Condition: New
€ 203.36
€ 203.36
Paperback. Constitutes the refereed proceedings of the 5th International Conference on E-learning and Games, Edutainment 2010, held in Changchun, China, in August 2010. This book includes 3 invited talks, 26 regular papers, and 5 system descriptions. Editor(s): Janhunen, Tomi; Niemela, Ilkka. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 374 pages, 48 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 18. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 374
- Condition
- New
- SKU
- V9783642156748
- ISBN
- 9783642156748
Paperback
Condition: New
€ 71.39
€ 71.39
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
hardcover. Providing a theory of loop transformations, this book discusses the general mathematical background needed for loop transformations, discusses data dependence, and introduces the major transformations. The algorithms that implement the transformations can then be precisely described in terms of certain abstract mathematical algorithms. Num Pages: 325 pages, biography. BIC Classification: UL; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 636.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 1993rd Edition
- Number of pages
- 325
- Condition
- New
- SKU
- V9780792393184
- ISBN
- 9780792393184
Hardback
Condition: New
€ 200.42
€ 200.42
Hardcover. Low power circuit design is a rapidly-growing field of research driven by the popularity of portable computers and the introduction of multimedia systems that rely on portable hardware. Num Pages: 376 pages, Illustrations. BIC Classification: TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 237 x 164 x 27. Weight in Grams: 688.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 376
- Condition
- New
- SKU
- V9780471114888
- ISBN
- 9780471114888
Hardback
Condition: New
€ 197.54
€ 197.54
Paperback. Presents the different aspects of low power design for deep submicron electronics at various levels of abstraction from system level to circuit level and technology. This book aims to guide industrial and academic engineers and researchers in the selection of methods, technologies and tools and to provide a baseline for further developments. Editor(s): Nebel, Wolfgang; Mermet, Jean. Series: NATO Asi Series / NATO Asi Subseries E:. Num Pages: 580 pages, biography. BIC Classification: TJF; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 229 x 152 x 33. Weight in Grams: 1920.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 580
- Condition
- New
- SKU
- V9780792381037
- ISBN
- 9780792381037
Paperback
Condition: New
€ 302.09
€ 302.09
Hardback. Addresses both process technologies and device modeling. This book discusses power dissipation in CMOS circuits, several practical circuit examples, and low-power techniques. It emphasizes low-voltage issues for digital CMOS and BiCMOS circuits are emphasized. It also provides a study of advanced CMOS subsystem design. Num Pages: 530 pages, biography. BIC Classification: TJF; UY. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 234 x 156 x 30. Weight in Grams: 951.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 530
- Condition
- New
- SKU
- V9780792395874
- ISBN
- 9780792395874
Hardback
Condition: New
€ 260.26
€ 260.26