×


 x 

Shopping cart

Computing

Results 505 - 528 of 11256

Computing

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

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

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

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

€ 259.84

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

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

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

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

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

Paperback. Editor(s): Girard, Andre; Sanso, Brunilde. Num Pages: 381 pages, 18 black & white tables, biography. BIC Classification: KJT; PBU; UNH; UT; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 20. Weight in Grams: 587.
Format
Paperback
Publication date
2014
Publisher
Birkhauser Boston Inc United States
Number of pages
381
Condition
New
SKU
V9781461498148
ISBN
9781461498148
Paperback
Condition: New

€ 155.16

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

€ 196.55

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

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

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

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

€ 280.34

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

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

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

Paperback. Editor(s): Golden, Bruce L. (Golden, University of Maryland); Raghavan, S. (University of Maryland); Wasil, Edward A. (American University). Series: Operations Research/Computer Science Interfaces Series. Num Pages: 405 pages, 93 black & white tables, biography. BIC Classification: KJT; PBKS; PBU; UMA; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 623.
Format
Paperback
Publication date
2014
Publisher
Birkhauser Boston Inc United States
Number of pages
405
Condition
New
SKU
V9781461498513
ISBN
9781461498513
Paperback
Condition: New

€ 240.71

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

€ 199.29

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

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

€ 129.33

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

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

Subscribe to our newsletter

News on special offers, signed editions & more!