Computing
Results 9649 - 9652 of 9652
Computing
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
Paperback. Constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2010, and the 30th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2010, held in Amsterdam, The Netherlands, in June 2010. Editor(s): Hatcliff, John; Zucca, Elena. Series: Lecture Notes in Computer Science. Num Pages: 233 pages, 40 black & white illustrations, biography. BIC Classification: UTR. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 233
- Condition
- New
- SKU
- V9783642134630
- ISBN
- 9783642134630
Paperback
Condition: New
€ 70.08
€ 70.08
Hardback. This book is the first multidisciplinary perspective of the signal processing that underpins most of modern acoustics. It is a compilation of the techniques and applications of signal processing used in many varied areas of acoustics. Editor(s): Havelock, David; Kuwano, Sonoko; Vorlander, Michael. Num Pages: 2000 pages, biography. BIC Classification: TGMD4; UYS. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 258 x 196 x 103. Weight in Grams: 3508.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 2000
- Condition
- New
- SKU
- V9780387776989
- ISBN
- 9780387776989
Hardback
Condition: New
€ 949.11
€ 949.11
Bioinspired Models of Network, Information, and Computing Systems
. Ed(S): Hayel, Yezekael; Hart, Emma; El-Azou...
Paperback. Constitutes the refereed post-conference proceedings of the 4th International Conference on Bio-Inspired Models of Network, Information, and Computing Systems (Bionetics). Editor(s): Hayel, Yezekael; Hart, Emma; El-Azouzi, Rachid; Carrera, Iacopo; Altman, Eitan. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 203 pages, 79 black & white illustrations, biography. BIC Classification: UKN; UKR; UL; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 239 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
- 203
- Condition
- New
- SKU
- V9783642128073
- ISBN
- 9783642128073
Paperback
Condition: New
€ 69.76
€ 69.76
Mathematical Morphology and its Applications to Image and Signal Proce...
. Ed(S): Heijmans, Henk J. A. M.; Roerdink, J...
Hardback. The aim of this work, which contains the proceedings of a conference held in Amsterdam in June 1998, is to provide the image analysis community with a sampling of recent developments in theoretical and practical aspects of mathematical morphology and its applications to image and signal processing. Editor(s): Heijmans, Henk J. A. M.; Roerdink, Jos B. T. M. Series: Computational Imaging and Vision. Num Pages: 452 pages, biography. BIC Classification: PBC; UYQP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 297 x 210 x 25. Weight in Grams: 813.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 452
- Condition
- New
- SKU
- V9780792351337
- ISBN
- 9780792351337
Hardback
Condition: New
€ 136.67
€ 136.67
Paperback / so. Editor(s): Helisch, Michael; Pokoyski, Dietmar. Series: Edition. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: KJMV3; KJR; UR; UYZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 18. Weight in Grams: 531.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Vieweg+teubner Verlag United States
- Condition
- New
- SKU
- V9783834806680
- ISBN
- 9783834806680
Paperback
Condition: New
€ 101.32
€ 101.32
Paperback / so. Editor(s): Helmus, Manfred (Prof. Helmus Ingenieurpartnerschaft); Meins-Becker, Anica; Laussat, Lars; Kelm, Agnes. Series: Rfid Im Bauwesen. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: KJM; TNK; UYZG. Category: (G) General (US: Trade). Dimension: 210 x 148 x 40. Weight in Grams: 916.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Vieweg+teubner Verlag United States
- Condition
- New
- SKU
- V9783834807656
- ISBN
- 9783834807656
Paperback
Condition: New
€ 120.36
€ 120.36
Paperback. Constitutes the proceedings of the 4th provable security conference held in Malacca, Malaysia in October 2010. Editor(s): Heng, Swee-Huay; Kurosawa, Kaoru. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 279 pages, 26 black & white illustrations, biography. BIC Classification: GPJ; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642162794
- ISBN
- 9783642162794
Paperback
Condition: New
€ 70.46
€ 70.46
Paperback. Constituting the thoroughly refereed post-conference proceedings of the twelfth Advances in Computer Games conference held in Spain in 2009, the 20 revised full papers cover topics from Bayesian modeling to incongruity theory and data assurance. Editor(s): Herik, H. Jaap van den; Spronck, Pieter. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 247 pages, 75 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 13. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 247
- Condition
- New
- SKU
- V9783642129926
- ISBN
- 9783642129926
Paperback
Condition: New
€ 70.02
€ 70.02
Hardback. Describes the progress of computer-chess research. Editor(s): Herik, H. Jaap; Iida, Hiroyuki (Dept. of Computer Science, University of Shizuoka, Japan); Heinz, Ernst A. Series: IFIP Advances in Information and Communication Technology. Num Pages: 383 pages, biography. BIC Classification: UDX; UYQM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 742.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 383
- Condition
- New
- SKU
- V9781402077098
- ISBN
- 9781402077098
Hardback
Condition: New
€ 201.94
€ 201.94
Hardback. Proceedings of the NATO Advanced Research Workshop, held in Sinaia, Romania, 17-22 September 2002 Editor(s): Herzog, Jurgen; Vuletescu, Victor. Series: NATO Science Series II. Num Pages: 273 pages, biography. BIC Classification: PBF; PBG; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 581.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 273
- Condition
- New
- SKU
- V9781402014864
- ISBN
- 9781402014864
Hardback
Condition: New
€ 199.61
€ 199.61
Paperback. Proceedings of the NATO Advanced Research Workshop, held in Sinaia, Romania, 17-22 September 2002 Editor(s): Herzog, Jurgen; Vuletescu, Victor. Series: NATO Science Series II. Num Pages: 273 pages, biography. BIC Classification: PBF; PBG; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 160 x 15. Weight in Grams: 900.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 273
- Condition
- New
- SKU
- V9781402014871
- ISBN
- 9781402014871
Paperback
Condition: New
€ 197.03
€ 197.03
Paperback. Editor(s): Heyden, Anders; Kahl, Fredrik. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 809 pages, 140 black & white illustrations, 270 colour illustrations, biography. BIC Classification: UG; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 930.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 809
- Condition
- New
- SKU
- V9783642212260
- ISBN
- 9783642212260
Paperback
Condition: New
€ 218.79
€ 218.79
Hardback. What implications does the Internet hold for human rights? This study describes the development and use of the Internet for human rights and examines its impact across the world upon various sectors of society. It discusses trends in human rights promotion and protection. Editor(s): Hick, Steven; Halpin, Edward F.; Hoskins, Eric. Num Pages: 275 pages, biography. BIC Classification: JPVH; PDR; UDB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 216 x 140 x 23. Weight in Grams: 500.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Palgrave Macmillan United Kingdom
- Number of pages
- 275
- Condition
- New
- SKU
- V9780333777336
- ISBN
- 9780333777336
Hardback
Condition: New
€ 67.25
€ 67.25
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
€ 122.16
€ 122.16
Formal Description Techniques for Distribution Systems and Communicati...
. Ed(S): Hogrefe, Dieter; Leue, S.
Hardback. Presents the research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques. Editor(s): Hogrefe, Dieter; Leue, S. Series: IFIP Advances in Information and Communication Technology. Num Pages: 536 pages, black & white illustrations. BIC Classification: PHDS; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 2050.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 536
- Condition
- New
- SKU
- V9780412644504
- ISBN
- 9780412644504
Hardback
Condition: New
€ 271.23
€ 271.23
Hardback. The scenario of computational and data Grids is attracting a great deal of attention from both computer and computational scientists. In addition to the inherent complexity of parallel machines, the sharing and transparency of the available resources introduces fresh challenges on performance analysis, techniques, and systems. Editor(s): Hoisie, Adolfy; Getov, Vladimir; Gerndt, Michael; Malony, Allen D.; Miller, Barton. Num Pages: 290 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 1360.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 290
- Condition
- New
- SKU
- V9781402076930
- ISBN
- 9781402076930
Hardback
Condition: New
€ 200.09
€ 200.09
The Internet Challenge. Technology and Applications. Proceedings.
. Ed(S): Hommel, Gunter; Huanye, Sheng
Hardback. Proceedings of the 5th International Workshop held at the TU Berlin, Germany, October 8-9, 2002 Editor(s): Hommel, Gunter; Huanye, Sheng. Num Pages: 168 pages, biography. BIC Classification: UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 12. Weight in Grams: 438.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 168
- Condition
- New
- SKU
- V9781402009037
- ISBN
- 9781402009037
Hardback
Condition: New
€ 131.18
€ 131.18
Natural Language Processing and Information Systems: 15th Internationa...
. Ed(S): Hopfe, Christina J.; Rezgui, Yacine;...
paperback. Constitutes the proceedings of the 15th International Conference on Applications of Natural Language to Informations Systems, held in Cardiff, UK, in June 2010. Editor(s): Hopfe, Christina J.; Rezgui, Yacine; Metais, Elisabeth; Preece, Alun; Li, Haijiang. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 327 pages, 74 black & white illustrations, biography. BIC Classification: UBJ; UND; UNF; UYQL; UYQP; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 327
- Condition
- New
- SKU
- V9783642138805
- ISBN
- 9783642138805
Paperback
Condition: New
€ 70.86
€ 70.86
Hardback. Presents the proceedings of the TC13 flagship conference, held biannially. This volume covers a range of the developments in HCI, focusing on international issues in: theory, interface tools and architecture, HCI applications and HCI development issues. Editor(s): Howard, Steve; Hammond, Judy; Lindgaard, Gitte. Series: IFIP Advances in Information and Communication Technology. Num Pages: 740 pages, biography. BIC Classification: UYZ. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 254 x 178 x 39. Weight in Grams: 1495.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 740
- Condition
- New
- SKU
- V9780412809507
- ISBN
- 9780412809507
Hardback
Condition: New
€ 258.41
€ 258.41
Paperback. Constitutes the refereed proceedings of the First International Conference on Integrated Computing Technology, INTECH 2011 that was held in Sao Carlos, Brazil. Editor(s): Hruschka, Estevam Rafael; Watada, Junzo; Carmo Nicoletti, Maria. Series: Communications in Computer and Information Science. Num Pages: 177 pages, 28 black & white illustrations, 35 colour illustrations, biography. BIC Classification: UKN; UM; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 295.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 177
- Condition
- New
- SKU
- V9783642222467
- ISBN
- 9783642222467
Paperback
Condition: New
€ 68.57
€ 68.57
Advanced Intelligent Computing. Theories and Applications
. Ed(S): Huang, De-Shuang (Chinese Academy Of...
Paperback. Constitutes the proceedings of the 6th International Conference on Advanced Intelligent Computing, held in Changsha, China, in August 2010. Editor(s): Huang, De-Shuang (Chinese Academy of Sciences); McGinnity, Martin; Heutte, Laurent; Zhang, Xiao-Ping. Series: Communications in Computer and Information Science. Num Pages: 580 pages, 243 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 580
- Condition
- New
- SKU
- V9783642148309
- ISBN
- 9783642148309
Paperback
Condition: New
€ 137.50
€ 137.50
Advanced Intelligent Computing Theories and Applications: With Aspects...
. Ed(S): Huang, De-Shuang (Chinese Academy Of...
paperback. Constitutes the refereed proceedings of the 6th International Conference on Intelligent Computing, ICIC 2010, held in Changsha, China, in August 2010. Editor(s): Huang, De-Shuang (Chinese Academy of Sciences); Zhang, Xiang; Reyes-Garcia, Carlos Alberto; Zhang, Lei. Series: Lecture Notes in Computer Science. Num Pages: 685 pages, 277 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 975.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 685
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642149313
- ISBN
- 9783642149313
Paperback
Condition: New
€ 138.43
€ 138.43
Advanced Intelligent Computing Theories and Applications
. Ed(S): Huang, De-Shuang (Chinese Academy Of...
Paperback. Constitutes the refereed proceedings of the 6th International Conference on Intelligent Computing, ICIC 2010, held in Changsha, China, in August 2010. Editor(s): Huang, De-Shuang (Chinese Academy of Sciences); Zhao, Zhongming; Bevilacqua, Vitoantonio; Figueroa, Juan Carlos. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 689 pages, 268 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYQP; UYZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 28. Weight in Grams: 998.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 689
- Condition
- New
- SKU
- V9783642149214
- ISBN
- 9783642149214
Paperback
Condition: New
€ 138.59
€ 138.59