.png){kind=logo}
Computer programming / software development
Results 4873 - 4896 of 8277
Computer programming / software development
Paperback. Constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held in Salvador, Brazil, in October 2008. This book features sections on computer vision and pattern recognition, distributed AI: autonomous agents, multi-agent systems and game knowledge representation and reasoning. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 305 pages, biography. BIC Classification: UMB; UMX; UNF; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 435.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 305
- Condition
- New
- SKU
- V9783540881896
- ISBN
- 9783540881896
Paperback
Condition: New
€ 67.07
€ 67.07
Paperback. Constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2008, held in Sabadell, Spain, in October 2008. This book presents papers that are devoted to theory and tools for modeling decisions, as well as applications that encompass decision making processes. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 247 pages, biography. BIC Classification: KJT; UGK; UMB; UMX; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 237 x 153 x 15. Weight in Grams: 370.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 247
- Condition
- New
- SKU
- V9783540882688
- ISBN
- 9783540882688
Paperback
Condition: New
€ 66.97
€ 66.97
paperback. Constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and Applications, LATA 2008, held in Tarragona, Spain, in March 2008. This book presents 40 revised papers that are reviewed and selected from 134 submissions and deal with the various issues related to automata theory and formal languages. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 514 pages, biography. BIC Classification: UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 783.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 514
- Condition
- New
- SKU
- V9783540882817
- ISBN
- 9783540882817
Paperback
Condition: New
€ 69.16
€ 69.16
Paperback. Constitutes the refereed proceedings of the 11th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2008, held in Lisbon, Portugal, in October 2008. This book presents the papers that are organized in topical sections on knowledge representation; planning and scheduling; constraint satisfaction and optimization; and, machine learning. Series: Lecture Notes in Computer Science. Num Pages: 477 pages, biography. BIC Classification: UGK; UMB; UYQL; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 477
- Condition
- New
- SKU
- V9783540883081
- ISBN
- 9783540883081
Paperback
Condition: New
€ 68.80
€ 68.80
Paperback. Constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. This book presents the papers that are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, and theory. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 444 pages, biography. BIC Classification: UKN; UMB; UMX; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 444
- Condition
- New
- SKU
- V9783540883869
- ISBN
- 9783540883869
Paperback
Condition: New
€ 68.47
€ 68.47
Paperback. Constitutes the refereed proceedings of the Second International Workshop on Post-Quantum Cryptography, PQCrypto 2008, held in Cincinnati, OH, USA, in October 2008. This book contains the papers that present four families of public key cryptosystems that have the potential to resist quantum computers. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 241 pages, biography. BIC Classification: UKN; UMB; UNH; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 241
- Condition
- New
- SKU
- V9783540884026
- ISBN
- 9783540884026
Paperback
Condition: New
€ 78.03
€ 78.03
Paperback. Constitutes the refereed proceedings of the 6th International Conference on Rough Sets and Current Trends in Computing, RSCTC 2008, held in Akron, OH, USA, in October 2008. This book presents the papers that are organized in topical sections on logical and mathematical foundations, data analysis, data mining, and decision support systems. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 547 pages, biography. BIC Classification: UG; UKR; UMX; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 831.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 547
- Condition
- New
- SKU
- V9783540884231
- ISBN
- 9783540884231
Paperback
Condition: New
€ 69.46
€ 69.46
Paperback. Constitutes the refereed proceedings of the 5th International Workshop on Hybrid Metaheuristics, HM 2008, held in Dortmund, Germany, in October 2008. This book discusses specific aspects of combinations of metaheuristics and other solving techniques for tackling particular relevant constrained optimization problems, such as fiber optic networks. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 213 pages, biography. BIC Classification: UMB; UND; UNF; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 213
- Condition
- New
- SKU
- V9783540884385
- ISBN
- 9783540884385
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Constitutes the refereed proceedings of the 6th International Conference on Computational Methods in Systems Biology, CMSB 2008, held in Rostock, Germany, in September 2008. This book focuses on modeling approaches, including process algebra, simulation approaches, analysis methods, in particular model checking and flux analysis, and case studies. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 413 pages, biography. BIC Classification: PS; UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 413
- Condition
- New
- SKU
- V9783540885610
- ISBN
- 9783540885610
Paperback
Condition: New
€ 68.20
€ 68.20
Paperback. Constitutes the refereed proceedings of the 7th International Semantic Web Conference, ISWC 2008, held in Karlsruhe, Germany, during October 26-30, 2008. This book covers such topics as ontology engineering, data management, software and service engineering, non-standard reasoning with ontologies, and semantic retrieval. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 958 pages, biography. BIC Classification: UBW; UKN; UKR; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 48. Weight in Grams: 1317.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 958
- Condition
- New
- SKU
- V9783540885634
- ISBN
- 9783540885634
Paperback
Condition: New
€ 134.33
€ 134.33
Paperback. Constitutes the refereed proceedings of the Third Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2008, held in Dallas, TX, USA, in October 2008. This book addresses research and development efforts of various issues in the area of algorithms, and infrastructure less wireless networks. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 598 pages, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 908.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 598
- Condition
- New
- SKU
- V9783540885818
- ISBN
- 9783540885818
Paperback
Condition: New
€ 69.95
€ 69.95
Paperback. Constitutes the refereed proceedings of the 10th International Conference on Information and Communications Security, ICICS 2008, held in Zhengzhou, China, in December 2007. This book features sections on authentication and key exchange, digital signatures, applications, watermarking, fast implementations, applied cryptography, and cryptanalysis. Editor(s): Ryan, Mark D. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 449 pages, biography. BIC Classification: GPJ; UKN; UMB; URY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 449
- Condition
- New
- SKU
- V9783540886242
- ISBN
- 9783540886242
Paperback
Condition: New
€ 68.51
€ 68.51
Paperback. Constitutes the refereed proceedings of the 6th Mexican International Conference on Artificial Intelligence, MICAI 2008, held in Atizapan de Zaragoza, Mexico, in October 2008. This book features sections on logic and reasoning, knowledge-based systems, knowledge representation and acquisition, ontologies, and natural language processing. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 1060 pages, biography. BIC Classification: UG; UMB; UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 52. Weight in Grams: 1591.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1060
- Condition
- New
- SKU
- V9783540886358
- ISBN
- 9783540886358
Paperback
Condition: New
€ 201.68
€ 201.68
Paperback. Constitutes the papers of the 4th International Conference on E-business and Telecommunication Networks, ICETE 2007, held in Barcelona, Spain, during July 28-31, 2007. Series: Communications in Computer and Information Science. Num Pages: 415 pages, biography. BIC Classification: JPP; UF; UKN; UMB; URY; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 415
- Condition
- New
- SKU
- V9783540886525
- ISBN
- 9783540886525
Paperback
Condition: New
€ 68.19
€ 68.19
Paperback. Constitutes the papers of the Second International Conference on Software and Data Technologies, ICSOFT 2007, held in Barcelona, Spain, in July 2007, in conjunction with ENASE, the Evaluation of Novel Approaches to Software Engineering working conference. This book features sections on programming languages, and distributed and parallel systems. Series: Communications in Computer and Information Science. Num Pages: 428 pages, biography. BIC Classification: UGN; UMX; UMZ; UNF; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 428
- Condition
- New
- SKU
- V9783540886549
- ISBN
- 9783540886549
Paperback
Condition: New
€ 129.29
€ 129.29
paperback. Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008. Proceedings Series: Communications in Computer and Information Science. Num Pages: 135 pages, biography. BIC Classification: UL; UMB; UMZ; UTV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 227.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer Germany
- Edition
- 2009th Edition
- Number of pages
- 135
- Condition
- New
- SKU
- V9783540887072
- ISBN
- 9783540887072
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Constitutes the refereed proceedings of the Second International Conference on Web Reasoning and Rule Systems, RR 2008, held in Karlsruhe, Germany in October/November 2008. This title includes papers that address topics in Web reasoning and rule systems such as acquisition of rules and ontologies by knowledge extraction. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 253 pages, biography. BIC Classification: UG; UKR; UMZ; UND; UNF; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 253
- Condition
- New
- SKU
- V9783540887362
- ISBN
- 9783540887362
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Deals with inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena. This issue contains four detailed papers. Editor(s): Priami, Corrado. Series: Lecture Notes in Computer Science / Transactions on Computational Systems Biology. Num Pages: 160 pages, biography. BIC Classification: PSA; UGK; UMB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 8. Weight in Grams: 260.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 160
- Condition
- New
- SKU
- V9783540887645
- ISBN
- 9783540887645
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Constitutes the refereed proceedings of 13 international workshops held as part of OTM 2008 in Monterrey, Mexico, in November 2008. This title covers topics such as ambient data integration (ADI 2008), agents and web services merging in distributed environment (AWeSoMe 2008), and enterprise integration, interoperability and networking (EI2N 2008). Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 1125 pages, biography. BIC Classification: UKN; UKR; UMZ; UNF; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1692.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1125
- Condition
- New
- SKU
- V9783540888741
- ISBN
- 9783540888741
Paperback
Condition: New
€ 202.28
€ 202.28
Paperback. Constitutes the post-conference proceedings of the Third International Symposium on Applications of Graph Transformations, AGTIVE 2007, held in Kassel, Germany, in October 2007. This book presents the organized papers in topical sections on graph transformation applications, meta-modeling and domain-specific language, and dynamic system modeling. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 607 pages, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 920.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 607
- Condition
- New
- SKU
- V9783540890195
- ISBN
- 9783540890195
Paperback
Condition: New
€ 130.84
€ 130.84
Paperback. Constitutes the proceedings of the First International Conference on Simulation, Modeling, and Programming for Autonomous Robots, SIMPAR 2008, held in Venice, Italy, in November 2008. This book presents the papers that address various issues of robotics applications and simulation environments thereof, such as 3D robot simulation and reliability. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 365 pages, biography. BIC Classification: UGK; UKN; UMB; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 569.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 365
- Condition
- New
- SKU
- V9783540890751
- ISBN
- 9783540890751
Paperback
Condition: New
€ 67.71
€ 67.71
Paperback. Constitutes the post-conference proceedings of the Second International Workshop on Critical Information Infrastructures Security, CRITIS 2007, held in Benalmadena-Costa, Spain, in October 2007 in conjunction with ITCIP 2007, the first conference on Information Technology for Critical Infrastructure Protection. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 373 pages, biography. BIC Classification: UBJ; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 527.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 373
- Condition
- New
- SKU
- V9783540890959
- ISBN
- 9783540890959
Paperback
Condition: New
€ 67.79
€ 67.79
Paperback. Constitutes the refereed proceedings of the 15th International Symposium on String Processing and Information Retrieval, SPIRE 2008, held in Melbourne, Australia, in November 2008. This book presents the papers that are organized in topical sections on compression and performance, information retrieval scoring and ranking, and self-indexing. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 305 pages, biography. BIC Classification: UMB; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 305
- Condition
- New
- SKU
- V9783540890966
- ISBN
- 9783540890966
Paperback
Condition: New
€ 67.07
€ 67.07
Hardback. Pattern calculus is a new foundation for computation. This book introduces static and dynamic pattern calculus, supports a family of type systems for pattern calculi that build on novel typings of lamda-calculus, and details a new programming language, bondi. Num Pages: 213 pages, biography. BIC Classification: UM. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 213
- Condition
- New
- SKU
- V9783540891840
- ISBN
- 9783540891840
Hardback
Condition: New
€ 227.66
€ 227.66