Computer programming / software development
Results 1601 - 1620 of 2957
Computer programming / software development
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
€ 137.03
Information Processing and Management of Uncertainty in Knowledge-base...
. Ed(S): Hullermeier, Eyke; Kruse, Rudolf; Ho...
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
€ 139.37
Information Processing and Management of Uncertainty in Knowledge-Base...
. Ed(S): Hullermeier, Eyke; Kruse, Rudolf; Ho...
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
€ 139.37
Paperback. constitutes the refereed proceedings of the 24th European Conference on Object-Oriented Programming, ECOOP 2010, held in Maribor, Slovenia, in June 2010. This book includes papers that cover topics such as programming environments and tools, theoretical foundations of programming languages, formal methods, and concurrency models in Java. Editor(s): D'Hondt, Theo. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 599 pages, 196 black & white illustrations, biography. BIC Classification: MJCM; UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 30. Weight in Grams: 930.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 599
- Condition
- New
- SKU
- V9783642141065
- ISBN
- 9783642141065
Paperback
Condition: New
€ 138.13
€ 138.13
Paperback. Constitutes the proceedings of the Second International Conference on Recent Trends in Wireless and Mobile Networks, held in Ankara, Turkey, in June 2010. Editor(s): Ozcan, Abdulkadir; Chaki, Nabendu; Nagamalai, Dhinaharan. Series: Communications in Computer and Information Science. Num Pages: 446 pages, 183 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 231 x 157 x 25. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 446
- Condition
- New
- SKU
- V9783642141706
- ISBN
- 9783642141706
Paperback
Condition: New
€ 136.40
€ 136.40
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
€ 71.63
€ 71.63
Paperback. Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Giesl, Jurgen; Hahnle, Reiner. Series: Lecture Notes in Computer Science. Num Pages: 534 pages, 85 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 534
- Condition
- New
- SKU
- V9783642142024
- ISBN
- 9783642142024
Paperback
Condition: New
€ 137.34
€ 137.34
Paperback. Constitutes the proceedings of the Second International Conference on Networked Digital Technologies, held in Prague, Czech Republic, in July 2010. Editor(s): Zavoral, Filip; Yaghob, Jakub; Pichappan, Pit; El-Qawasmeh, Eyas. Series: Communications in Computer and Information Science. Num Pages: 580 pages, 231 black & white illustrations, biography. BIC Classification: GLF; UKN; UKR; UMZ; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 580
- Condition
- New
- SKU
- V9783642142918
- ISBN
- 9783642142918
Paperback
Condition: New
€ 137.50
€ 137.50
Computer Aided Verification: 22nd International Conference, CAV 2010, ...
. Ed(S): Touili, Tayssir; Cook, Byron; Jackso...
paperback. Constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Touili, Tayssir; Cook, Byron; Jackson, Paul. Series: Lecture Notes in Computer Science. Num Pages: 676 pages, 169 black & white illustrations, biography. BIC Classification: UB; UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 953.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 676
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642142949
- ISBN
- 9783642142949
Paperback
Condition: New
€ 138.27
€ 138.27
Paperback. Data hiding has been proposed as an enabling technology for securing multimedia communication. This book publishes both original and archival research results from these emerging fields. It contains a section on forensic image analysis for crime prevention. Editor(s): Shi, Yun Q. Series: Lecture Notes in Computer Science. Num Pages: 129 pages, 66 black & white illustrations, biography. BIC Classification: UBJ; UKN; UMB; URY; UYQP. Category: (P) Professional & Vocational. Dimension: 238 x 155 x 9. Weight in Grams: 230.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 129
- Condition
- New
- SKU
- V9783642142970
- ISBN
- 9783642142970
Paperback
Condition: New
€ 68.99
€ 68.99
Paperback. Constitutes the proceedings of the Second International Conference on Networked Digital Technologies, held in Prague, Czech Republic, in July 2010. Editor(s): Zavoral, Filip; Yaghob, Jakub; Pichappan, Pit; El-Qawasmeh, Eyas. Series: Communications in Computer and Information Science. Num Pages: 730 pages, 289 black & white illustrations, biography. BIC Classification: UKN; UKR; UMZ; UND; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 1043.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 730
- Condition
- New
- SKU
- V9783642143052
- ISBN
- 9783642143052
Paperback
Condition: New
€ 138.90
€ 138.90
A 25-Year Perspective on Logic Programming: Achievements of the Italia...
. Ed(S): Dovier, Agostino; Pontelli, Enrico
paperback. This book celebrates the 25th anniversary of GULP - the Italian Association for Logic Programming. Authored by Italian researchers, it presents a state-of-the-art survey of logic programming, making it a useful reference for both researchers and students. Editor(s): Dovier, Agostino; Pontelli, Enrico. Series: Lecture Notes in Computer Science. Num Pages: 329 pages, 21 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 329
- Condition
- New
- SKU
- V9783642143083
- ISBN
- 9783642143083
Paperback
Condition: New
€ 71.02
€ 71.02
Paperback. This tutorial book presents an augmented selection of the material presented at the Second Pernambuco Summer School on Software Engineering, PSSE 2007, held in Receife, Brazil in December 2007. It covers a wide spectrum of topics in software engineering. Editor(s): Borba, Paulo; Cavalcanti, Ana; Sampaio, Augusto; Woodcook, Jim. Series: Lecture Notes in Computer Science. Num Pages: 322 pages, 73 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 237 x 154 x 18. Weight in Grams: 488.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 322
- Condition
- New
- SKU
- V9783642143342
- ISBN
- 9783642143342
Paperback
Condition: New
€ 70.70
€ 70.70
New Modeling Concepts for Today's Software Processes: International Co...
. Ed(S): Munch, Jurgen; Yang, Ye; Schafer, Wi...
paperback. Constitutes the proceedings of the International Conference on New Modeling Concepts for Today's Software Processes, held in Paderborn, Germany in July 2010. Editor(s): Munch, Jurgen; Yang, Ye; Schafer, Wilhelm. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 382 pages, 133 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 20. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 382
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642143465
- ISBN
- 9783642143465
Paperback
Condition: New
€ 71.49
€ 71.49
Paperback. Constitutes the proceedings of the 14th International Conference on Developments in Language Theory, DLT 2010, held in London, Ontario, Canada, in August 2010. These papers address topics such as formal languages, automata theory, computability, complexity, logic, petri nets, and related areas. Editor(s): Gao, Yuan; Lu, Hanlin; Seki, Shinnosuke; Yu, Sheng. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 446 pages, 48 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 23. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 446
- Condition
- New
- SKU
- V9783642144547
- ISBN
- 9783642144547
Paperback
Condition: New
€ 72.10
€ 72.10
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
€ 71.02
€ 71.02
Paperback. Constitutes the post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. These papers reaffirm the significance of the ongoing UTP project and encourage efforts to advance it by providing a focus for the sharing of results. Editor(s): Butterfield, Andrew. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 279 pages, 21 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 18. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642145209
- ISBN
- 9783642145209
Paperback
Condition: New
€ 70.39
€ 70.39
Paperback. Addressing fundamental questions on modeling abstractions, this volume explores the integration and extension of diverse approaches to logic-based frameworks. This framework allows non-experts to graphically specify interaction models, which are then transformed into a corresponding formal representation. Series: Lecture Notes in Business Information Processing. Num Pages: 411 pages, 97 black & white illustrations, biography. BIC Classification: KJQ; UKR; UMB; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 411
- Condition
- New
- SKU
- V9783642145377
- ISBN
- 9783642145377
Paperback
Condition: New
€ 71.95
€ 71.95
Frontiers in Algorithms: 4th International Workshop, FAW 2010, Wuhan, ...
. Ed(S): Lee, D. T.; Chen, Danny Z.; Ying, Sh...
paperback. Constitutes the refereed proceedings of the 4th International Frontiers of Algorithmics Workshop, FAW 2010, held in Wuhan, China, in August 2010. Editor(s): Lee, D. T.; Chen, Danny Z.; Ying, Shi. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 339 pages, 74 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 339
- Condition
- New
- SKU
- V9783642145520
- ISBN
- 9783642145520
Paperback
Condition: New
€ 71.02
€ 71.02
Wireless Algorithms, Systems, and Applications: 5th International Conf...
. Ed(S): Pandurangan, Gopal; Kumar, V. S. Ani...
paperback. Constitutes the refereed proceedings of the 5th Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2010, held in Beijing, China, in August 2010. Editor(s): Pandurangan, Gopal; Kumar, V. S. Anil; Gu, Ming Dong; Liu, Yunhao; Li, Yingshu. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 256 pages, 156 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 20. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 256
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642146534
- ISBN
- 9783642146534
Paperback
Condition: New
€ 71.33
€ 71.33