×


 x 

Shopping cart

Computer programming / software development

Results 3289 - 3312 of 3469

Computer programming / software development

Paperback. Constitutes the refereed proceedings of the International Conference, MulGraB 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, in December 2011. Editor(s): Kim, Tai-hoon; Adeli, Hojjat; Grosky, William I.; Pissinou, Niki; Shih, Timothy K.; Rothwell, Edward J.; Kang, Byeong Ho; Shin, Seung-Jung. Series: Communications in Computer and Information Science. Num Pages: 357 pages, 72 black & white illustrations, 154 colour illustrations, biography. BIC Classification: UML; UNH; UYQV; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 558.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2011
Number of pages
357
Condition
New
SKU
V9783642271854
ISBN
9783642271854
Paperback
Condition: New

€ 70.37

Paperback. Comprises of selected papers of the International Conferences, SecTech 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. Editor(s): Kim, Tai-hoon; Adeli, Hojjat; Fang, Wai-Chi; Villalba, Javier Garcia; Arnett, Kirk P.; Khurram Khan, Muhammad. Series: Communications in Computer and Information Science. Num Pages: 252 pages, 30 black & white illustrations, 53 colour illustrations, biography. BIC Classification: UKN; UMB; UNH; URY. 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
Edition
2011
Number of pages
252
Condition
New
SKU
V9783642271885
ISBN
9783642271885
Paperback
Condition: New

€ 70.08

Paperback. Comprises of selected papers of the International Conferences, DTA and BSBT 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. Editor(s): Kim, Tai-hoon; Adeli, Hojjat; Cuzzocrea, Alfredo; Arslan, Tughrul; Zhang, Yanchun; Ma, Jianhua; Chung, Kyo-Il; Mariyam, Siti; Song, Xiaofeng; Shamsuddin, Siti Mariyam. Series: Communications in Computer and Information Science. Num Pages: 197 pages, 36 black & white illustrations, 45 colour illustrations, biography. BIC Classification: UMB; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 517.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2011
Number of pages
197
Condition
New
SKU
V9783642271564
ISBN
9783642271564
Paperback
Condition: New

€ 70.98

Paperback. Constitutes the refereed proceedings of the International Conference on Advanced Software Engineering and Its Applications, ASEA 2010, held as part of the Future Generation Information Technology Conference, FGIT 2010, in Jeju Island, Korea, in December 2010. Editor(s): Kim, Haeng-Kon; Khurram Khan, Muhammad; Kiumi, Akingbehin; Fang, Wai-Chi; Slezak, Dominik. Series: Communications in Computer and Information Science. Num Pages: 340 pages, 108 black & white illustrations, biography. BIC Classification: UKN; UKR; UMZ; UNF. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 20. Weight in Grams: 517.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
340
Condition
New
SKU
V9783642175770
ISBN
9783642175770
Paperback
Condition: New

€ 70.98

Hardback. This text covers the reading, writing and understanding of specifications. It describes useful concepts and practices (in programming and in specifications) and solid underlying theory that is of interest to those who deal with complexity of business and systems. Editor(s): Kilov, Haim; Rumpe, Bernhard; Simmonds, Ian. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 315 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 642.
Format
Hardback
Publication date
1999
Publisher
Kluwer Academic Publishers United States
Number of pages
315
Condition
New
SKU
V9780792386292
ISBN
9780792386292
Hardback
Condition: New

€ 195.52

Hardback. Encourages builders of complex information systems to accelerate their move to using the approach of a scientific discipline in analysis rather than the approach of a craft. This book deals with precise specifications of 'what' is accomplished by the business and 'what' is to be done by a system. Editor(s): Kilov, Haim; Harvey, William. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 316 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 1430.
Format
Hardback
Publication date
1996
Publisher
Kluwer Academic Publishers United States
Number of pages
316
Condition
New
SKU
V9780792397786
ISBN
9780792397786
Hardback
Condition: New

€ 202.59

Hardback. Describes a method for developing various computing applications with the software technologies. This book shows how to build such software faster and more reliably. It covers such application areas as direct marketing, banking insurance and executive information systems. Editor(s): Khebbal, Sukhdev; Sharpington, Chris. Num Pages: 212 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 1110.
Format
Hardback
Publication date
1996
Publisher
Kluwer Academic Publishers United States
Number of pages
212
Condition
New
SKU
V9780792397076
ISBN
9780792397076
Hardback
Condition: New

€ 132.10

Paperback. This survey of the impact of multicore and co-processor technologies on science as well as on large-scale interdisciplinary applications covers the state of the art in the field. It also points to a number of potentially fruitful areas for future research. Editor(s): Keller, Rainer; Kramer, David; Weiss, Jan-Philipp. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 156 pages, 60 black & white illustrations, biography. BIC Classification: PBKS; TBC; UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 8. Weight in Grams: 264.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
156
Condition
New
SKU
V9783642162329
ISBN
9783642162329
Paperback
Condition: New

€ 69.20

Hardback. Proceedings of the 1st International Symposium on Domain Theory Editor(s): Keimel, Klaus; Zhang, Guo-Qiang (Case Western Reserve University, Cleveland, USA); Liu, Ying Ming; Chen, Yixiang (Shanghai Normal University, PR of China). Series: Semantic Structures in Computation S. Num Pages: 273 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 17. Weight in Grams: 586.
Format
Hardback
Publication date
2001
Publisher
Kluwer Academic Publishers United States
Number of pages
273
Condition
New
SKU
V9780792371434
ISBN
9780792371434
Hardback
Condition: New

€ 133.28

Paperback. Contains the refereed proceedings of the First Scandinavian Conference on Information Systems (SCIS), held in Rebild, Denmark, in August 2010. The conference was held in conjunction with the traditional IRIS seminar for information systems research in Scandinavia. Editor(s): Kautz, Karlheinz; Nielsen, Peter Axel. Series: Lecture Notes in Business Information Processing. Num Pages: 157 pages, 13 black & white illustrations, biography. BIC Classification: KJQ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 10. Weight in Grams: 272.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
157
Condition
New
SKU
V9783642148736
ISBN
9783642148736
Paperback
Condition: New

€ 69.30

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

€ 137.03

Paperback. Constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. Editor(s): Katoen, Joost-Pieter; Konig, Barbara. Series: Lecture Notes in Computer Science. Num Pages: 560 pages, 104 black & white illustrations, 17 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 862.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
560
Condition
New
SKU
V9783642232169
ISBN
9783642232169
Paperback
Condition: New

€ 73.36

Paperback. Editor(s): Kannan, Rajkumar; Andres, Frederic. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 356 pages, 139 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 150 x 18. Weight in Grams: 544.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
356
Condition
New
SKU
V9783642278716
ISBN
9783642278716
Paperback
Condition: New

€ 71.17

Paperback. Editor(s): Joshi, Rajeev; Muller, Peter; Podelski, Andreas. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 326 pages, 41 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 522.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
326
Condition
New
SKU
V9783642277047
ISBN
9783642277047
Paperback
Condition: New

€ 70.11

Paperback. Constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, that was held in Lac-Beauport, QC, Canada, in June 2010. Editor(s): Johnson, Michael; Pavlovic, Dusko. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 238 pages, 36 black & white illustrations, 10 colour illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 376.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
238
Condition
New
SKU
V9783642177958
ISBN
9783642177958
Paperback
Condition: New

€ 70.02

Hardback. Accurate characterization of applications leads to efficient design of high performing architectures. This book includes ten chapters on various aspects of characterization. It can also be used as a text in graduate-level courses on system design. Editor(s): John, Lizy Kurian; Maynard, Ann Marie Grizzaffi. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 231 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 1150.
Format
Hardback
Publication date
2001
Publisher
Kluwer Academic Publishers United States
Number of pages
231
Condition
New
SKU
V9780792373155
ISBN
9780792373155
Hardback
Condition: New

€ 253.98

Paperback. Constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. Editor(s): Jhala, Ranjit; Schmidt, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 419 pages, 79 black & white illustrations, 11 colour illustrations, biography. BIC Classification: UMB; UMX; UMZ. 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
419
Condition
New
SKU
V9783642182747
ISBN
9783642182747
Paperback
Condition: New

€ 71.95

paperback. Contains sections on modeling goals and compliance; human and socio-technical factors; ontologies; data model theory; model development and maintainability; user interfaces and software classification; evolution, propagation and refinement; UML and requirements modeling; views, queries and search; requirements and business intelligence; and more. Editor(s): Jeusfeld, Manfred A.; Delcambre, Lois; Ling, Tok Wang. Series: Lecture Notes in Computer Science. Num Pages: 530 pages, 81 black & white illustrations, 96 colour illustrations, biography. BIC Classification: UMX; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 816.
Format
Paperback
Publication date
2011
Publisher
Springer Germany
Number of pages
530
Condition
New
Edition
2011th Edition
SKU
V9783642246050
ISBN
9783642246050
Paperback
Condition: New

€ 73.04

hardcover. This text deals with various aspects of the design and development of embedded applications software for integrated single-chip computer systems. Editor(s): Jerraya, Ahmed Amine; Yoo, Sung joo; Wehn, Norbert; Verkest, Diederik. Num Pages: 530 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 30. Weight in Grams: 951.
Format
Hardback
Publication date
2003
Publisher
Kluwer Academic Publishers United States
Edition
2003rd Edition
Number of pages
530
Condition
New
SKU
V9781402075285
ISBN
9781402075285
Hardback
Condition: New

€ 286.72

Paperback. Constitutes the thoroughly refereed post-conference proceedings of the "Second International Conference on Game Theory for Networks" (GameNets 2011) held in Shanghai, China, April 16-18, 2011. Editor(s): Jain, Rahul; Kannan, Rajgopal; Vasilakos, Thanos. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 676 pages, 155 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 38. Weight in Grams: 1043.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
676
Condition
New
SKU
V9783642303722
ISBN
9783642303722
Paperback
Condition: New

€ 138.90

Paperback. Constitutes the refereed proceedings of the 21th International Conference on Algorithmic Learning Theory, ALT 2010, that was held in Canberra, Australia. Editor(s): Hutter, Marcus; Stephan, Frank; Vovk, Vladimir; Zeugmann, Thomas. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 421 pages, 45 black & white illustrations, biography. BIC Classification: JNV; UMB; UMX; UYQM. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 25. Weight in Grams: 640.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
421
Condition
New
SKU
V9783642161070
ISBN
9783642161070
Paperback
Condition: New

€ 71.82

Paperback. Constitutes the proceedings of the 13th conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, held in Dortmund, Germany, in June 2010. Editor(s): Hullermeier, Eyke; Kruse, Rudolf; Hoffmann, Frank. Series: Communications in Computer and Information Science. Num Pages: 785 pages, 237 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 160 x 28. Weight in Grams: 1111.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
785
Condition
New
SKU
V9783642140570
ISBN
9783642140570
Paperback
Condition: New

€ 139.37

Paperback. Constitutes the proceedings of the 13th conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, held in Dortmund, Germany, in June 2010. Editor(s): Hullermeier, Eyke; Kruse, Rudolf; Hoffmann, Frank. Series: Communications in Computer and Information Science. Num Pages: 764 pages, 136 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1111.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
764
Condition
New
SKU
V9783642140549
ISBN
9783642140549
Paperback
Condition: New

€ 139.37

paperback. Constitutes the refereed proceedings of the 8th International Conference on Business Process Management, BPM 2010, held in Hoboken, NJ, USA, in September 2010. Editor(s): Hull, Richard; Mendling, Jan; Tai, Stefan. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 359 pages, 140 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 20. Weight in Grams: 567.
Format
Paperback
Publication date
2010
Publisher
Springer Germany
Edition
2010th Edition
Number of pages
359
Condition
New
SKU
V9783642156175
ISBN
9783642156175
Paperback
Condition: New

€ 71.33

Subscribe to our newsletter

News on special offers, signed editions & more!