×


 x 

Total € 0.00
Shopping cartCart empty

Computer programming / software development

Results 2941 - 2953 of 2953

Computer programming / software development

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. 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. 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

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. 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. 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

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. 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

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

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. 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. 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. 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: 424 pages, 76 black & white illustrations, 140 colour illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 617.
Format
Paperback
Publication date
2011
Publisher
Springer Germany
Edition
2011th Edition
Number of pages
424
Condition
New
SKU
V9783642272035
ISBN
9783642272035
Paperback
Condition: New

€ 71.67

Paperback. Comprises of selected papers of the International Conference on Signal Processing, Image Processing and Pattern Recognition, SIP 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. Editor(s): Kim, Tai-hoon; Adeli, Hojjat; Ramos, Carlos; Kang, Byeong Ho. Series: Communications in Computer and Information Science. Num Pages: 450 pages, 145 black & white illustrations, 120 colour illustrations, biography. BIC Classification: UKN; UMB; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 658.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2011
Number of pages
450
Condition
New
SKU
V9783642271823
ISBN
9783642271823
Paperback
Condition: New

€ 71.95

Paperback. Constitutes the refereed proceedings of the 3rd International Conference on Advanced Communication and Networking, ACN 2011, held in Brno, Czech Republik, in June 2011. Editor(s): Kim, Tai-hoon; Adeli, Hojjat; Robles, Rosslin John; Balitanas, Maricel. Series: Communications in Computer and Information Science. Num Pages: 468 pages, 84 black & white illustrations, 205 colour illustrations, biography. BIC Classification: UKN; UMB; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 726.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
468
Condition
New
SKU
V9783642233111
ISBN
9783642233111
Paperback
Condition: New

€ 72.42

Paperback. Constitutes the proceedings of the 16th Collaboration Researchers' International Working Group Conference on Collaboration and Technology, held in Maastricht, The Netherlands, in September 2010. Editor(s): Kolfschoten, Gwendolyn; Herrmann, Thomas A.; Sim, Robert B.; Lukosch, Stephan. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 364 pages, 139 black & white illustrations, biography. BIC Classification: UKN; UKR; UMZ; UND; UNF. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 23. Weight in Grams: 567.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
364
Condition
New
SKU
V9783642157134
ISBN
9783642157134
Paperback
Condition: New

€ 71.33

Paperback. Editor(s): Kotlarsky, Julia; Willcocks, Leslie P.; Oshri, Ilan. Series: Lecture Notes in Business Information Processing. Num Pages: 219 pages, 18 black & white illustrations, 17 colour illustrations, biography. BIC Classification: KJVT; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 318.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
219
Condition
New
SKU
V9783642248146
ISBN
9783642248146
Paperback
Condition: New

€ 87.16

Paperback. Constitutes the proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2010 held in Antwerp, Belgium, in September 2010 - co-located with ASE 2010, the 25th IEEE/ACM International Conference on Automated Software Engineering. Editor(s): Kowalewski, Stefan; Roveri, Marco. Series: Lecture Notes in Computer Science. Num Pages: 231 pages, 82 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 386.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
231
Condition
New
SKU
V9783642158971
ISBN
9783642158971
Paperback
Condition: New

€ 70.08

Paperback. Constitutes the refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, that was held in collocation with MODELS 2010 in Oslo, Norway in October 2010. Editor(s): Kraemer, Frank Alexander; Herrmann, Peter. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 257 pages, 57 black & white illustrations, 58 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH; UYQE. 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
257
Condition
New
SKU
V9783642216510
ISBN
9783642216510
Paperback
Condition: New

€ 70.08

paperback. Constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in June 2011. This book addresses issues on research and development in the area of Petri nets and related models of concurrent systems. Editor(s): Kristensen, Lars Lyngsgaard Fjord; Petrucci, L. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 349 pages, 107 black & white illustrations, 23 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 544.
Format
Paperback
Publication date
2011
Publisher
Springer Germany
Edition
2011th Edition
Number of pages
349
Condition
New
SKU
V9783642218330
ISBN
9783642218330
Paperback
Condition: New

€ 70.27

Page 148 of 148

Subscribe to our newsletter

News on special offers, signed editions & more!