Science & Technology
Results 22501 - 22520 of 45240
Science & Technology
Hardback. Provides detailed presentations of methodologies, algorithms and CAD tools for power modelling, estimation and analysis, synthesis and optimization at the logic level. It is designed for engineers, CAD professionals, and students with a basic knowledge of CMOS digital design and logic synthesis. Num Pages: 236 pages, biography. BIC Classification: TJF; UK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 1190.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 236
- Condition
- New
- SKU
- V9780792380764
- ISBN
- 9780792380764
Hardback
Condition: New
€ 194.21
€ 194.21
Logic Synthesis for FPGA - Based Finite State Machines
Barkalov, Alexander; Titarenko, Larysa; Kolop...
Hardback. Series: Studies in Systems, Decision and Control. Num Pages: 294 pages, 205 colour illustrations, biography. BIC Classification: PBWH; TJFC; TJFM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 608.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 294
- Condition
- New
- SKU
- V9783319242002
- ISBN
- 9783319242002
Hardback
Condition: New
€ 122.98
€ 122.98
Logic Synthesis for Asynchronous Controllers and Interfaces
Cortadella, Jordi; Kishinevsky, M.; Kondratye...
Hardback. This book systematically teaches the reader about computer-aided design of asynchronous circuits. It should appeal to researchers, electrical engineers and advanced students. Series: Springer Series in Advanced Microelectronics. Num Pages: 286 pages, biography. BIC Classification: TJFD5; UT; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 1290.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 286
- Condition
- New
- SKU
- V9783540431527
- ISBN
- 9783540431527
Hardback
Condition: New
€ 201.28
€ 201.28
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.81
€ 115.81
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
€ 196.23
€ 196.23
Hardcover. A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic.. ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems. Series: Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts. Num Pages: 272 pages, index. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 162 x 22. Weight in Grams: 562.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 272
- Condition
- New
- SKU
- V9780471060260
- ISBN
- 9780471060260
Hardback
Condition: New
€ 209.00
€ 209.00
Hardback. Includes a discussion and some proposals regarding the way the logic of questions can be applied to understanding scientific research and draws upon work in artificial intelligence in a discussion of heuristics and methods for appraising heuristics. It also includes a discussion of a third source for scientific objectives and heuristics. Series: Synthese Library. Num Pages: 340 pages, biography. BIC Classification: PDA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 279 x 216 x 23. Weight in Grams: 677.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 340
- Condition
- New
- SKU
- V9780792323716
- ISBN
- 9780792323716
Hardback
Condition: New
€ 193.97
€ 193.97
Hardback. Num Pages: 130 pages. BIC Classification: TJF. Category: (G) General (US: Trade). Dimension: 160 x 231 x 15. Weight in Grams: 368.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Nova Science Publishers Inc
- Edition
- UK ed.
- Condition
- New
- SKU
- V9781634842488
- ISBN
- 9781634842488
Hardback
Condition: New
€ 221.02€ 164.32
€ 221.02
€ 164.32
Paperback. Written for students, researchers, consultants, professionals, and scholars, Logic Modeling Methods in Program Evaluation provides a step-by-step explanation of logic modeling and its importance in connecting theory with implementation and outcomes in program evaluation in the social sciences. Series: Research Methods for the Social Sciences. Num Pages: 160 pages, illustrations. BIC Classification: JNKC; PBWH. Category: (P) Professional & Vocational. Dimension: 228 x 160 x 11. Weight in Grams: 244.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 160
- Condition
- New
- SKU
- V9780787981969
- ISBN
- 9780787981969
Paperback
Condition: New
€ 68.61
€ 68.61
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
€ 223.16
€ 223.16
Paperback. Logic concepts are more mainstream than you may realize. There's logic every place you look and in almost everything you do, from deciding which shirt to buy to asking your boss for a raise, and even to watching television, where themes of such shows as CSI and Numbers incorporate a variety of logistical studies. Num Pages: 388 pages, illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 229 x 187 x 28. Weight in Grams: 578.
- Publisher
- John Wiley and Sons Ltd United States
- Number of pages
- 388
- Format
- Paperback
- Publication date
- 2006
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780471799412
- ISBN
- 9780471799412
Paperback
Condition: New
€ 25.99€ 19.25
€ 25.99
€ 19.25
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
Paperback. Dirk van Dalen's popular textbook, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Godel's famous incompleteness theorem. Includes a new section on ultra-products. Series: Universitext. Num Pages: 273 pages, 27 black & white illustrations, 1 black & white tables, biography. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 236 x 157 x 15. Weight in Grams: 420.
- Publisher
- Springer London Ltd United Kingdom
- Format
- Paperback
- Publication date
- 2012
- Edition
- 5th ed. 2013
- Condition
- New
- SKU
- V9781447145578
- ISBN
- 9781447145578
Paperback
Condition: New
€ 71.38
€ 71.38
Hardback. Contains the papers submitted by the participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. This work covers the traditional subdisciplines of mathematical logic and philosophical logic, as well as their interfaces with computer science, linguistics and philosophy. Editor(s): Dalla Chiara, Maria Luisa; Doets, Kees; Mundici, Daniele; Benthem, Johan van. Series: Synthese Library. Num Pages: 534 pages, biography. BIC Classification: PDA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 30. Weight in Grams: 934.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 534
- Condition
- New
- SKU
- V9780792343837
- ISBN
- 9780792343837
Hardback
Condition: New
€ 250.95
€ 250.95
Hardcover. Editor(s): Suppes, Patrick. Series: Synthese Library. Num Pages: 548 pages, biography. BIC Classification: PDA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 229 x 159 x 37. Weight in Grams: 884.
- Publisher
- Springer Netherlands
- Number of pages
- 563
- Format
- Hardback
- Publication date
- 1975
- Edition
- 1976th Edition
- Condition
- New
- SKU
- V9789027705709
- ISBN
- 9789027705709
Hardback
Condition: New
€ 253.26
€ 253.26
hardcover. Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science Editor(s): Prawitz, Dag; Westerstahl, Dag. Series: Synthese Library. Num Pages: 614 pages, biography. BIC Classification: HPL; PDA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1033.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 1994th Edition
- Number of pages
- 614
- Condition
- New
- SKU
- V9780792327028
- ISBN
- 9780792327028
Hardback
Condition: New
€ 244.37
€ 244.37
Hardback. Contains papers which represent a combination of technical results in pure and applied logic. This volume also includes papers devoted to conceptual analysis rooted in research. It is suitable to logical specialists and scholars interested in critical reflections on the foundations of logic, mathematics and computer science. Editor(s): Cantini, Andrea; Casari, Ettore; Minari, Pierluigi. Series: Synthese Library. Num Pages: 284 pages, biography. BIC Classification: PBCD; PDA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 17. Weight in Grams: 592.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 284
- Condition
- New
- SKU
- V9780792356592
- ISBN
- 9780792356592
Hardback
Condition: New
€ 128.59
€ 128.59
Paperback. Solutions manual to accompany Num Pages: 194 pages. BIC Classification: PBCD; PBD. Category: (P) Professional & Vocational. Dimension: 243 x 189 x 11. Weight in Grams: 396.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 194
- Condition
- New
- SKU
- V9781118762677
- ISBN
- 9781118762677
Paperback
Condition: New
€ 24.43
€ 24.43
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
Paperback. Num Pages: 672 pages. BIC Classification: TJFD; UYF. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 237 x 177 x 23. Weight in Grams: 874.
- Publisher
- Pearson Education Limited United Kingdom
- Number of pages
- 672
- Format
- Paperback
- Publication date
- 2015
- Edition
- 5th edition
- Condition
- New
- SKU
- V9781292096070
- ISBN
- 9781292096070
Paperback
Condition: New
€ 110.28
€ 110.28