Computing
Results 5261 - 5280 of 11263
Computing
Paperback. One in five relationships starts on an online dating site, Laurie Davis provides the first ultimate guide to finding love online. Num Pages: 256 pages. BIC Classification: UDB; VFVG. Category: (G) General (US: Trade). Dimension: 213 x 140 x 16. Weight in Grams: 224.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Atria Books United States
- Edition
- Original
- Number of pages
- 256
- Condition
- New
- SKU
- V9781451687033
- ISBN
- 9781451687033
Paperback
Condition: New
€ 16.99€ 14.60
€ 16.99
€ 14.60
Paperback. Domino is a platform for developing and deploying e-business applications. This text provides a reference to help users make the most of this server platform. Num Pages: 372 pages, 1, black & white illustrations. BIC Classification: UF; UKR; UT. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 19. Weight in Grams: 498.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- O'Reilly Media, Inc, USA United States
- Number of pages
- 372
- Condition
- New
- Edition
- Illustrated
- SKU
- V9781565927179
- ISBN
- 9781565927179
Paperback
Condition: New
€ 43.99€ 40.95
€ 43.99
€ 40.95
Hardback. LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and protocols of the ISO/OSI family dates back to 1984. This title describes a 5 year project that moved LOTOS out of the ISO tower into software engineering practice. Editor(s): Bolognesi, Tommaso; Lagemaat, Jeroen van de; Vissers, Chris A. Num Pages: 488 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 28. Weight in Grams: 1980.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 488
- Condition
- New
- SKU
- V9780792395294
- ISBN
- 9780792395294
Hardback
Condition: New
€ 204.60
€ 204.60
hardcover. Providing a theory of loop transformations, this book discusses the general mathematical background needed for loop transformations, discusses data dependence, and introduces the major transformations. The algorithms that implement the transformations can then be precisely described in terms of certain abstract mathematical algorithms. Num Pages: 325 pages, biography. BIC Classification: UL; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 636.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 1993rd Edition
- Number of pages
- 325
- Condition
- New
- SKU
- V9780792393184
- ISBN
- 9780792393184
Hardback
Condition: New
€ 193.47
€ 193.47
Hardcover. This book places IT in perspective by tracing its development through time, covering its origins in business, the massive expansion of the role of IT at the end of the 20th century, the growth of the internet, and the successes and failures of companies involved in this development. Num Pages: 196 pages, Illustrations. BIC Classification: KNTX; UBJ. Category: (P) Professional & Vocational. Dimension: 239 x 161 x 15. Weight in Grams: 447.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- ISTE United Kingdom
- Number of pages
- 196
- Condition
- New
- SKU
- V9781905209583
- ISBN
- 9781905209583
Hardback
Condition: New
€ 171.98
€ 171.98
Long-Term and Dynamical Aspects of Information Security
Matthias Hollick, Dieter Hutter, Takaaki Yama...
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.62€ 139.42
€ 205.62
€ 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
€ 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
€ 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
€ 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
€ 194.66
€ 194.66
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
€ 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
€ 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
€ 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
€ 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
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 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
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