×


 x 

Shopping cart

Computer programming / software development

Results 937 - 960 of 1982

Computer programming / software development

Paperback. Constitutes the proceedings of the 10th Conference on Transport Systems Telematics, held in Katowice-Ustron, in October 2010 Editor(s): Mikulski, Jerzy. Series: Communications in Computer and Information Science. Num Pages: 470 pages, 198 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UND. Category: (P) Professional & Vocational. Dimension: 204 x 214 x 25. Weight in Grams: 712.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
470
Condition
New
SKU
V9783642164712
ISBN
9783642164712
Paperback
Condition: New

€ 129.99

paperback. Constitutes the refereed post-proceedings of the 21st International Workshop on Implementation and Applications of Functional Languages, IFL 2000, held in South Orange, NJ, USA, in September 2009. Editor(s): Morazan, Marco T.; Scholz, Sven-Bodo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 237 pages, 107 black & white illustrations, biography. BIC Classification: UMB; UMJ; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 376.
Format
Paperback
Publication date
2010
Publisher
Springer Germany
Edition
2010th Edition
Number of pages
237
Condition
New
SKU
V9783642164774
ISBN
9783642164774
Paperback
Condition: New

€ 66.70

Paperback. Constitutes the proceedings of the Third Conference on Human-Centred Software Engineering (HCSE 2010) held in Reykjavik, Iceland, in October 2010. Editor(s): Bernhaupt, Regina; Forbrig, Peter; Gulliksen, Jan; Larusdottir, Marta Kristin. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 223 pages, 90 black & white illustrations, biography. BIC Classification: UBJ; UKN; UKR; UMZ; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 152 x 13. Weight in Grams: 295.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
223
Condition
New
SKU
V9783642164873
ISBN
9783642164873
Paperback
Condition: New

€ 66.17

Paperback. Constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2010, held in Natal, Brazil, in November 2010. Editor(s): Petrenko, Alexandre; Simao, Adenilso; Maldonado, Jose Carlos. Series: Lecture Notes in Computer Science. Num Pages: 267 pages, 76 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 181 x 236 x 16. Weight in Grams: 600.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
267
Condition
New
SKU
V9783642165726
ISBN
9783642165726
Paperback
Condition: New

€ 66.96

Paperback. Constitutes the refereed proceedings of the 7th International Conference on Autonomic and Trusted Computing, ATC 2010, held in Xi'an, China, in October 2010. Editor(s): Xie, Bing; Branke, Juergen; Sadjadi, S. Masoud; Zhang, Daqing; Zhou, Xingshe. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 328 pages, 112 black & white illustrations, biography. BIC Classification: UB; UKN; UMZ; UNH; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 417.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
328
Condition
New
SKU
V9783642165757
ISBN
9783642165757
Paperback
Condition: New

€ 66.96

Paperback. Constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St Julians, Malta, in November 2010. Editor(s): Falcone, Y.; Finkbeiner, B.; Havelund, K.; Lee, I-.der; Pace, G.; Rosu, Grigore; Sokolsky, Oleg; Tilmann, N.; Barringer, H. Series: Lecture Notes in Computer Science. Num Pages: 492 pages, 145 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 757.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
492
Condition
New
SKU
V9783642166112
ISBN
9783642166112
Paperback
Condition: New

€ 69.19

Paperback. Constitutes the refereed proceedings of the 15th iberoamerican Congress on Pattern Recognition, CIARP 2010, held in Sao Paulo, Brazil, in November 2010. Editor(s): Bloch, Isabelle; Cesar, Roberto Marcond, Jr. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 571 pages, 210 black & white illustrations, biography. BIC Classification: UGN; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 236 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
571
Condition
New
SKU
V9783642166860
ISBN
9783642166860
Paperback
Condition: New

€ 69.99

Paperback. A book that constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, that was held in Shanghai, China. Editor(s): Qin, Shengchao. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 310 pages, 17 black & white illustrations, biography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 239 x 155 x 18. Weight in Grams: 431.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
310
Condition
New
SKU
V9783642166891
ISBN
9783642166891
Paperback
Condition: New

€ 67.05

Paperback. A book that constitutes the refereed proceedings of the First International Conference on Computational Systems-Biology and Bioinformatics, CSBio 2010, that was held in Bangkok, Thailand. Editor(s): Chan, Jonathan H.; Ong, Yew Soon; Cho, Sung-Bae. Series: Communications in Computer and Information Science. Num Pages: 227 pages, 91 black & white illustrations, biography. BIC Classification: PSA; UGK; UMB; UNF; UYQP. Category: (P) Professional & Vocational. Dimension: 237 x 186 x 14. Weight in Grams: 367.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
227
Condition
New
SKU
V9783642167492
ISBN
9783642167492
Paperback
Condition: New

€ 66.64

Paperback. Editor(s): Proper, Erik; Lankhorst, Marc; Schonherr, Marten; Barjis, Joseph; Overbeek, Sietse. Series: Lecture Notes in Business Information Processing. Num Pages: 101 pages, 25 black & white illustrations, biography. BIC Classification: KJQ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 8. Weight in Grams: 177.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
101
Condition
New
SKU
V9783642168185
ISBN
9783642168185
Paperback
Condition: New

€ 65.40

Paperback. Editor(s): Ors Yalcin, Siddika Berna. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 271 pages, 72 black & white illustrations, biography. BIC Classification: TJKR; UKN; UMB; URY; UYQE; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 18. Weight in Grams: 440.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
271
Condition
New
SKU
V9783642168215
ISBN
9783642168215
Paperback
Condition: New

€ 67.12

Paperback. Editor(s): Echizen, Isao; Kunihiro, Noboru; Sasaki, Ryoichi. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 371 pages, 83 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 576.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
371
Condition
New
SKU
V9783642168246
ISBN
9783642168246
Paperback
Condition: New

€ 68.00

paperback. Editor(s): Brennan, Rob; Fleck, Joel, II; Meer, Sven van der. Series: Lecture Notes in Computer Science. Num Pages: 125 pages, 46 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 10. Weight in Grams: 218.
Format
Paperback
Publication date
2010
Publisher
Springer Germany
Number of pages
125
Condition
New
Edition
2010th Edition
SKU
V9783642168352
ISBN
9783642168352
Paperback
Condition: New

€ 65.66

Paperback. Editor(s): Dix, Jurgen; Fisher, Michael; Novak, Peter. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 197 pages, 40 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 318.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
197
Condition
New
SKU
V9783642168666
ISBN
9783642168666
Paperback
Condition: New

€ 66.32

paperback. Editor(s): Dong, Jin Song; Zhu, Huibiao. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 712 pages, 202 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1016.
Format
Paperback
Publication date
2010
Publisher
Springer Germany
Edition
2010th Edition
Number of pages
712
Condition
New
SKU
V9783642169007
ISBN
9783642169007
Paperback
Condition: New

€ 131.97

Paperback. Editor(s): Ruyter, Boris de; Wichert, Reiner; Keyson, David V.; Markopoulos, Panos; Streitz, Norbert A.; Divitini, Monica; Georgantas, Nikolaos; Gomez, Antonio Mana. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and Hci. Num Pages: 371 pages. BIC Classification: UBJ; UKN; UKR; UMZ; UYQ; UYZ. Category: (P) Professional & Vocational. .
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
371
Condition
New
SKU
V9783642169168
ISBN
9783642169168
Paperback
Condition: New

€ 65.96

Paperback. Constitutes the proceedings of the Second International Workshop on Motion in Games, held in Utrecht, The Netherlands, in November 2010. This book includes papers that are organized in topical sections on body simulation, learning movements, body control, motion planning, physically-based character control, crowds and formation, and geometry. Editor(s): Boulic, Ronan; Chrysanthou, Yiorgos; Komura, Taku. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 436 pages, 210 black & white illustrations, biography. BIC Classification: UGK; UGN; UKR; UMB; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 676.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
436
Condition
New
SKU
V9783642169571
ISBN
9783642169571
Paperback
Condition: New

€ 68.66

Paperback. Constitutes the revised papers of the 5th European Conference on Smart Sensing and Context, EuroSSC 2010, held in Passau, Germany, in November 2010. This volume includes papers that address topics such as applications; sensing; systems support; and higher level modeling. Editor(s): Lukowicz, Paul; Kunze, Kai; Kortuem, Gerd. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 203 pages, 75 black & white illustrations, biography. BIC Classification: UBJ; UKN; UKR; UMZ; UT; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 10. Weight in Grams: 340.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
203
Condition
New
SKU
V9783642169816
ISBN
9783642169816
Paperback
Condition: New

€ 66.46

Paperback. All modern industries rely on large and complex software systems. This survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009. Editor(s): Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University); Hallerstede, Stefan; Leuschel, Michael. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 339 pages, 56 black & white illustrations, 55 colour illustrations, biography. BIC Classification: UL; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 499.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
339
Condition
New
SKU
V9783642170706
ISBN
9783642170706
Paperback
Condition: New

€ 67.49

Paperback. Constitutes the refereed proceedings of the 20th Irish Conference on Artificial Intelligence and Cognitive Science, AICS 2009, held in Dublin, Ireland in August 2009. Editor(s): Coyle, Lorcan; Freyne, Jill. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 293 pages, 108 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 15. Weight in Grams: 458.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
293
Condition
New
SKU
V9783642170799
ISBN
9783642170799
Paperback
Condition: New

€ 67.23

Paperback. Presents foundational and practical issues in programming languages and systems and features in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, and safety. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 440 pages, 48 black & white illustrations, biography. BIC Classification: UMX; UMZ; UR; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 699.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
440
Condition
New
SKU
V9783642171635
ISBN
9783642171635
Paperback
Condition: New

€ 68.80

Paperback. Collects the articles that cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis, and give a good perspective on the formal verification of the correctness of software systems. Editor(s): Siegler, Simon; Wasser, Nathan. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 145 pages, 30 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 10. Weight in Grams: 259.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
145
Condition
New
SKU
V9783642171710
ISBN
9783642171710
Paperback
Condition: New

€ 65.93

Paperback. Here are papers based on selected contributions to the Workshop on Architecting Dependable Systems (WADS 2009), and invited papers by renowned experts. Covers mobile and ubiquitous systems, architecting systems, fault management and experience and vision. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 324 pages, 101 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 180 x 236 x 19. Weight in Grams: 678.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
324
Condition
New
SKU
V9783642172441
ISBN
9783642172441
Paperback
Condition: New

€ 65.42

Paperback. Constitutes the refereed proceedings of the 6th International Symposium on Visual Computing, ISVC 2010, held in Las Vegas, NV, USA, in November/December 2010. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 650 pages, 334 black & white illustrations, biography. BIC Classification: PSA; UGN; UMZ; UYQP; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 771.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
650
Condition
New
SKU
V9783642172762
ISBN
9783642172762
Paperback
Condition: New

€ 130.36

Subscribe to our newsletter

News on special offers, signed editions & more!