Computing
Results 11021 - 11040 of 11273
Computing
Paperback. This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory. Editor(s): Callaghan, P.M.; Luo, Z.; McKinna, J.; Pollack, R. Series: Lecture Notes in Computer Science. Num Pages: 248 pages, biography. BIC Classification: PBCD; UMC; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 13. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540432876
- ISBN
- 9783540432876
Paperback
Condition: New
€ 66.38
€ 66.38
paperback. A comprehensive reference of state-of-the-art efforts and early results in the area of autonomic networking and communication. This special issue explores different ways that autonomic principles can be applied to existing and future networks. Editor(s): Calisti, Monique; Meer, Sven van der; Strassner, John. Series: Whitestein Series in Software Agent Technologies and Autonomic Computing. Num Pages: 190 pages, biography. BIC Classification: UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 11. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Birkhäuser Switzerland
- Edition
- 2008th Edition
- Number of pages
- 190
- Condition
- New
- SKU
- V9783764385682
- ISBN
- 9783764385682
Paperback
Condition: New
€ 81.27
€ 81.27
Hardback. Informs the reader of the developments and trends in system synthesis. This is a field of active research aiming to supply efficient techniques for developing safe systems in various areas, covering control of embedded and manufacturing systems, distributed implementation of systems and protocols, and hardware circuits. Editor(s): Caillaud, Benoit; Darondeau, Philippe; Lavagno, Luciano; Xie, Xiaolan. Num Pages: 220 pages, biography. BIC Classification: GPFC; T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 220
- Condition
- New
- SKU
- V9780792376392
- ISBN
- 9780792376392
Hardback
Condition: New
€ 127.74
€ 127.74
Paperback. Editor(s): Cacciabue, Carlo; Papazoglou, Ioannis A. Num Pages: 744 pages, biography. BIC Classification: UDH. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 40. Weight in Grams: 1199.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 744
- Condition
- New
- SKU
- V9781447134114
- ISBN
- 9781447134114
Paperback
Condition: New
€ 126.82
€ 126.82
Paperback. Editor(s): Caballero, Juan; Bodden, Eric. Series: Lecture Notes in Computer Science. Num Pages: 279 pages, 64 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; URY; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 279
- Condition
- New
- SKU
- V9783319308050
- ISBN
- 9783319308050
Paperback
Condition: New
€ 63.70
€ 63.70
Paperback. Constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, that was held in Limerick, Ireland. Editor(s): Butler, Michael; Schulte, Wolfram. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 450 pages, 83 black & white illustrations, 27 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642214363
- ISBN
- 9783642214363
Paperback
Condition: New
€ 68.83
€ 68.83
Paperback. The papers in this volume, from the Second International Symposium on Generative and Component-Based Software Engineering, Germany, October 2000, offer topical sections on aspects and patterns, models and paradigms, components and architectures, and Mixin-based composition and metaprogramming. Editor(s): Butler, Greg; Jarzabek, Stan. Series: Lecture Notes in Computer Science. Num Pages: 210 pages, biography. BIC Classification: UKR; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 316.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 210
- Condition
- New
- SKU
- V9783540425786
- ISBN
- 9783540425786
Paperback
Condition: New
€ 65.61
€ 65.61
Paperback. This book systematically examines problems posed by the need for security and privacy in implantable medical devices. Coverage includes vulnerabilities and defense across multiple levels, including public key cryptography, block ciphers and digital signatures. Editor(s): Burleson, Wayne; Carrara, Sandro. Num Pages: 210 pages, 22 black & white illustrations, 81 colour illustrations, 15 black & white tables, biograp. BIC Classification: MQW; TJFC; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 210
- Condition
- New
- SKU
- V9781493943371
- ISBN
- 9781493943371
Paperback
Condition: New
€ 142.28
€ 142.28
Paperback. Editor(s): Bunt, Harry; Tomita, Masaru. Series: Text, Speech and Language Technology. Num Pages: 432 pages, biography. BIC Classification: UYQL. Category: (G) General (US: Trade). Dimension: 235 x 155 x 22. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 432
- Condition
- New
- SKU
- V9781402003714
- ISBN
- 9781402003714
Paperback
Condition: New
€ 124.67
€ 124.67
Hardback. A collection of papers written by researchers in the field of computational semantics. It is suitable for those linguists, computer scientists, and logicians who want to know more about the algorithmic realization of meaning in natural language and about what is happening in this field of research. Editor(s): Bunt, Harry; Muskens, Reinhard. Series: Studies in Linguistics and Philosophy. Num Pages: 369 pages, biography. BIC Classification: CFG; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 703.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 369
- Condition
- New
- SKU
- V9780792361084
- ISBN
- 9780792361084
Hardback
Condition: New
€ 194.37
€ 194.37
Paperback. This work constitutes the refereed post-proceedings of the Second International Conference on Cooperative Multimodal Communication, 1998. It covers topical sections on multimodal generation, multimodal co-operation, multimodal interpretation, and multimedia platforms and test environments. Editor(s): Bunt, Harry; Beun, Robbert-Jan. Series: Lecture Notes in Computer Science. Num Pages: 256 pages, 51 black & white illustrations, 3 colour illustrations, 4 black & white tables, biography. BIC Classification: UL; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 14. Weight in Grams: 452.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 256
- Condition
- New
- SKU
- V9783540428060
- ISBN
- 9783540428060
Paperback
Condition: New
€ 64.07
€ 64.07
Information Age Economy: 5. Internationale Tagung Wirtschaftsinformati...
. Ed(S): Buhl, Hans U.; Huther, Andreas; Reit...
hardcover. Editor(s): Buhl, Hans U.; Huther, Andreas; Reitwiesner, Bernd. Num Pages: 986 pages, 34 black & white tables, biography. BIC Classification: KJE; UB; UF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 52. Weight in Grams: 1670.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Physica Germany
- Number of pages
- 986
- Condition
- New
- Edition
- 2001st Edition
- SKU
- V9783790814279
- ISBN
- 9783790814279
Hardback
Condition: New
€ 195.45
€ 195.45
S-BPM ONE: Setting the Stage for Subject-Oriented Business Process Man...
. Ed(S): Buchwald, Hagen; Fleischmann, Albert...
Paperback. Constitutes the refereed proceedings of the First Workshop on Subject-Oriented Business Process Management, S-BPM ONE 2009, held in Karlsruhe, Germany, in October 2009. This title features the papers that are organized in topical sections on visionary engagements; essential capabilities; and, penetration perspectives. Editor(s): Buchwald, Hagen; Fleischmann, Albert; Seese, Detlef G.; Stary, Christian. Series: Communications in Computer and Information Science. Num Pages: 149 pages, 63 black & white illustrations, biography. BIC Classification: UKR; UMX; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 249.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 149
- Condition
- New
- SKU
- V9783642159145
- ISBN
- 9783642159145
Paperback
Condition: New
€ 65.53
€ 65.53
Paperback / so. Editor(s): Bub, Udo; Wolfenstetter, Klaus-Dieter. Num Pages: 242 pages, black & white illustrations, bibliography. BIC Classification: UR. Category: (G) General (US: Trade). Dimension: 244 x 170 x 13. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Vieweg+teubner Verlag United States
- Number of pages
- 242
- Condition
- New
- SKU
- V9783834817297
- ISBN
- 9783834817297
Paperback
Condition: New
€ 48.83
€ 48.83
hardcover. This text is a comprehensive publication on adaptive hypertext and hypermedia. It is oriented primarily towards researchers and practitioners in the fields of hypertext and hypermedia, information systems, and personalized systems. Editor(s): Brusilovsky, Peter; Kobsa, Alfred; Vassileva, Julita. Num Pages: 252 pages, biography. BIC Classification: UDB; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 297 x 210 x 15. Weight in Grams: 553.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Reprinted from USER MODELING AND USER-ADAPTED INTE
- Number of pages
- 252
- Condition
- New
- SKU
- V9780792348436
- ISBN
- 9780792348436
Hardback
Condition: New
€ 128.27
€ 128.27
Hardback. Editor(s): Brunst, Holger; Muller, Matthias S.; Nagel, Wolfgang E.; Resch, Michael M. Num Pages: 156 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 431.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 156
- Condition
- New
- SKU
- V9783642314759
- ISBN
- 9783642314759
Hardback
Condition: New
€ 128.15
€ 128.15
Paperback. Editor(s): Brunnstein, Klaus; Berleur, Jacques. Series: IFIP Advances in Information and Communication Technology. Num Pages: 344 pages, biography. BIC Classification: GT; HPQ; JHB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed.
- Number of pages
- 344
- Condition
- New
- SKU
- V9781475754292
- ISBN
- 9781475754292
Paperback
Condition: New
€ 122.64
€ 122.64
Hardback. Presents different views about how terrorist actions influence political and social discussions and decisions, and covers questions related to legitimacy and power in the Information Society. Editor(s): Brunnstein, Klaus; Berleur, Jacques. Series: IFIP Advances in Information and Communication Technology. Num Pages: 344 pages, biography. BIC Classification: UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 664.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 344
- Condition
- New
- SKU
- V9781402071850
- ISBN
- 9781402071850
Hardback
Condition: New
€ 129.71
€ 129.71
Automated Reasoning with Analytic Tableaux and Related Methods
. Ed(S): Brunnler, Kai; Metcalfe, George
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011 that was held in Bern, Switzerland. Editor(s): Brunnler, Kai; Metcalfe, George. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 279 pages, 36 black & white illustrations, 4 colour illustrations, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642221187
- ISBN
- 9783642221187
Paperback
Condition: New
€ 67.20
€ 67.20
Paperback. Constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. Editor(s): Bruni, Roberto; Dingel, Juergen. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 349 pages, 40 black & white illustrations, 16 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 349
- Condition
- New
- SKU
- V9783642214608
- ISBN
- 9783642214608
Paperback
Condition: New
€ 67.44
€ 67.44