Computing
Results 10601 - 10620 of 11260
Computing
Paperback. Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Editor(s): Kaufmann, Matt; Paulson, Lawrence C. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 495 pages, 82 black & white illustrations, biography. BIC Classification: MJCM; PBCD; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 495
- Condition
- New
- SKU
- V9783642140518
- ISBN
- 9783642140518
Paperback
Condition: New
€ 130.36
€ 130.36
Hardback. Illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. This title includes technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects. Editor(s): Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother. Series: Advances in Formal Methods. Num Pages: 337 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 1510.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 337
- Condition
- New
- SKU
- V9780792378495
- ISBN
- 9780792378495
Hardback
Condition: New
€ 247.15
€ 247.15
Hardback. Suitable for information technology security specialists, computer professionals, EDP managers, EDP auditors, managers, researchers and students working on the subject, this book presents a review of various perspectives in information systems security in view of the information society of the 21st century. Editor(s): Katsikas, Sokratis; Gritzalis, Dimitris. Series: IFIP Advances in Information and Communication Technology. Num Pages: 513 pages, biography. BIC Classification: URY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 896.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 513
- Condition
- New
- SKU
- V9780412781209
- ISBN
- 9780412781209
Hardback
Condition: New
€ 250.16
€ 250.16
Paperback. Constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. Editor(s): Katoen, Joost-Pieter; Konig, Barbara. Series: Lecture Notes in Computer Science. Num Pages: 560 pages, 104 black & white illustrations, 17 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 560
- Condition
- New
- SKU
- V9783642232169
- ISBN
- 9783642232169
Paperback
Condition: New
€ 69.87
€ 69.87
Hardback. Structure-Based Mechanics of Tissues and Organs Editor(s): Kassab, Ghassan S.; Sacks, Michael S. Num Pages: 503 pages, 71 black & white illustrations, 98 colour illustrations, 7 black & white tables, biograph. BIC Classification: MQW; PSA; TGM; UGK. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 984.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 503
- Condition
- New
- SKU
- V9781489976291
- ISBN
- 9781489976291
Hardback
Condition: New
€ 197.11
€ 197.11
Paperback. Editor(s): Karagiannis, Thomas; Dimitropoulos, Xenofontas. Series: Lecture Notes in Computer Science. Num Pages: 425 pages, 160 black & white illustrations, biography. BIC Classification: UKN; UNH; UR; UYD; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 22. Weight in Grams: 652.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 425
- Condition
- New
- SKU
- V9783319305042
- ISBN
- 9783319305042
Paperback
Condition: New
€ 64.95
€ 64.95
Haptics: Generating and Perceiving Tangible Sensations
. Ed(S): Kappers, Astrid M. L.; Erp, Jan Van;...
Paperback. Constitutes the proceedings of the conference on Haptics: Generating and Perceiving Tangible Sensations, held in Amsterdam, Netherlands in July 2010. Editor(s): Kappers, Astrid M. L.; Erp, Jan van; Bergmann Tiest, Wouter M.; Helm, Frans van der. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 460 pages, 227 black & white illustrations, biography. BIC Classification: UBJ; UGK; UKR; UT; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 726.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 460
- Condition
- New
- SKU
- V9783642140747
- ISBN
- 9783642140747
Paperback
Condition: New
€ 68.98
€ 68.98
Haptics: Generating and Perceiving Tangible Sensations
. Ed(S): Kappers, Astrid M. L.; Erp, Jan Van;...
Paperback. Constitutes the proceedings of the conference on Haptics: Generating and Perceiving Tangible Sensations ,held in Amsterdam, Netherlands in July 2010. Editor(s): Kappers, Astrid M. L.; Erp, Jan van; Bergmann Tiest, Wouter M.; Helm, Frans van der. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 440 pages, 246 black & white illustrations, biography. BIC Classification: UBJ; UGK; UKR; UT; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783642140631
- ISBN
- 9783642140631
Paperback
Condition: New
€ 68.39
€ 68.39
Paperback. Editor(s): Kannan, Rajkumar; Andres, Frederic. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 356 pages, 139 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 150 x 18. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 356
- Condition
- New
- SKU
- V9783642278716
- ISBN
- 9783642278716
Paperback
Condition: New
€ 67.80
€ 67.80
Outlooks and Insights on Group Decision and Negotiation
. Ed(S): Kaminski, Bogumil; Kersten, Gregory ...
Paperback. Editor(s): Kaminski, Bogumil; Kersten, Gregory E.; Szapiro, Tomasz. Series: Lecture Notes in Business Information Processing. Num Pages: 467 pages, 58 black & white illustrations, biography. BIC Classification: KJT; UNF; UYQM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 467
- Condition
- New
- SKU
- V9783319195148
- ISBN
- 9783319195148
Paperback
Condition: New
€ 65.30
€ 65.30
Paperback. Editor(s): Kamel, Mohamed; Campilho, Aurelio. Series: Lecture Notes in Computer Science. Num Pages: 561 pages, 247 black & white illustrations, biography. BIC Classification: UML; UNH; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 854.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 561
- Condition
- New
- SKU
- V9783319208008
- ISBN
- 9783319208008
Paperback
Condition: New
€ 66.13
€ 66.13
Paperback. Editor(s): Kaltofen, Erich; Watt, Stephen M. BIC Classification: UYAM. Dimension: 235 x 155. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer New York
- Condition
- New
- SKU
- V9780387970196
- ISBN
- 9780387970196
Paperback
Condition: New
€ 123.24
€ 123.24
Hardback. Comprises the proceedings of the fourth Austrian-Hungarian Workshop on Distributed and Parallel Systems, organized jointly by Johannes Kepler University, Linz, Austria and the MTA SZTAKI Computer and Automation Research Institute. The papers cover a range of research topics presented in four groups. Editor(s): Kacsuk, Peter; Kranzlmuller, Dieter; Nemeth, Zsolt (MTA SZTAKI Computer and Automation Research Institute, Budapest, Hungary); Volkert, Jens (Johannes Kepler University, Linz, Austria). Series: The Springer International Series in Engineering and Computer Science. Num Pages: 230 pages, biography. BIC Classification: UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 509.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 230
- Condition
- New
- SKU
- V9781402072093
- ISBN
- 9781402072093
Hardback
Condition: New
€ 127.69
€ 127.69
Hardback. Based on the proceedings of the third Austrian-Hungarian Workshop on Distributed and Parallel Systems organized jointly by the Austrian Computer Society and the MTA SZTAKI Computer and Automation Research Institute, this book contains 18 full papers and 12 short papers from 14 countries around the world, including Japan, Korea and Brazil. Editor(s): Kacsuk, Peter; Kotsis, Gabriele. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 233 pages, biography. BIC Classification: UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 1170.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 233
- Condition
- New
- SKU
- V9780792378921
- ISBN
- 9780792378921
Hardback
Condition: New
€ 245.27
€ 245.27
hardcover. Focuses on consensus formation in multiperson decision-making groups using imprecise information. This work includes an array of paradigms, tools and techniques that can help develop various analytical tools for consensus-reaching processes. Editor(s): Kacprzyk, Janusz; Nurmi, Hannu; Fedrizzi, Mario. Series: International Series in Intelligent Technologies. Num Pages: 311 pages, biography. BIC Classification: KJMD; UYQ. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 234 x 156 x 19. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 1997th Edition
- Number of pages
- 311
- Condition
- New
- SKU
- V9780792398394
- ISBN
- 9780792398394
Hardback
Condition: New
€ 193.22
€ 193.22
hardcover. This volume addresses robustness issues at the speech recognition and natural language parsing levels, with a focus on feature extraction and noise robust recognition, adaptive systems, language modelling, parsing, and natural language understanding. Editor(s): Junqua, Jean-Claude; Noord, Gertjan Van. Series: Text, Speech and Language Technology. Num Pages: 278 pages, biography. BIC Classification: CF; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 581.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2001st Edition
- Number of pages
- 278
- Condition
- New
- SKU
- V9780792367901
- ISBN
- 9780792367901
Hardback
Condition: New
€ 128.69
€ 128.69
Paperback. Editor(s): Joswig, Michael; Takayama, Nobuki. Num Pages: 332 pages, biography. BIC Classification: PBF; PBM; UFM; UMB; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2003
- Number of pages
- 332
- Condition
- New
- SKU
- V9783642055393
- ISBN
- 9783642055393
Paperback
Condition: New
€ 122.64
€ 122.64
Paperback. Editor(s): Joshi, Rajeev; Muller, Peter; Podelski, Andreas. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 326 pages, 41 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 326
- Condition
- New
- SKU
- V9783642277047
- ISBN
- 9783642277047
Paperback
Condition: New
€ 67.29
€ 67.29
Paperback. This volume contains the papers presented at the 7th International Conference on Object Oriented Information Systems - OOIS 2001. Editor(s): Johnston, Mr Ronald; Wang, Yingxu; Patel, Shushma. Num Pages: 556 pages, 71 black & white illustrations, biography. BIC Classification: UDB; UMN; UNS; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 848.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 556
- Condition
- New
- SKU
- V9781852335465
- ISBN
- 9781852335465
Paperback
Condition: New
€ 124.62
€ 124.62
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, that was held in Lac-Beauport, QC, Canada, in June 2010. Editor(s): Johnson, Michael; Pavlovic, Dusko. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 238 pages, 36 black & white illustrations, 10 colour illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 238
- Condition
- New
- SKU
- V9783642177958
- ISBN
- 9783642177958
Paperback
Condition: New
€ 66.70
€ 66.70