Computer programming / software development
Results 1021 - 1040 of 1981
Computer programming / software development
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
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Trust and Trustworthy Computing, TRUST 2011, held in Pittsburgh, PA, USA in June 2011. Editor(s): McCune, Jonathan; Balacheff, Boris; Perrig, Adrian; Sadeghi, Ahmad-Reza; Sasse, Angela; Beres, Yolanta. Series: Lecture Notes in Computer Science. Num Pages: 314 pages, 28 black & white illustrations, 49 colour illustrations, biography. BIC Classification: UBJ; UKN; UMB; UNH; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 314
- Condition
- New
- SKU
- V9783642215988
- ISBN
- 9783642215988
Paperback
Condition: New
€ 65.58
€ 65.58
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
€ 64.86
€ 64.86
Paperback. Constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. This title covers such topics as: model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, and automated test generation. Editor(s): Gogolla, Martin; Wolff, Burkhart. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 205 pages, 28 black & white illustrations, 20 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 205
- Condition
- New
- SKU
- V9783642217678
- ISBN
- 9783642217678
Paperback
Condition: New
€ 64.58
€ 64.58
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2011, held in Moscow, Russia in June/July 2011. This book features the papers that are organized in topical sections on pattern recognition and machine learning; image analysis; and, image and video information retrieval. Editor(s): Kuznetsov, Sergei O.; Mandal, Deba Prasad; Kundu, Malay K.; Pal, Sankar K. Series: Lecture Notes in Computer Science. Num Pages: 467 pages, 73 black & white illustrations, 72 colour illustrations, biography. BIC Classification: UMB; UNH; UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 739.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 467
- Condition
- New
- SKU
- V9783642217852
- ISBN
- 9783642217852
Paperback
Condition: New
€ 67.11
€ 67.11
Application and Theory of Petri Nets: 32nd International Conference, P...
. Ed(S): Kristensen, Lars Lyngsgaard Fjord; P...
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
€ 65.88
€ 65.88
Paperback. Constitutes the refereed proceedings of the 49th International Conference on Objects, Models, Components, Patterns, held in Zurich, Switzerland, in June 2011. This book includes the papers that discuss various aspects of object technology and related fields, in particular model-based development, and component-based development. Editor(s): Bishop, Judith; Vallecillo, Antonio. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 307 pages, 86 black & white illustrations, 24 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 307
- Condition
- New
- SKU
- V9783642219511
- ISBN
- 9783642219511
Paperback
Condition: New
€ 65.58
€ 65.58
Paperback. Constitutes the refereed proceedings of the 4th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICACRYPT 2011, held in Dakar, Senegal, in July 2011. This book features the papers that are organized in topical sections on protocols, cryptanalysis, secret-key cryptography, and security proofs. Editor(s): Nitaj, Abderrahmane; Pointcheval, David. Series: Lecture Notes in Computer Science. Num Pages: 387 pages, 44 black & white illustrations, 8 colour illustrations, biography. BIC Classification: UKN; UL; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 387
- Condition
- New
- SKU
- V9783642219689
- ISBN
- 9783642219689
Paperback
Condition: New
€ 65.58
€ 65.58
Paperback. Constitutes the proceedings of the International Conference on Research and Education in Robotics, EUROBOT 2011, held in Prague, Czech Republic, in June 2011. This book features the papers that present basic research such as robot control and behaviour, applications of autonomous intelligent robots, and perception, and processing and action. Editor(s): Obdrzalek, David; Gottscheber, Achim. Series: Communications in Computer and Information Science. Num Pages: 350 pages, 67 black & white illustrations, 124 colour illustrations, biography. BIC Classification: UGK; UMZ; UNH; UYQ; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 350
- Condition
- New
- SKU
- V9783642219740
- ISBN
- 9783642219740
Paperback
Condition: New
€ 65.88
€ 65.88
Automated Reasoning with Analytic Tableaux and Related Methods
. Ed(S): Brunnler, Kai; Metcalfe, George
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011 that was held in Bern, Switzerland. Editor(s): Brunnler, Kai; Metcalfe, George. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 279 pages, 36 black & white illustrations, 4 colour illustrations, biography. BIC Classification: UMZ; UYA; UYQ. 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
- 279
- Condition
- New
- SKU
- V9783642221187
- ISBN
- 9783642221187
Paperback
Condition: New
€ 67.20
€ 67.20
Software Engineering and Computer Systems, Part I: Second Internationa...
. Ed(S): Zain, Jasni Mohamad; Wan Mohd, Wan M...
paperback. Constitutes the refereed proceedings of the Second International Conference on Software Engineering and Computer Systems, ICSECS 2011, held in Kuantan, Malaysia, in June 2011. This title features the papers that are organized in topical sections on software engineering; network; bioinformatics and e-health; biometrics technologies; and, more. Editor(s): Zain, Jasni Mohamad; Wan Mohd, Wan Maseri; El-Qawasmeh, Eyas. Series: Communications in Computer and Information Science. Num Pages: 764 pages, 189 black & white illustrations, 225 colour illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH; UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1175.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Number of pages
- 764
- Condition
- New
- Edition
- 2011th Edition
- SKU
- V9783642221699
- ISBN
- 9783642221699
Paperback
Condition: New
€ 133.01
€ 133.01
Paperback. Constitutes the refereed proceedings of the 18th EuroSPI conference, held in Roskilde, Denmark, in June 2011. This title presents the papers that are organized in topical sections on SPI and assessments; SPI and implementation; SPI and improvement methods; SPI people/ teams; SPI and reuse; and, selected key notes for SPI implementation. Editor(s): Connor, Rory V.; Pries-Heje, Jan; Messnarz, Richard. Series: Communications in Computer and Information Science. Num Pages: 309 pages, 25 black & white illustrations, 42 colour illustrations, biography. BIC Classification: UMX; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 309
- Condition
- New
- SKU
- V9783642222054
- ISBN
- 9783642222054
Paperback
Condition: New
€ 67.49
€ 67.49
Paperback. Constitutes the refereed proceedings of the First International Conference on Integrated Computing Technology, INTECH 2011 that was held in Sao Carlos, Brazil. Editor(s): Hruschka, Estevam Rafael; Watada, Junzo; Carmo Nicoletti, Maria. Series: Communications in Computer and Information Science. Num Pages: 177 pages, 28 black & white illustrations, 35 colour illustrations, biography. BIC Classification: UKN; UM; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 295.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 177
- Condition
- New
- SKU
- V9783642222467
- ISBN
- 9783642222467
Paperback
Condition: New
€ 64.29
€ 64.29
Paperback. Constitutes the proceedings of the First International Conference on Advances in Computing and Information Technology, ACITY 2011, held in Chennai, India, in July 2011. In this title, the papers feature significant contributions to all major fields of the Computer Science and Information Technology in theoretical and practical aspects. Editor(s): Wyld, David C.; Wozniak, Michal; Chaki, Nabendu; Meghanathan, Natarajan; Nagamalai, Dhinaharan. Series: Communications in Computer and Information Science. Num Pages: 564 pages, 134 black & white illustrations, 153 colour illustrations, biography. BIC Classification: UKN; UMB; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 564
- Condition
- New
- SKU
- V9783642225543
- ISBN
- 9783642225543
Paperback
Condition: New
€ 127.01
€ 127.01
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. This book also includes 6 papers from the CALCO-tools Workshop, colocated with CALCO 2011 and dedicated to tools based on algebraic and/or coalgebraic principles. Editor(s): Corradini, Andrea; Klin, Bartek; Cirstea, Corina. Series: Lecture Notes in Computer Science. Num Pages: 420 pages, 112 black & white illustrations, 6 colour illustrations, biography. BIC Classification: UM; UYA; UYAM; UYZG. 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
- 420
- Condition
- New
- SKU
- V9783642229435
- ISBN
- 9783642229435
Paperback
Condition: New
€ 68.24
€ 68.24
Paperback. Constitutes the refereed post-conference proceedings of four workshops collocated with NETWORKING 2011, held in Valencia, Spain, in May 2011. This book features the papers covering a range of topics addressing the main research efforts in the fields of network coding, sustainable networking, and security in wireless cooperative networks. Editor(s): Casares-Giner, Vicente; Manzoni, Pietro; Pont, Ana. Series: Lecture Notes in Computer Science. Num Pages: 290 pages, 49 black & white illustrations, 51 colour illustrations, biography. BIC Classification: UKN; UMR; URY; UTN. 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
- Number of pages
- 290
- Condition
- New
- SKU
- V9783642230400
- ISBN
- 9783642230400
Paperback
Condition: New
€ 65.44
€ 65.44
Paperback. Constitutes the refereed proceedings of the 33rd Symposium of the German Association for Pattern Recognition, DAGM 2011, held in Frankfurt/Main, Germany, in August/September 2011. This volume also includes the young researcher's forum, a section where a carefully jury-selected ensemble of young researchers present their Master thesis work. Editor(s): Mester, Rudolf; Felsberg, Michael. Series: Lecture Notes in Computer Science. Num Pages: 473 pages, 33 black & white illustrations, 186 colour illustrations, biography. BIC Classification: UMB; UML; UNH; UYQP; UYT. 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
- 473
- Condition
- New
- SKU
- V9783642231223
- ISBN
- 9783642231223
Paperback
Condition: New
€ 68.83
€ 68.83
Paperback. Constitutes the thoroughly refereed post-proceedings of the Second International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2010, held in Karlsruhe, Germany in October 2010. Editor(s): Fleischmann, Albert; Schmidt, Werner; Singer, Robert; Seese, Detlef G. Series: Communications in Computer and Information Science. Num Pages: 227 pages, 21 black & white illustrations, 77 colour illustrations, biography. BIC Classification: KJC; UMB; 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
- 227
- Condition
- New
- SKU
- V9783642231346
- ISBN
- 9783642231346
Paperback
Condition: New
€ 66.76
€ 66.76
Paperback. Constitutes the proceedings of the 11th International Conference on Parallel Computing Technologies, PaCT 2011, held in Kazan, Russia on September 19-23, 2011. In this title, the papers are organized in topical sections on models and languages, cellular automata, parallel programming tools and support, and applications. Editor(s): Malyshkin, Victor. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 500 pages, 145 black & white illustrations, 46 colour illustrations, biography. BIC Classification: UGK; UMB; UMZ; UT; UYA; UYD. 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
- 500
- Condition
- New
- SKU
- V9783642231773
- ISBN
- 9783642231773
Paperback
Condition: New
€ 67.03
€ 67.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
€ 69.87
€ 69.87