Computer science
Results 1633 - 1656 of 3620
Computer science
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
€ 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
€ 193.85
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
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
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.87€ 94.53
€ 137.87
€ 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
€ 128.32
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
€ 57.02
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
€ 127.17€ 87.79
€ 127.17
€ 87.79
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. 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
€ 72.44
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
€ 131.46
€ 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
€ 235.32
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
€ 66.46
€ 66.46
Paperback. Editor(s): Banerjee, Mohua; Seth, Professor Anil. Series: Lecture Notes in Computer Science. Num Pages: 219 pages, 12 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642180255
- ISBN
- 9783642180255
Paperback
Condition: New
€ 66.61
€ 66.61
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
Paperback. Series: Discrete Mathematics and Theoretical Computer Science. Num Pages: 371 pages, biography. BIC Classification: PBCD; PBD; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 20. Weight in Grams: 534.
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 371
- Format
- Paperback
- Publication date
- 2012
- Edition
- Softcover reprint of the original 1st ed. 2004
- Condition
- New
- SKU
- V9781447110521
- ISBN
- 9781447110521
Paperback
Condition: New
€ 200.22
€ 200.22
Hardback. Describes the software technique of load balancing in distributed memory message-passing parallel computers. This book presents mathematical analyses and practical implementations. It focuses on nearest-neighbor load balancing methods in which every processor at every step is restricted to balancing its workload with its direct neighbours only. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 210 pages, biography. BIC Classification: UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 14. Weight in Grams: 509.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 210
- Condition
- New
- SKU
- V9780792398196
- ISBN
- 9780792398196
Hardback
Condition: New
€ 244.95
€ 244.95
Hardback. The community responsible for developing lexicons for Natural Language Processing (NLP) and Machine Readable Dictionaries (MRDs) started their ISO standardization activities in 2003. These activities resulted in the ISO standard Lexical Markup Framework (LMF). Editor(s): Francopoulo, Gil. Num Pages: 288 pages, Illustrations. BIC Classification: CFX; UYQL. Category: (P) Professional & Vocational. Dimension: 241 x 163 x 21. Weight in Grams: 572.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 282
- Condition
- New
- SKU
- V9781848214309
- ISBN
- 9781848214309
Hardback
Condition: New
€ 177.60
€ 177.60
Paperback. Editor(s): Trinder, Phil. Series: Lecture Notes in Computer Science. Num Pages: 479 pages, 75 black & white illustrations, 4 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 26. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 479
- Condition
- New
- SKU
- V9783319309354
- ISBN
- 9783319309354
Paperback
Condition: New
€ 65.61
€ 65.61
Hardback. Num Pages: 338 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 691.
- Format
- Hardback
- Publication date
- 1987
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2nd ed. 1987
- Number of pages
- 338
- Condition
- New
- SKU
- V9780898382280
- ISBN
- 9780898382280
Hardback
Condition: New
€ 247.55
€ 247.55
Paperback. Num Pages: 688 pages, 108 black & white illustrations, 79 black & white tables. BIC Classification: ULL; UYF. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 179 x 254 x 35. Weight in Grams: 1226.
- Publisher
- Apple Academic Press Inc.
- Format
- Paperback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781482235890
- ISBN
- 9781482235890
Paperback
Condition: New
€ 114.95
€ 114.95
Paperback. Contains selected papers from the workshop of the BioLINK Special Interest Group (SIG) on Linking Literature, Information and Knowledge for Biology. The workshop was held June 28- 29, 2009 at the ISMB/ECCB 2009 conference in Stockholm. Editor(s): Blaschke, Christian. Series: Lecture Notes in Computer Science. Num Pages: 81 pages, 10 black & white illustrations, biography. BIC Classification: PSA; UG; UMB; UNF; UYQP. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 8. Weight in Grams: 159.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 81
- Condition
- New
- SKU
- V9783642131301
- ISBN
- 9783642131301
Paperback
Condition: New
€ 114.16
€ 114.16
hardcover. Linguistic Geometry is an approach to the construction of mathematical models for large-scale multi-agent systems. Such systems, including air/space combat, robotic manufacturing, software re-engineering and Internet cyberwar, can be modeled as abstract board games. This title offers optimal solutions for various domains of Linguistic Geometry. Series: Operations Research/Computer Science Interfaces Series. Num Pages: 395 pages, biography. BIC Classification: GPFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 23. Weight in Grams: 763.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2000th Edition
- Number of pages
- 395
- Condition
- New
- SKU
- V9780792377382
- ISBN
- 9780792377382
Hardback
Condition: New
€ 333.92
€ 333.92