Computer programming / software development
Results 4141 - 4160 of 8591
Computer programming / software development
Paperback. Editor(s): Klein, Gerwin; Gamboa, Ruben. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 577 pages, 90 black & white illustrations, biography. BIC Classification: UMB; UMZ; UR; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 878.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 577
- Condition
- New
- SKU
- V9783319089690
- ISBN
- 9783319089690
Paperback
Condition: New
€ 66.38
€ 66.38
Paperback. Constitutes the refereed proceedings of the Second International onference on Interactive Theorem proving, ITP 2011 that was held in Berg en Dal, The Netherlands. Editor(s): Eekelen, Marko van; Geuvers, Herman; Schmaltz, Julien; Wiedijk, Freek. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 394 pages, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 394
- Condition
- New
- SKU
- V9783642228629
- ISBN
- 9783642228629
Paperback
Condition: New
€ 65.24
€ 65.24
paperback. Editor(s): Beringer, Lennart; Felty, Amy. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 430 pages, 37 black & white illustrations, biography. BIC Classification: UMZ; UR; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 603.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 430
- Condition
- New
- SKU
- V9783642323461
- ISBN
- 9783642323461
Paperback
Condition: New
€ 65.52
€ 65.52
Paperback. Editor(s): Blazy, Sandrine; Paulin-Mohring, Christine; Pichardie, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 510 pages, 73 black & white illustrations, biography. BIC Classification: PBCD; UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 777.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 510
- Condition
- New
- SKU
- V9783642396335
- ISBN
- 9783642396335
Paperback
Condition: New
€ 65.93
€ 65.93
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
€ 126.58
€ 126.58
Hardback. Covers both algorithms and technologies of interactive videos. This book contains scientific contributions made by a number of pioneering scientists and experts from around the globe. It introduces the reader to interactive video and video summarization and presents effective methodologies for automatic abstraction of a single video sequence. Editor(s): Hammoud, Riad I. (Delphi Automotive Systems Delco). Series: Signals and Communication Technology. Num Pages: 250 pages, 8 black & white tables, biography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 553.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 250
- Condition
- New
- SKU
- V9783540332145
- ISBN
- 9783540332145
Hardback
Condition: New
€ 126.62
€ 126.62
Paperback. Editor(s): Hammoud, Riad I. (Delphi Automotive Systems Delco). Series: Signals and Communication Technology. Num Pages: 250 pages, 8 black & white tables, biography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2006
- Number of pages
- 250
- Condition
- New
- SKU
- V9783642069765
- ISBN
- 9783642069765
Paperback
Condition: New
€ 122.53
€ 122.53
Paperback. Editor(s): Endres-Niggemeyer, Brigitte; Herrmann, Thomas A.; Kobsa, Alfred; Rosner, Dietmar. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 175 pages, 8 black & white illustrations, biography. BIC Classification: KCP; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 10. Weight in Grams: 345.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 175
- Condition
- New
- SKU
- V9783540524137
- ISBN
- 9783540524137
Paperback
Condition: New
€ 79.01
€ 79.01
Paperback. Series: Advances in Database Systems. Num Pages: 239 pages, biography. BIC Classification: KJQ; UKN; UMB; UNH. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 239
- Condition
- New
- SKU
- V9781461375463
- ISBN
- 9781461375463
Paperback
Condition: New
€ 184.11
€ 184.11
Hardback. Introduces readers of different backgrounds to the selected algorithms. This book is designed to meet the needs of a professional audience composed of practitioners and researchers in science and technology. It is also suitable for senior undergraduate and graduate-level students in computer science, as a secondary text. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 266 pages, biography. BIC Classification: UMB; UMW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 1270.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 266
- Condition
- New
- SKU
- V9781402075131
- ISBN
- 9781402075131
Hardback
Condition: New
€ 189.71
€ 189.71
Paperback / so. Series: Anwendung Von Mikrocomputern. Num Pages: black & white illustrations, bibliography. BIC Classification: UMX; UMZ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 16. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 1986
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Condition
- New
- SKU
- V9783528044411
- ISBN
- 9783528044411
Paperback
Condition: New
€ 69.11
€ 69.11
Hardcover. Helps to learn to write C++ programs by interfacing a computer to a wide range of popular and fundamental real-world technologies. Num Pages: 489 pages, 58 black & white tables, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 276 x 203 x 36. Weight in Grams: 1401.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2006th Edition
- Number of pages
- 501
- Condition
- New
- SKU
- V9783540253785
- ISBN
- 9783540253785
Hardback
Condition: New
€ 70.87
€ 70.87
Hardback. Offers an overview of the research in interior point methods. This book gives an overview of basic variants of interior point algorithms for linear programming. It also deals with nonlinear programming. It is useful for researchers and graduate students in mathematical programming, operations research, management science, and combinatorics. Editor(s): Terlaky, Tamas. Series: Applied Optimization. Num Pages: 552 pages, biography. BIC Classification: PBT; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 30. Weight in Grams: 951.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 552
- Condition
- New
- SKU
- V9780792342014
- ISBN
- 9780792342014
Hardback
Condition: New
€ 366.01
€ 366.01
Hardback. Covers the implications of interior techniques for the field of mathematical programming. This book provides theoretical as well as computational results, explains the intuition behind the main ideas, gives examples as well as proofs, and contains a bibliography. Series: Applied Optimization. Num Pages: 294 pages, biography. BIC Classification: PBU; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 597.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 294
- Condition
- New
- SKU
- V9780792344308
- ISBN
- 9780792344308
Hardback
Condition: New
€ 191.59
€ 191.59
Paperback. Written by the authors of the bestselling Llama book, Learning Perl, and updated for Perl 5.14, this book offers a gentle but thorough introduction to intermediate programming in Perl. Num Pages: 376 pages, Illustrations. BIC Classification: UMW. Category: (XV) Technical / Manuals. Dimension: 231 x 177 x 21. Weight in Grams: 668.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- O´Reilly Media United States
- Edition
- Second
- Number of pages
- 376
- Condition
- New
- SKU
- V9781449393090
- ISBN
- 9781449393090
Paperback
Condition: New
€ 47.99€ 45.28
€ 47.99
€ 45.28
Paperback. Constitutes the refereed proceedings of the International Symposium on Fundamentals of Software Engineering, FSEN 2007, held in Tehran, Iran, April 17-19, 2007. This book presents 32 revised papers that carefully reviewed and selected from 73 submissions. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 465 pages, biography. BIC Classification: UMZ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 24. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 465
- Condition
- New
- SKU
- V9783540756972
- ISBN
- 9783540756972
Paperback
Condition: New
€ 65.53
€ 65.53
Paperback. Editor(s): Dezani-Ciancaglini, M.; Montanari, U. Series: Lecture Notes in Computer Science. Num Pages: 424 pages, biography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 1982
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 424
- Condition
- New
- SKU
- V9783540114949
- ISBN
- 9783540114949
Paperback
Condition: New
€ 63.71
€ 63.71
Paperback. Editor(s): Ershov, A.; Nepomniaschy, V.A. Series: Lecture Notes in Computer Science. Num Pages: 415 pages, biography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 250 x 170 x 21. Weight in Grams: 586.
- Format
- Paperback
- Publication date
- 1974
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 415
- Condition
- New
- SKU
- V9783540067207
- ISBN
- 9783540067207
Paperback
Condition: New
€ 63.90
€ 63.90
Paperback. This volume provides a good overview of localization techniques in general, and covers all aspects of VS .NET's localization capabilities. It includes a full-featured resource editor written in both C# and VB .NET. Num Pages: 371 pages, 52 black & white illustrations, biography. BIC Classification: UMX. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 191 x 24. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- APress United States
- Number of pages
- 371
- Condition
- New
- SKU
- V9781590590027
- ISBN
- 9781590590027
Paperback
Condition: New
€ 46.99€ 39.68
€ 46.99
€ 39.68
Paperback. Editor(s): Di Fatta, Giuseppe; Fortino, Giancarlo; Li, Wenfeng; Pathan, Mukaddim; Stahl, Frederic; Guerrieri, Antonio. Series: Lecture Notes in Computer Science. Num Pages: 319 pages, 113 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH; UR. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 319
- Condition
- New
- SKU
- V9783319232362
- ISBN
- 9783319232362
Paperback
Condition: New
€ 63.97
€ 63.97