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
€ 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
€ 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
€ 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
€ 68.24
Progress in Pattern Recognition, Image Analysis, Computer Vision, and ...
. Ed(S): San Martin, Cesar; Kim, Sang-Woon
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
€ 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
€ 246.19
Model-Driven Architecture - Foundations and Applications
. Ed(S): Schieferdecker, Ina; Hartman, Alan
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
€ 150.88
Implementation and Application of Functional Languages: 20th Internati...
. Ed(S): Scholz, Sven-Bodo; Chitil, Olaf
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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 66.90
Mathematical Morphology and its Applications to Image and Signal Proce...
. Ed(S): Soille, Pierre; Pesaresi, Martino; O...
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
€ 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
€ 124.50
Mechanisms for Autonomous Management of Networks and Services: 4th Int...
. Ed(S): Stiller, Burkhard; Turck, Filip de
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
€ 66.32
Theory and Applications of Satisfiability Testing - SAT 2010
. Ed(S): Strichman, Ofer; Szeider, Stefan
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
€ 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
€ 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
€ 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
€ 66.90