Computing
Results 10441 - 10464 of 10960
Computing
Hardback. Combines the proceedings of the IFIP Formal Description Techniques (FDTs) and "Protocol Specification, Testing and Verification" (PSTV) series. This book addresses FDTs applicable to communication protocols and distributed systems, with emphasis on standardised FDTs. Editor(s): Gotzhein, Reinhard; Bredereke, Jan. Series: IFIP Advances in Information and Communication Technology. Num Pages: 528 pages, biography. BIC Classification: PHDS; UTP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 923.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 528
- Condition
- New
- SKU
- V9780412794902
- ISBN
- 9780412794902
Hardback
Condition: New
€ 364.37
€ 364.37
Paperback. Constitutes the proceedings of the International Conference on Research and Education in Robotics held in La Ferte-Bernard, France, in May 2009. Editor(s): Gottscheber, Achim; Obdrzalek, David; Schmidt, Colin E. Series: Communications in Computer and Information Science. Num Pages: 173 pages, 105 black & white illustrations, biography. BIC Classification: TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 13. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 173
- Condition
- New
- SKU
- V9783642163692
- ISBN
- 9783642163692
Paperback
Condition: New
€ 66.20
€ 66.20
Hardback. Presents a collection of contributions from leading international researchers in the fields of dynamic systems, control theory, and modeling. This work features papers that include research topics such as: modeling of complex systems, power control in ad hoc wireless networks, adaptive control using multiple models, discrete events, and more. Editor(s): Gong, Weibo; Shi, Leyuan. Series: The International Series on Discrete Event Dynamic Systems. Num Pages: 304 pages, biography. BIC Classification: GPFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 1390.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 304
- Condition
- New
- SKU
- V9781402072086
- ISBN
- 9781402072086
Hardback
Condition: New
€ 128.03
€ 128.03
Paperback. Editor(s): Goldszmidt, German; Schonwalder, Jurgen. Series: IFIP Advances in Information and Communication Technology. Num Pages: 738 pages, biography. BIC Classification: THR; UB; UKN; UYF; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 38. Weight in Grams: 1116.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 738
- Condition
- New
- SKU
- V9781475755213
- ISBN
- 9781475755213
Paperback
Condition: New
€ 189.64
€ 189.64
Hardback. Contains the proceedings of the Eighth IFIP/IEEE International Symposium on Integrated Network Management (IM 2003), which was jointly sponsored by the International Federation for Information Processing (IFIP) and the IEEE Communications Society. Editor(s): Goldszmidt, German; Schonwalder, Jurgen. Series: IFIP Advances in Information and Communication Technology. Num Pages: 714 pages, biography. BIC Classification: UKR; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 39. Weight in Grams: 2660.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 714
- Condition
- New
- SKU
- V9781402074189
- ISBN
- 9781402074189
Hardback
Condition: New
€ 197.29
€ 197.29
Paperback. Constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. This title covers such topics as: model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, and automated test generation. Editor(s): Gogolla, Martin; Wolff, Burkhart. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 205 pages, 28 black & white illustrations, 20 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 205
- Condition
- New
- SKU
- V9783642217678
- ISBN
- 9783642217678
Paperback
Condition: New
€ 66.12
€ 66.12
Paperback. Constitutes the refereed proceedings of the 32nd Symposium of the German Association for Pattern Recognition, DAGM 2010, held in Darmstadt, Germany, in September 2010. Editor(s): Goesele, Michael; Roth, Stefan; Kuijper, Arjan; Schiele, Bernt; Schindler, Konrad. Series: Lecture Notes in Computer Science. Num Pages: 574 pages, 262 black & white illustrations, biography. BIC Classification: UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 30. Weight in Grams: 880.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 574
- Condition
- New
- SKU
- V9783642159855
- ISBN
- 9783642159855
Paperback
Condition: New
€ 69.99
€ 69.99
Diagrammatic Representation and Inference: 6th International Conferenc...
. Ed(S): Goel, Ashok K.; Jamnik, Mateja; Nara...
paperback. Constitutes the refereed proceedings of the 6th International Conference on Theory and Application of Diagrams, Diagrams 2010, held in Portland, OR, USA, in August 2010. Editor(s): Goel, Ashok K.; Jamnik, Mateja; Narayanan, N.Hari. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 358 pages, 141 black & white illustrations, biography. BIC Classification: UBJ; UKN; UNF; UYA; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 358
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642145995
- ISBN
- 9783642145995
Paperback
Condition: New
€ 67.80
€ 67.80
Hardback. Semi-infinite programming (SIP) deals with optimization problems in which either the number of decision variables or the number of constraints is finite. This book presents the state of the art in SIP in a suggestive way, bringing the powerful SIP tools close to the potential users in different scientific and technological fields. Editor(s): Goberna, Miguel Angel; Lopez, Marco A. Series: Nonconvex Optimization and Its Applications. Num Pages: 386 pages, biography. BIC Classification: PBT; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 23. Weight in Grams: 747.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 386
- Condition
- New
- SKU
- V9781402000324
- ISBN
- 9781402000324
Hardback
Condition: New
€ 277.47
€ 277.47
Paperback. Editor(s): Gobel, Stefan; Ma, Minhua; Baalsrud Hauge, Jannicke; Fradinho Oliveira, Manuel; Wiemeyer, Josef; Wendel, Viktor. Series: Lecture Notes in Computer Science. Num Pages: 210 pages, 72 black & white illustrations, biography. BIC Classification: JNV; UBJ; UKP; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 210
- Condition
- New
- SKU
- V9783319191256
- ISBN
- 9783319191256
Paperback
Condition: New
€ 63.12
€ 63.12
Information Systems and Technology in the International Office of the ...
. Ed(S): Glasson, Bernard; Vogel, Douglas R.;...
Paperback. Editor(s): Glasson, Bernard; Vogel, Douglas R.; Bots, Pieter W.G.; Nunamaker, Jay. Series: IFIP Advances in Information and Communication Technology. Num Pages: 396 pages, biography. BIC Classification: KJQ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 396
- Condition
- New
- SKU
- V9781475754896
- ISBN
- 9781475754896
Paperback
Condition: New
€ 239.23
€ 239.23
Sicherheit Und Rechtsverbindlichkeit Mobiler Agenten
. Ed(S): Gitter, Rotraud; Lotz, Volkmar; Pins...
Paperback / so. Editor(s): Gitter, Rotraud; Lotz, Volkmar; Pinsdorf, Ulrich; Rossnagel, Alexander. Series: Dud-Fachbeitr GE. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: UR; UY. Category: (G) General (US: Trade). Dimension: 210 x 148 x 16. Weight in Grams: 354.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Deutscher Universit?tsverlag United Kingdom
- Condition
- New
- SKU
- V9783824421732
- ISBN
- 9783824421732
Paperback
Condition: New
€ 100.87
€ 100.87
Hardback. Starting with the image acquisition end of a hypothetical processing chain, this book proceeds with analysis, recognition and interpretation of images, towards the representation of scenes by 3D geometry. It includes coverage of discussion of range cameras, multiview image processing, and, the structure-from-motion problem. Editor(s): Girod, Bernd; Greiner, Gunther; Niemann, Heinrich. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 479 pages, biography. BIC Classification: TTB; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 26. Weight in Grams: 857.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 479
- Condition
- New
- SKU
- V9780792378501
- ISBN
- 9780792378501
Hardback
Condition: New
€ 194.21
€ 194.21
Hardback. Yearbook of International Humanitarian Law 2012 Editor(s): Gill, Terry D.; Geiss, Robin; Heinsch, Robert; McCormack, Tim; Paulussen, Christophe; Dorsey, Jessica. Series: Yearbook of International Humanitarian Law. Num Pages: 264 pages, black & white illustrations. BIC Classification: LBBS; LBBZ; UBL. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 561.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- T.M.C. Asser Press Netherlands
- Number of pages
- 264
- Condition
- New
- SKU
- V9789067049238
- ISBN
- 9789067049238
Hardback
Condition: New
€ 122.72
€ 122.72
Paperback. Constitutes the proceedings of the Second International Workshop on Advances in Social Network and Analysis, held in Las Vegas, NV, USA in August 2008. Editor(s): Giles, C. Lee; Smith, Marc; Yen, John; Zhang, Haizheng. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 131 pages, 47 black & white illustrations, biography. BIC Classification: UGB; UKN; UKR; UND; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 8. Weight in Grams: 227.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 131
- Condition
- New
- SKU
- V9783642149283
- ISBN
- 9783642149283
Paperback
Condition: New
€ 65.72
€ 65.72
Scientific Methods for the Treatment of Uncertainty in Social Sciences
. Ed(S): Gil-Aluja, Jaime; Terceno, Antonio; ...
Paperback. Editor(s): Gil-Aluja, Jaime; Terceno, Antonio; Ferrer, Joan C.; Merigo, Jose M.; Linares, Salvador. Series: Advances in Intelligent Systems and Computing. Num Pages: 460 pages, 96 black & white illustrations, biography. BIC Classification: JHBC; PDR; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 460
- Condition
- New
- SKU
- V9783319197036
- ISBN
- 9783319197036
Paperback
Condition: New
€ 123.30
€ 123.30
Paperback. Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Giesl, Jurgen; Hahnle, Reiner. Series: Lecture Notes in Computer Science. Num Pages: 534 pages, 85 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 534
- Condition
- New
- SKU
- V9783642142024
- ISBN
- 9783642142024
Paperback
Condition: New
€ 130.67
€ 130.67
Model-Based Engineering of Embedded Real-Time Systems
. Ed(S): Giese, Holger; Karsai, Gabor; Lee, E...
Paperback. Describes novel and advanced approaches to solving problems arising in the domain of embedded real-time systems. This title is based on the GI-Dagstuhl research seminar MBEERTS (Modelling-Based Engineering of Embedded Real-Time Systems), which took place from November 4th to 9th in 2007, at Schloss Dagstuhl, Germany. Editor(s): Giese, Holger; Karsai, Gabor; Lee, Edward A.; Rumpe, Bernhard; Schatz, Bernhard. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 400 pages, 94 black & white illustrations, biography. BIC Classification: UGK; UMB; UMX; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642162763
- ISBN
- 9783642162763
Paperback
Condition: New
€ 68.15
€ 68.15
Hardback. Dictation systems, speech control of machinery, geographical information systems with speech input and output, and educational software with 'talking head' artificial tutorial agents are already on the market. This title presents some of the best practice in resource creation for speech input/output software and hardware. Editor(s): Gibbon, Dafydd; Mertins, Inge; Moore, Roger K. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 520 pages, biography. BIC Classification: UG; UN; UYQL; UYU. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 30. Weight in Grams: 2070.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 520
- Condition
- New
- SKU
- V9780792379041
- ISBN
- 9780792379041
Hardback
Condition: New
€ 256.77
€ 256.77
Hardback. Contains refereed papers based on lectures presented at the XIV International Conference on Mathematical Programming, held at Matrahaza, Hungary. This volume is suitable for researchers in operations research, economics, mathematics, physics, and engineering. Editor(s): Giannessi, Franco; Pardalos, Panos M.; Rapcsak, Tamas. Series: Applied Optimization. Num Pages: 280 pages, biography. BIC Classification: PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 17. Weight in Grams: 586.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 280
- Condition
- New
- SKU
- V9781402000096
- ISBN
- 9781402000096
Hardback
Condition: New
€ 128.55
€ 128.55
Hardback. Dedicated to the memory of Steven Vajda, one of the pioneers of mathematical programming, who was born in Hungary. This book provides readers with an insight into developments in mathematical programming. It is suitable for researchers and postgraduate students with an interest in the theoretical and algorithmic aspects of the field. Editor(s): Giannessi, Franco; Komlosi, Sandor; Rapcsak, Tamas. Series: Applied Optimization. Num Pages: 326 pages, biography. BIC Classification: PBT; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 642.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 326
- Condition
- New
- SKU
- V9780792350361
- ISBN
- 9780792350361
Hardback
Condition: New
€ 191.23
€ 191.23
Paperback. Constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrucken, Germany, March 26 - April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. Editor(s): Giannakopoulou, Dimitra; Orejas, Fernando. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 464 pages, 131 black & white illustrations, 41 colour illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ. 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
- 464
- Condition
- New
- SKU
- V9783642198106
- ISBN
- 9783642198106
Paperback
Condition: New
€ 68.47
€ 68.47
Evolutionary Computation, Machine Learning and Data Mining in Bioinfor...
. Ed(S): Giacobini, Mario; Vanneschi, Leonard...
Paperback. Constitutes the refereed proceedings of the 10th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2012, held in Malaga, Spain, in April 2012 co-located with the Evo 2012 events. Editor(s): Giacobini, Mario; Vanneschi, Leonardo; Bush, William S. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 255 pages, 76 black & white illustrations, biography. BIC Classification: PSA; UNF; UYQM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 255
- Condition
- New
- SKU
- V9783642290657
- ISBN
- 9783642290657
Paperback
Condition: New
€ 83.56
€ 83.56
Hardback. Editor(s): Ghaoui, Claude; Jain, Mitu; Bannore, Vivek; Jain, L. C. Series: Studies in Fuzziness and Soft Computing. Num Pages: 262 pages, 11 black & white tables, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 1260.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 262
- Condition
- New
- SKU
- V9783540250456
- ISBN
- 9783540250456
Hardback
Condition: New
€ 190.56
€ 190.56