×


 x 

Shopping cart

Computing

Results 5161 - 5184 of 11026

Computing

Hardcover. Editor(s): Schmidt, Andreas U.; Kreutzer, Michael; Accorsi, Rafael. Num Pages: 168 pages, tables & charts. BIC Classification: URY; UTN. Category: (P) Professional & Vocational. Dimension: 263 x 186 x 18. Weight in Grams: 604.
Format
Hardback
Publication date
2007
Publisher
Nova Science Publishers Inc United States
Number of pages
168
Condition
New
SKU
V9781600219122
ISBN
9781600219122
Hardback
Condition: New

€ 205.28
€ 139.42

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. 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

€ 68.00

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. 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

€ 192.67

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

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

Hardback. Presents a logic view of 0-1 integer programming problems, providing insights into the structure of problems that can lead the researcher to more effective solution techniques depending on the problem class. Series: Operations Research/Computer Science Interfaces Series. Num Pages: 254 pages, biography. BIC Classification: KJT; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 1240.
Format
Hardback
Publication date
1995
Publisher
Kluwer Academic Publishers United States
Number of pages
254
Condition
New
SKU
V9780792396635
ISBN
9780792396635
Hardback
Condition: New

€ 128.39

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

€ 116.23

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

€ 189.77

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

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

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

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.64
€ 94.53

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

€ 128.32

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

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

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.35
€ 76.40

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.96
€ 87.79

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

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.44

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

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

Subscribe to our newsletter

News on special offers, signed editions & more!