Science & Technology
Results 18941 - 18960 of 37840
Science & Technology
Paperback. Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs. Series: Center for the Study of Language and Information Publication Lecture Notes. Num Pages: 190 pages. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 15. Weight in Grams: 339.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- The Center for the Study of Language and Information Publications
- Condition
- New
- SKU
- V9780937073940
- ISBN
- 9780937073940
Paperback
Condition: New
€ 32.99€ 26.09
€ 32.99
€ 26.09
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
paperback. The innovative, dramatic graphic novel based on the life of the philosopher and mathematician Bertrand Russell. Num Pages: 352 pages, chiefly col. Illustrations. BIC Classification: FXL; PBX. Category: (G) General (US: Trade). Dimension: 237 x 174 x 21. Weight in Grams: 864.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Bloomsbury Publishing PLC
- Condition
- New
- SKU
- 9780747597209
- ISBN
- 9780747597209
Paperback
Condition: New
€ 21.99€ 16.10
€ 21.99
€ 16.10
Hardcover. This seminal book presents a new logically determined design methodology for designing clockless circuit systems. The book presents the foundations, architectures and methodologies to implement such systems. Num Pages: 292 pages, Illustrations. BIC Classification: TBD. Category: (P) Professional & Vocational. Dimension: 236 x 163 x 26. Weight in Grams: 652.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 292
- Condition
- New
- SKU
- V9780471684787
- ISBN
- 9780471684787
Hardback
Condition: New
€ 181.48
€ 181.48
Hardback. Editor(s): Cerro, Luis Farinas del; Inoue, Katsumi. Num Pages: 410 pages, illustrations (black and white ). BIC Classification: TCB. Category: (P) Professional & Vocational. Dimension: 243 x 164 x 29. Weight in Grams: 778.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 410
- Condition
- New
- SKU
- V9781848216808
- ISBN
- 9781848216808
Hardback
Condition: New
€ 214.61
€ 214.61
Hardcover. Features an approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. Using the logic of lying and truth-telling, this book introduces the informal reasoning preparing them for the formal study of symbolic logic, from propositional logic to first-order logic. Num Pages: 275 pages, black & white illustrations, black & white tables. BIC Classification: PBCD. Category: (G) General (US: Trade); (UU) Undergraduate. Dimension: 238 x 163 x 23. Weight in Grams: 570.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- A K Peters/CRC Press
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781568814438
- ISBN
- 9781568814438
Hardback
Condition: New
€ 136.60
€ 136.60
Hardcover. Editor(s): Eijsackers, H.; Quispel, A. Num Pages: 212 pages, 113. BIC Classification: TV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 265 x 198 x 18. Weight in Grams: 714.
- Format
- Hardback
- Publication date
- 1991
- Publisher
- Munksgaard International Publishers Denmark
- Edition
- 39th Edition
- Number of pages
- 212
- Condition
- New
- SKU
- V9788716102270
- ISBN
- 9788716102270
Hardback
Condition: New
€ 87.18
€ 87.18
Hardcover. Num Pages: 120 pages. BIC Classification: PH. Category: (P) Professional & Vocational. Dimension: 267 x 183 x 13. Weight in Grams: 444.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 120
- Condition
- New
- SKU
- V9781594549489
- ISBN
- 9781594549489
Hardback
Condition: New
€ 193.13€ 133.76
€ 193.13
€ 133.76
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
Hardcover. Examining the role of logic in optimization as the theme for integration, this volume is designed for courses in optimization, in particular discrete optimization. Much of the emphasis is placed on corporate tools and techniques, including a wide range of programming options. Series: Wiley-Interscience Series in Discrete Mathematics and Optimization. Num Pages: 520 pages, Illustrations. BIC Classification: PBU. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 161 x 29. Weight in Grams: 889.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 520
- Condition
- New
- SKU
- V9780471385219
- ISBN
- 9780471385219
Hardback
Condition: New
€ 240.09
€ 240.09
Hardback. The book extends the development of probability logic-a logic using probability, not verity (true, false) as the basic semantic notion. The basic connectives "not," "and," and "or" are described in depth to include quantified formulas. Also discussed is the notion of the suppositional and resolution of the paradox of confirmation. Num Pages: 126 pages, Illustrations. BIC Classification: PBCD; PBT. Category: (G) General (US: Trade). Dimension: 239 x 162 x 14. Weight in Grams: 342.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Lehigh University Press United States
- Number of pages
- 126
- Condition
- New
- SKU
- V9781611460100
- ISBN
- 9781611460100
Hardback
Condition: New
€ 110.84
€ 110.84
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
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
€ 198.95
€ 198.95
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
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
€ 212.06
€ 212.06
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
€ 200.93
€ 200.93
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
€ 219.04€ 166.09
€ 219.04
€ 166.09
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
€ 69.35
€ 69.35
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.49
€ 25.99
€ 19.49
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
€ 245.19
€ 245.19