Computer programming / software development
Results 1249 - 1272 of 4079
Computer programming / software development
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Abdulla, Parosh Aziz; Leino, K. Rust...
Paperback. Constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, that was held in Saarbrucken, Germany, March 26 - April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. Editor(s): Abdulla, Parosh Aziz; Leino, K. Rustan M. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 394 pages, 104 black & white illustrations, 30 colour illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 394
- Condition
- New
- SKU
- V9783642198342
- ISBN
- 9783642198342
Paperback
Condition: New
€ 68.24
€ 68.24
Paperback. Constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrucken, Germany, March 26 - April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. Editor(s): Giannakopoulou, Dimitra; Orejas, Fernando. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 464 pages, 131 black & white illustrations, 41 colour illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 464
- Condition
- New
- SKU
- V9783642198106
- ISBN
- 9783642198106
Paperback
Condition: New
€ 66.88
€ 66.88
Paperback. Constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrucken, Germany, March 30 - April 1, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. Editor(s): Barthe, Gilles. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 501 pages, 109 black & white illustrations, 14 colour illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 501
- Condition
- New
- SKU
- V9783642197178
- ISBN
- 9783642197178
Paperback
Condition: New
€ 69.27
€ 69.27
Paperback. Transactions on HiPEAC collects 14 research papers in computer architecture and compilation methods for high-performance embedded computer systems, from conferences including HiPEAC 2008, the 8th MEDEA Workshop, 2007 and the first MULTIPROG, 2008. Editor(s): Stenstrom, Per. Series: Lecture Notes in Computer Science. Num Pages: 299 pages, 105 black & white illustrations, 66 colour illustrations, biography. BIC Classification: UKN; UMB; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 299
- Condition
- New
- SKU
- V9783642194474
- ISBN
- 9783642194474
Paperback
Condition: New
€ 67.35
€ 67.35
Paperback. This volume is dedicated to Hermann Maurer on his 70th birthday. Topics include Automata, Formal Languages and Computability to various aspects of the Practice of Computer Science, as well as from Algorithmics to Learning. Editor(s): Calude, Cristian S.; Rozenberg, Grzegorz; Salomaa, Arto. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 285 pages, 30 black & white illustrations, 39 colour illustrations, biography. BIC Classification: UBJ; UM; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 237 x 155 x 16. Weight in Grams: 460.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 285
- Condition
- New
- SKU
- V9783642193903
- ISBN
- 9783642193903
Paperback
Condition: New
€ 67.20
€ 67.20
Paperback. Editor(s): Balasubramaniam, P. Series: Communications in Computer and Information Science. Num Pages: 328 pages, 40 black & white illustrations, 63 colour illustrations, biography. BIC Classification: UG; UKR; UMB; UYQP. 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
- Number of pages
- 328
- Condition
- New
- SKU
- V9783642192623
- ISBN
- 9783642192623
Paperback
Condition: New
€ 67.61
€ 67.61
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 229 pages, 28 black & white illustrations, 28 colour illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 210 x 150 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 229
- Condition
- New
- SKU
- V9783642192074
- ISBN
- 9783642192074
Paperback
Condition: New
€ 64.86
€ 64.86
Paperback. Constitutes the refereed proceedings of the 24th International Conference on Architecture of Computing Systems, ARCS 2011, held in Lake Como, Italy, in February 2011. This book features the papers that are organized in topical sections on customization and application specific accelerators; multi/many-core architectures; and, more. Editor(s): Berekovic, Mladen; Fornaciari, William; Brinkschulte, Uwe; Silvano, Cristina. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 271 pages, 54 black & white illustrations, 60 colour illustrations, biography. BIC Classification: UKN; UKR; UL; UMZ; UND. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 271
- Condition
- New
- SKU
- V9783642191367
- ISBN
- 9783642191367
Paperback
Condition: New
€ 65.15
€ 65.15
Paperback. Constitutes the proceedings of the Third International Symposium on Engineering Secure Software and Systems, ESSoS 2011, held in Madrid, Italy, in February 2011. This book features the papers that are organized in topical sections on model-based security, tools and mechanisms, Web security, security requirements engineering, and authorization. Editor(s): Erlingsson, Ulfar; Wieringa, Roel J.; Zannone, Nicola. Series: Lecture Notes in Computer Science. Num Pages: 273 pages, 48 black & white illustrations, 21 colour illustrations, biography. BIC Classification: UKN; UMB; UMZ; URY; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 273
- Condition
- New
- SKU
- V9783642191244
- ISBN
- 9783642191244
Paperback
Condition: New
€ 65.15
€ 65.15
Paperback. Constitutes the proceedings of the 7th International Conference on Distributed Computing and Internet Technology, ICDCIT 2011, held in Bhubaneswar, India, in February 2011. In this book, papers are grouped in topical sections on distributed computing, sensor networks, internet technologies and applications, security, and bio-inspired computing. Editor(s): Natarajan, Raja; Ojo, Adegboyega. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 325 pages, 108 black & white illustrations, 12 colour illustrations, biography. BIC Classification: UKN; UMZ; UND; UTR. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 325
- Condition
- New
- SKU
- V9783642190551
- ISBN
- 9783642190551
Paperback
Condition: New
€ 65.73
€ 65.73
Paperback. Constitutes the refereed proceedings of the 18th International Symposium on Graph Drawing, GD 2010, held in Konstanz, Germany, during September 2010. This title also contains a detailed report about the 17th Annual Graph Drawing Contest, held as a satellite event of GD 2010. Editor(s): Brandes, Ulrik; Cornelsen, Sabine. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 414 pages, 111 black & white illustrations, 91 colour illustrations, biography. BIC Classification: UMB; UYA; UYZ. 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
- Number of pages
- 414
- Condition
- New
- SKU
- V9783642184680
- ISBN
- 9783642184680
Paperback
Condition: New
€ 66.58
€ 66.58
Paperback. Constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held in Austin, TX, USA, in January 2011, co-located with POPL 2011, the Symposium on Principles of Programming Languages. Editor(s): Rocha, Ricardo; Launchbury, John. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 265 pages, 52 black & white illustrations, 12 colour illustrations, biography. BIC Classification: UMB; UMG; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 265
- Condition
- New
- SKU
- V9783642183775
- ISBN
- 9783642183775
Paperback
Condition: New
€ 65.01
€ 65.01
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
€ 68.53
€ 68.53
Paperback. Editor(s): Beckert, Bernhard; Marche, Claude. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 199 pages, 44 black & white illustrations, 1 colour illustrations, biography. BIC Classification: UMN; UMZT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 199
- Condition
- New
- SKU
- V9783642180699
- ISBN
- 9783642180699
Paperback
Condition: New
€ 66.32
€ 66.32
Paperback. Editor(s): Banerjee, Mohua; Seth, Professor Anil. Series: Lecture Notes in Computer Science. Num Pages: 219 pages, 12 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642180255
- ISBN
- 9783642180255
Paperback
Condition: New
€ 66.61
€ 66.61
Paperback. Editor(s): Zhi-Zhong, Jun; Leung, Victor C. M. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 542 pages, 272 black & white illustrations, biography. BIC Classification: UGK; UKN; UKR; UMB; URY; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 30. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 542
- Condition
- New
- SKU
- V9783642179938
- ISBN
- 9783642179938
Paperback
Condition: New
€ 127.01
€ 127.01
Paperback. Constitutes the third of three parts of the refereed proceedings of the First International Conference on Computer Science and Information Technology, CCSIT 2010, held in Bangalore, India, in January 2011. This title also includes papers that are organized in topical sections on soft computing, such as AI, Neural Networks, Fuzzy Systems, and more. Editor(s): Meghanathan, Natarajan; Kaushik, B. K.; Nagamalai, Dhinaharan. Series: Communications in Computer and Information Science. Num Pages: 483 pages, 207 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 726.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 483
- Condition
- New
- SKU
- V9783642178801
- ISBN
- 9783642178801
Paperback
Condition: New
€ 126.30
€ 126.30
Paperback. Constitutes the second of three parts of the refereed proceedings of the First International Conference on Computer Science and Information Technology, CCSIT 2010, held in Bangalore, India, in January 2011. Editor(s): Meghanathan, Natarajan; Kaushik, B. K.; Nagamalai, Dhinaharan. Series: Communications in Computer and Information Science. Num Pages: 671 pages, 270 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 980.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 671
- Condition
- New
- SKU
- V9783642178771
- ISBN
- 9783642178771
Paperback
Condition: New
€ 160.21
€ 160.21
Advances in Computer Science and Information Technology
. Ed(S): Meghanathan, Natarajan; Kaushik, B. ...
Paperback. Constitutes the first of three parts of the refereed proceedings of the First International Conference on Computer Science and Information Technology, CCSIT 2010, held in Bangalore, India, in January 2011. Editor(s): Meghanathan, Natarajan; Kaushik, B. K.; Nagamalai, Dhinaharan. Series: Communications in Computer and Information Science. Num Pages: 619 pages, 283 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 885.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 619
- Condition
- New
- SKU
- V9783642178566
- ISBN
- 9783642178566
Paperback
Condition: New
€ 207.76
€ 207.76
Paperback. Constitutes the proceedings of the 6th International ICST Conference, TridentCom 2010, held in Berlin, Germany, in May 2010. This title includes topics such as Internet testbeds, future Internet research, wireless sensors, media and mobility, and monitoring in large scale testbeds. Editor(s): Magedanz, Thomas. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 768 pages, 305 black & white illustrations, biography. BIC Classification: UGK; UKN; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 43. Weight in Grams: 1179.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 768
- Condition
- New
- SKU
- V9783642178504
- ISBN
- 9783642178504
Paperback
Condition: New
€ 129.17
€ 129.17
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
€ 66.70
€ 66.70
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
Paperback. Constitutes the refereed proceedings of the Third European Conference, ServiceWave 2010, held in Ghent, Belgium, in December 2010. Editor(s): Di Nitto, Elisabetta; Yahyapour, Ramin. Series: Lecture Notes in Computer Science. Num Pages: 254 pages, 84 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UND. 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
- 254
- Condition
- New
- SKU
- V9783642176937
- ISBN
- 9783642176937
Paperback
Condition: New
€ 66.76
€ 66.76
Paperback. Constitutes the proceedings of the International Conference on Signal Processing, Image Processing and Pattern Recognition, SIP 2010, and the Conference on Multimedia, Computer Graphics and Broadcasting, MulGraB 2010, both held as part of the Future Generation Information Technology Conference, FGIT 2010, in Jeju Island, Korea, in December 2010. Editor(s): Pal, Sankar K.; Grosky, William I.; Pissinou, Niki; Shih, Timothy K.; Slezak, Dominik. Series: Communications in Computer and Information Science. Num Pages: 342 pages, 169 black & white illustrations, biography. BIC Classification: UG; UKN; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 517.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 342
- Condition
- New
- SKU
- V9783642176401
- ISBN
- 9783642176401
Paperback
Condition: New
€ 67.61
€ 67.61