.png){kind=logo}
Computer programming / software development
Results 5065 - 5088 of 8431
Computer programming / software development
Paperback. Covers the proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009. This book addresses issues from the communities of verification, model checking, and abstract interpretation. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 392 pages, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 392
- Condition
- New
- SKU
- V9783540938996
- ISBN
- 9783540938996
Paperback
Condition: New
€ 67.95
€ 67.95
Paperback. Covers the 6th International Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, in Estoril, Portugal, on May 12, 2008. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 261 pages, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 261
- Condition
- New
- SKU
- V9783540939191
- ISBN
- 9783540939191
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Constitutes the refereed post workshop proceedings of the 6th International Workshop on Approximation and Online Algorithms, WAOA 2008, held in Karlsruhe, Germany, in September 2008 as part of the ALGO 2008 conference event. This title includes 22 revised full papers that were reviewed and selected from 56 submissions. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 303 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 468.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 303
- Condition
- New
- SKU
- V9783540939795
- ISBN
- 9783540939795
Paperback
Condition: New
€ 67.07
€ 67.07
Hardback. This text on software engineering and knowledge management is comprised of self-contained chapters that provide clearly-stated learning objectives, in-depth presentations, practical applications, detailed references for further study and useful exercises. Num Pages: 251 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 550.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 251
- Condition
- New
- SKU
- V9783540958796
- ISBN
- 9783540958796
Hardback
Condition: New
€ 67.59
€ 67.59
Paperback. Constitutes the refereed proceedings of the Third International Workshop on Algorithms and Computation, WALCOM 2009, held in Kolkata, India, in February 2009. This book presents the papers that feature original research in the areas of design and analysis of algorithms, computational geometry, graph drawing and graph algorithms. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 421 pages, biography. BIC Classification: PSA; UG; UKN; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 421
- Condition
- New
- SKU
- V9783642002014
- ISBN
- 9783642002014
Paperback
Condition: New
€ 68.21
€ 68.21
Paperback. This volume contains papers presented at the AAMAS 2008 conference. It covers argument-based reasoning, argumentation and dialogue, as well as strategic and pragmatic issues. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 247 pages, biography. BIC Classification: UGK; UKN; UMB; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 247
- Condition
- New
- SKU
- V9783642002069
- ISBN
- 9783642002069
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Constitutes the refereed proceedings of the 6th European Conference on Wireless Sensor Networks, EWSN 2009, held in Cork, Ireland, in February 2009. This book presents 23 revised full papers that were reviewed and selected from 145 submissions. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 386 pages, biography. BIC Classification: UKN; UKR; UMB; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 386
- Condition
- New
- SKU
- V9783642002236
- ISBN
- 9783642002236
Paperback
Condition: New
€ 67.91
€ 67.91
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Dusseldorf, Germany in February 2009. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 377 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 377
- Condition
- New
- SKU
- V9783642002540
- ISBN
- 9783642002540
Paperback
Condition: New
€ 67.79
€ 67.79
Paperback. Constitutes the thoroughly refereed post-workshop proceedings of nine international workshops held in Milan, Italy, in conjunction with the 6th International Conference. Series: Lecture Notes in Business Information Processing. Num Pages: 741 pages, biography. BIC Classification: KJQ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 1122.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- annotated ed
- Number of pages
- 741
- Condition
- New
- SKU
- V9783642003271
- ISBN
- 9783642003271
Paperback
Condition: New
€ 132.17
€ 132.17
Paperback. Constitutes the proceedings of the Second Euro-NF International Conference, NET-COOP 2008 held in Paris, France, in September 2008. This book contains sections on economics and peer-to-peer networks; routing and measurements; scheduling; tcp and congestion control; as well as wireless networks. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 131 pages, biography. BIC Classification: UKN; UKR; UMB; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 218.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 131
- Condition
- New
- SKU
- V9783642003929
- ISBN
- 9783642003929
Paperback
Condition: New
€ 65.48
€ 65.48
Paperback. Constitutes the refereed proceedings of the Third International Conference on Information Systems, Technology and Management, ICISTM 2009, held in Ghaziabad, India, in March 2009. This book presents 30 revised full papers together with 4 keynote papers that were reviewed and selected from 79 submissions. Series: Communications in Computer and Information Science. Num Pages: 381 pages, biography. BIC Classification: UG; UKR; UMZ; UNF; URY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 1190.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 381
- Condition
- New
- SKU
- V9783642004049
- ISBN
- 9783642004049
Paperback
Condition: New
€ 71.83
€ 71.83
Paperback. Constitutes the refereed proceedings of the 2nd International Symposium on End User Development, IS-EUD 2009, held in Siegen, Germany in March 2009. This book presents 12 revised full papers together with 2 invited talks and 2 refereed notes that were reviewed and selected. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 285 pages, biography. BIC Classification: UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 156 x 18. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 285
- Condition
- New
- SKU
- V9783642004254
- ISBN
- 9783642004254
Paperback
Condition: New
€ 66.99
€ 66.99
Paperback. Constitutes the refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. Editor(s): Peled, Doron A.; Wooldridge, Mike. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 189 pages, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 189
- Condition
- New
- SKU
- V9783642004308
- ISBN
- 9783642004308
Paperback
Condition: New
€ 66.02
€ 66.02
Paperback. Constitutes the post-conference proceedings of the First International Conference on Software Language Engineering, SLE 2008, held in Toulouse, France, in September 2008. This book includes sections on language and tool analysis and evaluation, concrete and abstract syntax, and language engineering techniques. Editor(s): Gasevic, Dragan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 356 pages, biography. BIC Classification: UGK; UKR; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 551.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 356
- Condition
- New
- SKU
- V9783642004339
- ISBN
- 9783642004339
Paperback
Condition: New
€ 67.59
€ 67.59
paperback. Human Machine Interaction, or more commonly Human Computer Interaction, is the study of interaction between people and computers. This title documents the results of the MMI research program on Human Machine Interaction involving 8 projects (selected from a total of 80 proposals) funded by the Hasler Foundation between 2005 and 2008. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 311 pages, biography. BIC Classification: UGK; UGN; UMB; UMZ; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 458.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer Germany
- Edition
- 2009th Edition
- Number of pages
- 311
- Condition
- New
- SKU
- V9783642004360
- ISBN
- 9783642004360
Paperback
Condition: New
€ 67.28
€ 67.28
Paperback. Contains sections that range from coordination to organization, from organization to coordination, formalization of norms and institutions, design of norms and institutions, as well as applications. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 279 pages, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642004421
- ISBN
- 9783642004421
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Constitutes the refereed proceedings of the 22nd International Conference on Architecture of Computing Systems, ARCS 2009, held in Delft, The Netherlands, in March 2009. This book contains sections on compilation technologies, reconfigurable hardware and applications, massive parallel architectures, organic computing and memory architectures. Series: Lecture Notes in Computer Science. Num Pages: 259 pages, biography. BIC Classification: UKN; UKR; UL; UMZ; UND. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 417.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 259
- Condition
- New
- SKU
- V9783642004537
- ISBN
- 9783642004537
Paperback
Condition: New
€ 66.78
€ 66.78
Paperback. Constitutes the refereed post-conference proceedings of the 4th International Conference on Numerical Analysis and Its Applications, NAA 2008, held in Lozenetz, Bulgaria in June 2008. This book addresses various aspects of numerical analysis and discusses a wide range of problems concerning achievements in physics, chemistry and engineering. Editor(s): Margenov, Svetozar; Vulkov, Lubin; Wasniewski, Jerzy. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 648 pages, biography. BIC Classification: PBKS; UGK; UMB; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 898.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 648
- Condition
- New
- SKU
- V9783642004636
- ISBN
- 9783642004636
Paperback
Condition: New
€ 131.30
€ 131.30
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Practice and Theory in Public-Key Cryptography, PKC 2009, held in Irvine, CA, USA, in March 2009. This book contains sections on number theory, applications and protocols, multi-party protocols, identity-based encryption, signatures and encryption. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 532 pages, biography. BIC Classification: UBJ; UKN; UKR; UMB; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 813.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 532
- Condition
- New
- SKU
- V9783642004674
- ISBN
- 9783642004674
Paperback
Condition: New
€ 69.34
€ 69.34
Paperback. Constitutes the post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. This book includes papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, and security. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 194 pages, biography. BIC Classification: PBKS; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 308.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 194
- Condition
- New
- SKU
- V9783642005145
- ISBN
- 9783642005145
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 426 pages, biography. BIC Classification: UMB; UMX; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 652.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 426
- Condition
- New
- SKU
- V9783642005893
- ISBN
- 9783642005893
Paperback
Condition: New
€ 68.27
€ 68.27
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 501 pages, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 501
- Condition
- New
- SKU
- V9783642005923
- ISBN
- 9783642005923
Paperback
Condition: New
€ 69.04
€ 69.04
Paperback. Contains topics that include semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 486 pages, biography. BIC Classification: UMB; UMX; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 486
- Condition
- New
- SKU
- V9783642005954
- ISBN
- 9783642005954
Paperback
Condition: New
€ 68.84
€ 68.84
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Independent Component Analysis and Signal Separation, ICA 2009, held in Paraty, Brazil, in March 2009. This book includes topical sections on theory, algorithms and architectures, biomedical applications, image processing, and speech and audio processing. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 804 pages, biography. BIC Classification: UFM; UMB; UNF; UYS. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 1217.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 804
- Condition
- New
- SKU
- V9783642005985
- ISBN
- 9783642005985
Paperback
Condition: New
€ 132.83
€ 132.83