×


 x 

Shopping cart

Computer programming / software development

Results 281 - 300 of 2338

Computer programming / software development

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

hardcover. Deals with developments in the areas of optimization, optimal control and system modeling. This volume contains selected papers from presentations at the 20th International Federation for Information Processing TC7 Conference on System Modeling and Optimization, which took place at the University of Trier, Germany from July 23 to 27, 2001. Editor(s): Sachs, E.W. (Universitat Trier, Germany); Tichatschke, Rainer. Series: IFIP Advances in Information and Communication Technology. Num Pages: 338 pages, biography. BIC Classification: PBW; TJFM; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 653.
Format
Hardback
Publication date
2003
Publisher
Kluwer Academic Publishers United States
Number of pages
338
Condition
New
Edition
2003rd Edition
SKU
V9781402075650
ISBN
9781402075650
Hardback
Condition: New

€ 128.79

hardcover. A collection of forty papers, presented at a multi-conference on Advanced Computer Systems and Computer Information Systems and Industrial Management Applications held in Poland. This volume describes the developments in advanced computer systems and their applications within artificial intelligence, biometrics and information technology security. Editor(s): Saeed, Khalid; Pejas, Jerzy. Num Pages: 475 pages, biography. BIC Classification: UMZ; URY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 26. Weight in Grams: 862.
Format
Hardback
Publication date
2005
Publisher
Springer United States
Number of pages
475
Condition
New
Edition
2005th Edition
SKU
V9780387250915
ISBN
9780387250915
Hardback
Condition: New

€ 248.23

Paperback. Constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, that was held in Ann Arbor, MI, USA. Editor(s): Sakallah, Karem A.; Simon, Laurent. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 371 pages, 35 black & white illustrations, 28 colour illustrations, biography. BIC Classification: UMB; UYA; UYF; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 612.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
371
Condition
New
SKU
V9783642215803
ISBN
9783642215803
Paperback
Condition: New

€ 68.24

Paperback. Editor(s): San Martin, Cesar; Kim, Sang-Woon. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 721 pages, 127 black & white illustrations, 146 colour illustrations, biography. BIC Classification: UMB; UNH; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1066.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2011
Number of pages
721
Condition
New
SKU
V9783642250842
ISBN
9783642250842
Paperback
Condition: New

€ 69.18

Hardback. Includes chapters pertaining to the developments in real-time systems engineering. This book provides an overview of real-time processing, and presents theoretical foundations. It introduces useful modeling concepts and tools. It is useful for academic and industrial researchers as well as a textbook for computing and engineering courses. Editor(s): Schiebe, Michael; Pferrer, Saskia. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 444 pages, biography. BIC Classification: UM; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 25. Weight in Grams: 1820.
Format
Hardback
Publication date
1992
Publisher
Kluwer Academic Publishers United States
Number of pages
444
Condition
New
SKU
V9780792391968
ISBN
9780792391968
Hardback
Condition: New

€ 246.19

Paperback. Editor(s): Schieferdecker, Ina; Hartman, Alan. Series: Lecture Notes in Computer Science. Num Pages: 459 pages, biography. BIC Classification: UMZ; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 28. Weight in Grams: 680.
Format
Paperback
Publication date
2008
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
459
Condition
New
SKU
V9783540690955
ISBN
9783540690955
Paperback
Condition: New

€ 150.88

paperback. Constitutes the refereed post-proceedings of the 20th International Workshop on Implementation and Applications of Functional Languages, IFL 2008, held in Hatfield, UK, in September 2008. Editor(s): Scholz, Sven-Bodo; Chitil, Olaf. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 291 pages, 79 black & white illustrations, 5 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 431.
Format
Paperback
Publication date
2011
Publisher
Springer Germany
Edition
2011th Edition
Number of pages
291
Condition
New
SKU
V9783642244513
ISBN
9783642244513
Paperback
Condition: New

€ 81.33

Hardback. Brings together contributions and research results in this important area. This book serves as a reference, providing insight into some of the most important research issues in the field. Editor(s): Setliff, Dorothy E.; Reubenstein, Howard. Num Pages: 108 pages, biography. BIC Classification: UMZ; UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 7. Weight in Grams: 750.
Format
Hardback
Publication date
1996
Publisher
Kluwer Academic Publishers United States
Number of pages
108
Condition
New
SKU
V9780792397892
ISBN
9780792397892
Hardback
Condition: New

€ 123.40

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. This volume contains revised papers from the Rough Set and Knowledge Technology Conference (RSKT 2008), together with five papers introducing advances in rough set theory and its applications. It is part of the LNCS Transactions on Rough Sets series. Editor(s): Slowinski, Roman; Lingras, Pawan; Tsumoto, Shusaku; Miao, Duoqian. Series: Lecture Notes in Computer Science. Num Pages: 339 pages, 5 colour illustrations, biography. BIC Classification: UG; UMB; UMX; UYQP. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 522.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
339
Condition
New
SKU
V9783642144660
ISBN
9783642144660
Paperback
Condition: New

€ 67.64

Paperback. Contains the refereed proceedings of the Second International Conference on Exploring Services Science (IESS) that was held in Geneva, Switzerland. Editor(s): Snene, Mehdi; Ralyte, Jolita; Morin, Jean Henry. Series: Lecture Notes in Business Information Processing. Num Pages: 237 pages, 25 black & white illustrations, 51 colour illustrations, biography. BIC Classification: JPP; KJ; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 386.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
237
Condition
New
SKU
V9783642215469
ISBN
9783642215469
Paperback
Condition: New

€ 83.42

Paperback. Constitutes the post-conference proceedings of the CAiSE Forum from the 22nd International Conference on Advanced Information Systems Engineering (CAiSE 2010), held in Hammamet, Tunisia, June 9, 2010. Editor(s): Soffer, Pnina; Proper, Erik. Series: Lecture Notes in Business Information Processing. Num Pages: 283 pages, 51 black & white illustrations, 81 colour illustrations, biography. BIC Classification: KJQ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 408.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
283
Condition
New
SKU
V9783642177217
ISBN
9783642177217
Paperback
Condition: New

€ 66.90

Paperback. Contains the refereed proceedings of the 10th International Symposium on Mathematical Morphology, ISMM 2011 held in Verbania-Intra, Italy in July 2011. This book features the papers that are organized in thematic sections on theory, lattices and order, connectivity, image analysis, processing and segmentation, and adaptive morphology. Editor(s): Soille, Pierre; Pesaresi, Martino; Ouzounis, Georgios. Series: Lecture Notes in Computer Science. Num Pages: 484 pages, 115 black & white illustrations, 95 colour illustrations, biography. BIC Classification: PBD; PSA; UMB; UYAM; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 658.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
484
Condition
New
SKU
V9783642215681
ISBN
9783642215681
Paperback
Condition: New

€ 68.53

Hardback. Discusses the basic concepts and building blocks for the design of Fine- (or FPGA) and Coarse-Grain Reconfigurable Architectures. This title features a CD which includes case studies and lab projects for the design of FPGA and Coarse-grain architectures. Editor(s): Soudris, Dimitrios (Department of Electrical and Computer Engineering, Democritus University of Thrace, Xanthi, Greece); Vassiliadis, Stamatis. Num Pages: 397 pages, biography. BIC Classification: TJFC; UKR; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 22. Weight in Grams: 735.
Format
Hardback
Publication date
2007
Publisher
Springer-Verlag New York Inc. United States
Number of pages
397
Condition
New
SKU
V9781402065040
ISBN
9781402065040
Hardback
Condition: New

€ 124.50

paperback. Constitutes the refereed proceedings of the 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, held in Zurich, Switzerland, in June 2010. Editor(s): Stiller, Burkhard; Turck, Filip de. Series: Lecture Notes in Computer Science. Num Pages: 192 pages, 66 black & white illustrations, biography. BIC Classification: UKN; UKR; UL; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 10. Weight in Grams: 318.
Format
Paperback
Publication date
2010
Publisher
Springer Germany
Number of pages
192
Condition
New
Edition
2010th Edition
SKU
V9783642139857
ISBN
9783642139857
Paperback
Condition: New

€ 66.32

Paperback. Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Strichman, Ofer; Szeider, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 400 pages, 74 black & white illustrations, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 612.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
400
Condition
New
SKU
V9783642141850
ISBN
9783642141850
Paperback
Condition: New

€ 68.24

Paperback. Constitutes the refereed post-workshop proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2008, that was held in Shanghai, China in September 2008. Editor(s): Sturm, Thomas; Zengler, Christoph. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 225 pages, 46 black & white illustrations, 22 colour illustrations, biography. BIC Classification: PBMW; UG; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
225
Condition
New
SKU
V9783642210457
ISBN
9783642210457
Paperback
Condition: New

€ 66.61

Paperback. Editor(s): Sun, Zhenan; Lai, Jianhuang; Chen, Xilin; Tan, Tieniu. Series: Lecture Notes in Computer Science. Num Pages: 290 pages, 61 black & white illustrations, 79 colour illustrations, biography. BIC Classification: UMB; UML; UNH; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
290
Condition
New
SKU
V9783642254482
ISBN
9783642254482
Paperback
Condition: New

€ 67.20

Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, held in Krakow, Poland, in October 2009. Editor(s): Szmuc, Tomasz; Szpyrka, Marcin; Zendulka, Jaroslav. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 276 pages, 87 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 18. Weight in Grams: 408.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
276
Condition
New
SKU
V9783642280375
ISBN
9783642280375
Paperback
Condition: New

€ 66.90

Subscribe to our newsletter

News on special offers, signed editions & more!