Computing
Results 817 - 840 of 11258
Computing
Leveraging Applications of Formal Methods, Verification, and Validatio...
. Ed(S): Margaria, Tiziana; Steffen, Bernhard
Paperback. Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010. Editor(s): Margaria, Tiziana; Steffen, Bernhard. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 498 pages, 157 black & white illustrations, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 20. Weight in Grams: 739.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 498
- Condition
- New
- SKU
- V9783642165603
- ISBN
- 9783642165603
Paperback
Condition: New
€ 69.07
€ 69.07
Knowledge and Technology Integration in Production and Services
. Ed(S): Marik, Vladimir; Camarinha-Matos, Lu...
Paperback. Editor(s): Marik, Vladimir; Camarinha-Matos, Luis M.; Afsarmanesh, Hamideh. Series: IFIP Advances in Information and Communication Technology. Num Pages: 554 pages, biography. BIC Classification: TGB; TGXT; TJFM; UYQ. Category: (P) Professional & Vocational. Dimension: 279 x 210 x 29. Weight in Grams: 1354.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 554
- Condition
- New
- SKU
- V9781475756326
- ISBN
- 9781475756326
Paperback
Condition: New
€ 243.93
€ 243.93
Awareness Systems: Advances in Theory, Methodology and Design
. Ed(S): Markopoulos, Panos; Mackay, Wendy
paperback. People live with an awareness of their social and physical environments. Network technology has extended the reach of that awareness. This book considers the design of awareness systems from the theoretical foundations to empirical studies and design concepts. Editor(s): Markopoulos, Panos; Mackay, Wendy. Series: Human-Computer Interaction Series. Num Pages: 514 pages, 98 black & white illustrations, 22 black & white tables, biography. BIC Classification: UNH; UT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 783.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer United Kingdom
- Number of pages
- 514
- Condition
- New
- Edition
- 2009th Edition
- SKU
- V9781447122852
- ISBN
- 9781447122852
Paperback
Condition: New
€ 187.54
€ 187.54
Hardback. This volume examines the needs, practices, experiences, peer support and accessibility of resources, both human and technical, for information technologies in developing countries. Editor(s): Marshall, Gail; Ruohonen, M. Series: IFIP Advances in Information and Communication Technology. Num Pages: 374 pages, biography. BIC Classification: JNV; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 708.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 374
- Condition
- New
- SKU
- V9780412814600
- ISBN
- 9780412814600
Hardback
Condition: New
€ 194.44
€ 194.44
Paperback. Constitutes the refereed proceedings of the 10th International Workshop on Digital Mammography, IWDM 2010, held in Girona, Spain, in June 2010. This book includes papers organized in topical sections on CAD, image processing and analysis, breast imaging physics, physics models, clinical experiences, breast density, and lesion detection. Editor(s): Marti, Joan; Oliver, Arnau; Freixenet, Jordi; Marti, Robert. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 772 pages, 373 black & white illustrations, biography. BIC Classification: MBP; MMP; PSA; UG; UND; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1270.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 772
- Condition
- New
- SKU
- V9783642136658
- ISBN
- 9783642136658
Paperback
Condition: New
€ 133.62
€ 133.62
Paperback. Constitutes the refereed post-conference proceedings of the 6th European Workshop on Public Key Services, Applications and Infrastructures, EuroPKI 2009, held in Pisa, Italy, in September 2009. Editor(s): Martinelli, Fabio; Preneel, Bart. Series: Lecture Notes in Computer Science. Num Pages: 303 pages, 41 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 18. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 303
- Condition
- New
- SKU
- V9783642164408
- ISBN
- 9783642164408
Paperback
Condition: New
€ 67.35
€ 67.35
Pattern Recognition: Third Mexican Conference, MCPR 2011, Cancun, Mexi...
. Ed(S): Martinez-Trinidad, Jose Francisco; C...
paperback. Constitutes the refereed proceedings of the Third Mexican Conference on Pattern Recognition, MCPR 2011, that was held in Cancun, Mexico. Editor(s): Martinez-Trinidad, Jose Francisco; Carrasco Ochoa, Jesus Ariel; Ben-Youssef Brants, Cherif; Hancock, Edwin Robert. Series: Lecture Notes in Computer Science. Num Pages: 352 pages, 84 black & white illustrations, 47 colour illustrations, biography. BIC Classification: UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 352
- Condition
- New
- SKU
- V9783642215865
- ISBN
- 9783642215865
Paperback
Condition: New
€ 67.44
€ 67.44
Hardback. Modern electronics is driven by the explosive growth of digital communications and multi-media technology. Research efforts have emerged on the edge between software compilation and hardware synthesis, to develop high-quality code generation tools for embedded processors. This work provides a survey of these developments. Editor(s): Marwedel, Peter; Goossens, Gert. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 298 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 609.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 298
- Condition
- New
- SKU
- V9780792395775
- ISBN
- 9780792395775
Hardback
Condition: New
€ 246.34
€ 246.34
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 6th International Symposium on Parameterized and Exact Computation, IPEC 2011, in Saarbrucken, Germany, in September 2011. This title covers various aspects of parameterized and exact computation and complexity. Editor(s): Marx, Daniel; Rossmanith, Peter. Series: Lecture Notes in Computer Science. Num Pages: 273 pages, 28 black & white illustrations, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 417.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 273
- Condition
- New
- SKU
- V9783642280498
- ISBN
- 9783642280498
Paperback
Condition: New
€ 83.18
€ 83.18
Hardback. With an intention of returning the mathematical tools of neural networks to the biological realm of the nervous system, this work introduces in a didactic manner, two developments in neural network methodology, namely recurrence in the architecture and the use of spiking or integrate-and-fire neurons. Editor(s): Mastebroek, Henk A.K.; Vos, Johan E. Series: Mathematical Modelling: Theory and Applications. Num Pages: 271 pages, biography. BIC Classification: PSAN; UGK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 17. Weight in Grams: 565.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 271
- Condition
- New
- SKU
- V9780792371922
- ISBN
- 9780792371922
Hardback
Condition: New
€ 128.47
€ 128.47
Hardback. The European Computing Conference offers a unique forum for establishing new collaborations. This volume presents a collection of papers covering recent advances in computer engineering, systems theory, and computational methods. Editor(s): Mastorakis, Nikos; Mladenov, Valeri; Kontargyri, Vassiliki T. Series: Lecture Notes in Electrical Engineering. Num Pages: 752 pages, 39 black & white tables, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1179.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 752
- Condition
- New
- SKU
- V9780387848181
- ISBN
- 9780387848181
Hardback
Condition: New
€ 252.74
€ 252.74
Fuzzy Modeling and Control: Theory and Applications
. Ed(S): Matia, Fernando; Marichal, G. Nicola...
Hardback. Editor(s): Matia, Fernando; Marichal, G. Nicolas; Jimenez, Emilio. Series: Atlantis Computational Intelligence Systems. Num Pages: 303 pages, 53 black & white illustrations, 68 colour illustrations, 40 black & white tables, biograp. BIC Classification: TBC; TJFM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 619.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Atlantis Press (Zeger Karssen) Netherlands
- Number of pages
- 303
- Condition
- New
- SKU
- V9789462390812
- ISBN
- 9789462390812
Hardback
Condition: New
€ 220.06
€ 220.06
Paperback. Covering the latest developments in clinical omics, this volume details the algorithms currently used in publicly available software tools. It looks at statistics, algorithms, automated data retrieval, and experimental consideration in the various omics areas. Editor(s): Matthiesen, Rune, PhD (University of Southern Denmark, Odense, Denmark). Series: Methods in Molecular Biology. Num Pages: 390 pages, 63 black & white illustrations, 14 black & white tables, biography. BIC Classification: PSA; PSB; PSF; UY. Category: (G) General (US: Trade). Dimension: 254 x 178 x 20. Weight in Grams: 758.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Humana Press Inc. United States
- Edition
- annotated ed
- Number of pages
- 390
- Condition
- New
- SKU
- V9781617796708
- ISBN
- 9781617796708
Paperback
Condition: New
€ 177.38
€ 177.38
Hardback. Challenges in Computational Statistics and Data Mining Editor(s): Matwin, Stan; Mielniczuk, Jan. Series: Studies in Computational Intelligence. Num Pages: 409 pages, 70 black & white illustrations, 3 colour illustrations, biography. BIC Classification: PBT; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 777.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 409
- Condition
- New
- SKU
- V9783319187808
- ISBN
- 9783319187808
Hardback
Condition: New
€ 125.29
€ 125.29
Hardback. Editor(s): Maur, Eitel von; Winter, Robert. BIC Classification: UB. Dimension: 235 x 155. Weight in Grams: 973.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Physica-Verlag HD
- Condition
- New
- SKU
- V9783790815368
- ISBN
- 9783790815368
Hardback
Condition: New
€ 106.10
€ 106.10
Hardback. Editor(s): Mavromoustakis, Constandinos X.; Mastorakis, George; Batalla, Jordi Mongay. Series: Modeling and Optimization in Science and Technologies. Num Pages: 499 pages, 127 black & white illustrations, 40 colour illustrations, biography. BIC Classification: TJK; UYQ; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 29. Weight in Grams: 925.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 499
- Condition
- New
- SKU
- V9783319309118
- ISBN
- 9783319309118
Hardback
Condition: New
€ 219.87
€ 219.87
Ubiquitous Knowledge Discovery: Challenges, Techniques, Applications: ...
. Ed(S): May, Michael; Saitta, Lorenza
paperback. Culled from a range of workshops, summer schools and dissemination events, this survey of the state of the art in a rapidly emerging field provides both a conceptual foundation and detailed coverage of selected approaches to ubiquitous knowledge discovery. Editor(s): May, Michael; Saitta, Lorenza. Series: Lecture Notes in Computer Science. Num Pages: 255 pages, 51 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UNF; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 237 x 154 x 13. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 255
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642163913
- ISBN
- 9783642163913
Paperback
Condition: New
€ 66.85
€ 66.85
Paperback. Constitutes the reviewed post-proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems, ArgMas 2010, held in Toronto, Canada in May 2010 as a satellite workshop of AAMAS 2010. This title features the papers that give a representative overview on research on argumentation in multi-agent systems. Editor(s): McBurney, Peter; Rahwan, Iyad; Parsons, Simon. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 327 pages, 48 black & white illustrations, 11 colour illustrations, biography. BIC Classification: UKN; UNH; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 327
- Condition
- New
- SKU
- V9783642219399
- ISBN
- 9783642219399
Paperback
Condition: New
€ 67.29
€ 67.29
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Trust and Trustworthy Computing, TRUST 2011, held in Pittsburgh, PA, USA in June 2011. Editor(s): McCune, Jonathan; Balacheff, Boris; Perrig, Adrian; Sadeghi, Ahmad-Reza; Sasse, Angela; Beres, Yolanta. Series: Lecture Notes in Computer Science. Num Pages: 314 pages, 28 black & white illustrations, 49 colour illustrations, biography. BIC Classification: UBJ; UKN; UMB; UNH; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 314
- Condition
- New
- SKU
- V9783642215988
- ISBN
- 9783642215988
Paperback
Condition: New
€ 67.15
€ 67.15
Integrating Functional and Temporal Domains in Logic Design
. Ed(S): McGeer, Patrick C.; Brayton, Robert ...
Hardback. Editor(s): McGeer, Patrick C.; Brayton, Robert K. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 212 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 1150.
- Format
- Hardback
- Publication date
- 1991
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 212
- Condition
- New
- SKU
- V9780792391630
- ISBN
- 9780792391630
Hardback
Condition: New
€ 127.82
€ 127.82
Provenance and Annotation of Data and Process: Third International Pro...
. Ed(S): McGuinness, Deborah L.; Michaelis, J...
paperback. Features the papers that investigate many facets of data provenance, process documentation, data derivation, and data annotation. Editor(s): McGuinness, Deborah L.; Michaelis, James R. Series: Lecture Notes in Computer Science. Num Pages: 306 pages, 34 black & white illustrations, 53 colour illustrations, biography. BIC Classification: UBJ; UKN; UKR; UL; UND. Category: (P) Professional & Vocational. Dimension: 239 x 155 x 20. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Number of pages
- 306
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642178184
- ISBN
- 9783642178184
Paperback
Condition: New
€ 67.49
€ 67.49
Paperback. Editor(s): Mecatti, Fulvia; Conti, Pier Luigi; Ranalli, Maria Giovanna. Series: Contributions to Statistics. Num Pages: 241 pages, 8 black & white illustrations, 9 colour illustrations, biography. BIC Classification: JHBC; PBT; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 241
- Condition
- New
- SKU
- V9783319358574
- ISBN
- 9783319358574
Paperback
Condition: New
€ 63.38
€ 63.38
Hardback. Comprises the proceedings of the Ninth Working Conference on Database Semantics held in Hong Kong in April 2001. This volume is useful for researchers and practitioners working in the areas of database management, information retrieval and data mining, and user interfaces, as applied to e-commerce. Editor(s): Meersman, R.; Aberer, Karl; Dillon, Tharam S. Series: IFIP Advances in Information and Communication Technology. Num Pages: 360 pages, 31 black & white illustrations, biography. BIC Classification: KJE; KJS; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 686.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 360
- Condition
- New
- SKU
- V9781402073519
- ISBN
- 9781402073519
Hardback
Condition: New
€ 127.69
€ 127.69
Hardback. End-users and non-computer experts are becoming heavily involved in the set-up, management and use of database systems. This book provides the important database design methodologies and implementation technology which should be available for them as well as for computer experts. Editor(s): Meersman, Robert; Mark, Leo. Series: IFIP Advances in Information and Communication Technology. Num Pages: 621 pages, biography. BIC Classification: UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 33. Weight in Grams: 1044.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 621
- Condition
- New
- SKU
- V9780412726002
- ISBN
- 9780412726002
Hardback
Condition: New
€ 244.45
€ 244.45