.png){kind=logo}
Computing
Results 5737 - 5760 of 28610
Computing
Paperback. Editor(s): Mertins, Kai; Krause, Oliver; Schallock, Burkhard. Series: IFIP Advances in Information and Communication Technology. Num Pages: 596 pages, biography. BIC Classification: KJMV5; KJT; TGXT; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 31. Weight in Grams: 920.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 596
- Condition
- New
- SKU
- V9781475753349
- ISBN
- 9781475753349
Paperback
Condition: New
€ 252.52
€ 252.52
Hardback. Editor(s): Merx, Oliver; Bachem, Christian. Series: X.media.press. BIC Classification: UNH. Dimension: 235 x 155. Weight in Grams: 1570.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540430988
- ISBN
- 9783540430988
Hardback
Condition: New
€ 101.96
€ 101.96
Paperback / so. Editor(s): Merx, Oliver; Bachem, Christian. Series: X.Media.Press. Num Pages: black & white illustrations, bibliography. BIC Classification: KJS; UB; UDB; UF; UG; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 20. Weight in Grams: 535.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783642622762
- ISBN
- 9783642622762
Paperback
Condition: New
€ 95.44
€ 95.44
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010. Editor(s): Mery, Dominique; Merz, Stephan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 347 pages, 110 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 489.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 347
- Condition
- New
- SKU
- V9783642162640
- ISBN
- 9783642162640
Paperback
Condition: New
€ 67.41
€ 67.41
Paperback. Editor(s): Merz, Stephan; Blanchette, Jasmin Christian. Series: Lecture Notes in Computer Science. Num Pages: 519 pages, 88 black & white illustrations, biography. BIC Classification: UGK; UMB; UMZ; UYA; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 789.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 519
- Condition
- New
- SKU
- V9783319431437
- ISBN
- 9783319431437
Paperback
Condition: New
€ 68.71
€ 68.71
Paperback. Editor(s): Merz, Stephan; Pang, Jun. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 478 pages, 125 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 478
- Condition
- New
- SKU
- V9783319117362
- ISBN
- 9783319117362
Paperback
Condition: New
€ 68.35
€ 68.35
paperback. Editor(s): Meschtscherjakov, Alexander; Ruyter, Boris de; Fuchsberger, Verena; Murer, Martin; Tscheligi, Manfred. Series: Lecture Notes in Computer Science. Num Pages: 380 pages, 63 black & white illustrations, biography. BIC Classification: UBH; UBJ; UKN; UNH; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 20. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 380
- Condition
- New
- Edition
- 1st ed. 2016
- SKU
- V9783319315096
- ISBN
- 9783319315096
Paperback
Condition: New
€ 67.48
€ 67.48
Paperback. Editor(s): Meseguer, Jose; Iida, Shusaku; Ogata, Kazuhiro. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 679 pages, 115 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 35. Weight in Grams: 1027.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 679
- Condition
- New
- SKU
- V9783642546235
- ISBN
- 9783642546235
Paperback
Condition: New
€ 70.12
€ 70.12
Hardback. Describing the status of major parts of the theory of aggregation operators, this book examines potential areas for its applications. Self-contained papers present material on selected topics, including results and ideas which show the streaming of aggregation theory and potential applications. Editor(s): Mesiar, Radko; Calvo, Sanchez Tomasa; Mayor, Gaspar. Series: Studies in Fuzziness and Soft Computing. Num Pages: 353 pages, 9 black & white tables, biography. BIC Classification: PBWX; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 1550.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 353
- Condition
- New
- SKU
- V9783790814682
- ISBN
- 9783790814682
Hardback
Condition: New
€ 201.32
€ 201.32
Natural Language Processing and Information Systems
. Ed(S): Metais, Elisabeth; Meziane, Farid; S...
Paperback. Editor(s): Metais, Elisabeth; Meziane, Farid; Sugumaran, Vijayan; Saraee, Mohamad; Vadera, Sunil. Series: Lecture Notes in Computer Science. Num Pages: 503 pages, 100 black & white illustrations, biography. BIC Classification: UNF; UNH; UYA; UYQ; UYQL. Category: (G) General (US: Trade). Dimension: 235 x 155 x 26. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 503
- Condition
- New
- SKU
- V9783319417530
- ISBN
- 9783319417530
Paperback
Condition: New
€ 68.59
€ 68.59
High Performance Computing Systems and Applications
. Ed(S): Mewhort, Douglas J. K.; Cann, Natali...
Paperback. Constitutes the refereed post-conference proceedings of the 23rd International Symposium on High Performance Computing Systems and Applications, HPCS 2009, held in Kingston, Canada, in June 2009. Editor(s): Mewhort, Douglas J. K.; Cann, Natalie M.; Slater, Gary W.; Naughton, Thomas J. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 431 pages, 205 black & white illustrations, biography. BIC Classification: UKR; UMB; UMZ; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 23. Weight in Grams: 664.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 431
- Condition
- New
- SKU
- V9783642126581
- ISBN
- 9783642126581
Paperback
Condition: New
€ 68.32
€ 68.32
Paperback. Editor(s): Mey, Dieter an; Alexander, Michael; Paolo, Bientinesi; Cannataro, Mario; Clauss, Carsten; Costan, Alexandru; Kecskemeti, Gabor; Morin, Christine; Ricci, Laura; Sahuquillo, Julio. Series: Lecture Notes in Computer Science. Num Pages: 930 pages, 337 black & white illustrations, biography. BIC Classification: UMB; UMZ; UN; UT; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 47. Weight in Grams: 1401.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 930
- Condition
- New
- SKU
- V9783642544194
- ISBN
- 9783642544194
Paperback
Condition: New
€ 133.20
€ 133.20
Model Checking and Artificial Intelligence: 6th International Workshop...
. Ed(S): Meyden, Ron Van Der; Smaus, Jan-Geor...
paperback. Presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, that was held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop. This book contains an extended abstract of the invited talk held at the workshop. Editor(s): Meyden, Ron Van Der; Smaus, Jan-Georg. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 142 pages, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 231.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 142
- Condition
- New
- SKU
- V9783642206733
- ISBN
- 9783642206733
Paperback
Condition: New
€ 65.50
€ 65.50
Paperback. Editor(s): Meyer, Albert R.; Taitslin, Michael A. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 16. Weight in Grams: 950.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540512370
- ISBN
- 9783540512370
Paperback
Condition: New
€ 70.20
€ 70.20
Paperback. Editor(s): Meyer, Bertrand; Nordio, Martin. Series: Lecture Notes in Computer Science. Num Pages: 198 pages, 29 colour illustrations, biography. BIC Classification: UMZ. Category: (G) General (US: Trade). Dimension: 158 x 234 x 15. Weight in Grams: 320.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 198
- Condition
- New
- SKU
- V9783319284057
- ISBN
- 9783319284057
Paperback
Condition: New
€ 55.88
€ 55.88
Paperback. Contains selected lecture notes from the LASER summer schools 2008-2010, which focused on concurrency and correctness in 2008, software testing in 2009, and empirical software engineering, in 2010. Editor(s): Meyer, Bertrand; Nordio, Martin. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 220 pages, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 220
- Condition
- New
- SKU
- V9783642252303
- ISBN
- 9783642252303
Paperback
Condition: New
€ 82.80
€ 82.80
Paperback. Editor(s): Meyer, Bertrand; Nordio, Martin. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 183 pages, 31 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 183
- Condition
- New
- SKU
- V9783642357459
- ISBN
- 9783642357459
Paperback
Condition: New
€ 61.41
€ 61.41
Paperback. Editor(s): Meyer, Gereon; Beiker, Sven. Series: Lecture Notes in Mobility. Num Pages: 242 pages, 5 black & white illustrations, 44 colour illustrations, biography. BIC Classification: RBP; THRB; TJFM1; TRC; UYQ. 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. 2015
- Number of pages
- 242
- Condition
- New
- SKU
- V9783319386690
- ISBN
- 9783319386690
Paperback
Condition: New
€ 193.33
€ 193.33
Hardback. Editor(s): Meyer, Gereon; Beiker, Sven. Series: Lecture Notes in Mobility. Num Pages: 242 pages, 5 black & white illustrations, 44 colour illustrations, biography. BIC Classification: RBP; THRB; TJFM1; TRC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 532.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 242
- Condition
- New
- SKU
- V9783319190778
- ISBN
- 9783319190778
Hardback
Condition: New
€ 194.46
€ 194.46
Paperback. Based on the Eighth International Workshop on Agent Theories, Architectures and Languages, held in Seattle in 2001, these 31 papers cover agent modeling; formal specification and verification of agents; agent architectures and languages; agent communication; collaborative planning and more. Editor(s): Meyer, J.-J Ch.; Tambe, Milind. Series: Lecture Notes in Computer Science. Num Pages: 480 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 24. Weight in Grams: 668.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 480
- Condition
- New
- SKU
- V9783540438588
- ISBN
- 9783540438588
Paperback
Condition: New
€ 73.66
€ 73.66
Hardback. Together with volume 6, this work is devoted to the topics of Reasoning and Dynamics, covering both "Dynamics of Reasoning" and "Reasoning about Dynamics". It presents work done in this context and focuses on "reasoning about dynamics", viz how (human and artificial) agents reason about (systems in) dynamic environments in order to control them. Editor(s): Meyer, J.-J Ch.; Treur, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 479 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 868.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 479
- Condition
- New
- SKU
- V9781402008344
- ISBN
- 9781402008344
Hardback
Condition: New
€ 259.12
€ 259.12
Hardback. Focussing on the dynamics of reasoning processes, this book covers both the topics of 'Dynamics of Reasoning', where reasoning is viewed as a process, and 'Reasoning about Dynamics', which must be understood as pertaining to how both designers of, and agents within dynamic systems may reason about these systems. Editor(s): Meyer, J.-J Ch.; Truer, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 386 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 1610.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 386
- Condition
- New
- SKU
- V9781402001932
- ISBN
- 9781402001932
Hardback
Condition: New
€ 135.45
€ 135.45
paperback. Editor(s): Meyer, John F. (University of Michigan, Ann Arbor, USA); Schlichting, Richard D. Series: Dependable Computing and Fault-Tolerant Systems. Num Pages: 439 pages, biography. BIC Classification: TRC; UMA; UMZ; UYQE. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 23. Weight in Grams: 780.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 439
- Condition
- New
- SKU
- V9783709192009
- ISBN
- 9783709192009
Paperback
Condition: New
€ 69.10
€ 69.10
Paperback. Editor(s): Meyer, John-Jules Ch.; Treur, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 386 pages, biography. BIC Classification: HPL; PBC; PBT; UYQ. Category: (P) Professional & Vocational. Dimension: 279 x 210 x 20. Weight in Grams: 972.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2002
- Number of pages
- 386
- Condition
- New
- SKU
- V9789048159031
- ISBN
- 9789048159031
Paperback
Condition: New
€ 131.22
€ 131.22