×


 x 

Shopping cart

Science & Technology

Results 22481 - 22500 of 45239

Science & Technology

Paperback / so. Translator(s): Tarnowski, Michael. Series: Kunstliche Intelligenz. Num Pages: 576 pages, black & white illustrations, bibliography. BIC Classification: TBC. Category: (G) General (US: Trade). Dimension: 244 x 170 x 31. Weight in Grams: 948.
Format
Paperback
Publication date
1989
Publisher
Vieweg+teubner Verlag United States
Number of pages
576
Condition
New
SKU
V9783528046385
ISBN
9783528046385
Paperback
Condition: New

€ 63.03

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
€ 25.76

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

€ 65.15

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

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

€ 178.86

Hardback. This book proposes a new way of formalizing in logic and mathematics - a "pyramidal graph system," devised by the author and based on Porphyrian trees and modern concepts of classification, in both of which pyramids act as the organizing schema. Num Pages: 140 pages, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 438.
Publisher
Springer
Format
Hardback
Publication date
2012
Edition
2013 ed.
Condition
New
SKU
V9789400753006
ISBN
9789400753006
Hardback
Condition: New

€ 144.42

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

€ 208.58

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

€ 194.66

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

€ 135.77

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

€ 85.96

Hardback. This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts. Series: Springer Monographs in Mathematics. Num Pages: 695 pages, 45 black & white illustrations, 4 colour illustrations, 3 black & white tables, biography. BIC Classification: PBCD; PBWH; UMB. Category: (P) Professional & Vocational. Dimension: 242 x 164 x 32. Weight in Grams: 1132.
Publisher
Springer International Publishing AG Switzerland
Number of pages
703
Format
Hardback
Publication date
2013
Edition
2013th Edition
Condition
New
SKU
V9783319001180
ISBN
9783319001180
Hardback
Condition: New

€ 227.49

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

€ 194.88
€ 130.67

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

€ 64.07

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

€ 236.61

Hardcover. Contains the text of "The Concept of Truth in Formalized Languages". This title includes a preface and an analytical index for use by philosophers and linguists as well as by historians of mathematics and philosophy. Translator(s): Woodger, J.H. Num Pages: 536 pages. BIC Classification: JM; PBC. Category: (G) General (US: Trade); (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 236 x 159 x 40. Weight in Grams: 836.
Publisher
Hackett Publishing Co, Inc United States
Number of pages
536
Format
Hardback
Publication date
1983
Edition
Second Edition,2
Condition
New
SKU
V9780915144754
ISBN
9780915144754
Hardback
Condition: New

€ 58.22
€ 45.61

Hardback. Editor(s): Weber, Erik; Wouters, Dietlinde; Meheus, Joke. Series: Logic, Argumentation & Reasoning. Num Pages: 295 pages, 186 black & white illustrations, biography. BIC Classification: HPL; PDA. Category: (P) Professional & Vocational. Dimension: 243 x 150 x 21. Weight in Grams: 586.
Publisher
Springer
Format
Hardback
Publication date
2014
Edition
2014th Edition
Condition
New
SKU
V9789401790109
ISBN
9789401790109
Hardback
Condition: New

€ 66.29

Hardback. This is the first volume in a series aimed at considering the scientific enterprise in light of recent developments in logic and philosophy. This work explores new ways of achieving the integration of science in all its diversity. Editor(s): Rahman, Shahid; Symons, John; Gabbay, Dov M.; Bendegem, Jean Paul van. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 636 pages, biography. BIC Classification: HPK; HPL; PDA. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 279 x 210 x 34. Weight in Grams: 1072.
Format
Hardback
Publication date
2004
Publisher
Springer-Verlag New York Inc. United States
Number of pages
636
Condition
New
SKU
V9781402028076
ISBN
9781402028076
Hardback
Condition: New

€ 242.13

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

€ 104.61

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

€ 193.85

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

Subscribe to our newsletter

News on special offers, signed editions & more!