.png){kind=logo}
Computing
Results 7501 - 7520 of 30799
Computing
Paperback. Constitutes the proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, held in Long Beach, CA, USA in January 2005. This work addresses various aspects of declarative programming including implementational issues and applications in areas such as database management, active networks, and more. Series: Lecture Notes in Computer Science. Num Pages: 280 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 424.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 280
- Condition
- New
- SKU
- V9783540243625
- ISBN
- 9783540243625
Paperback
Condition: New
€ 70.15
€ 70.15
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 217 pages, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 321.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 217
- Condition
- New
- SKU
- V9783540240532
- ISBN
- 9783540240532
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 208 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 208
- Condition
- New
- SKU
- V9783540239895
- ISBN
- 9783540239895
Paperback
Condition: New
€ 68.32
€ 68.32
paperback. Series: Lecture Notes in Computer Science. Num Pages: 280 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 402.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2005th Edition
- Number of pages
- 280
- Condition
- New
- SKU
- V9783540239871
- ISBN
- 9783540239871
Paperback
Condition: New
€ 69.82
€ 69.82
Paperback. Contains lecture notes on four topics at the forefront of research in computational mathematics. This book presents a self-contained guide to a research area, an extensive bibliography, and proofs of the key results. It is suitable for professional mathematicians who require an accurate account of research in areas parallel to their own. Series: Universitext. Num Pages: 275 pages, 52 black & white illustrations, 1 colour illustrations, 4 black & white tables, biography. BIC Classification: PBKS; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 16. Weight in Grams: 478.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 275
- Condition
- New
- SKU
- V9783540239215
- ISBN
- 9783540239215
Paperback
Condition: New
€ 67.12
€ 67.12
Paperback. Constitutes the proceedings of the Third International Semantic Web Conference, ISWC 2004, held in Hiroshima, Japan. This book contains papers which are organized in topical sections on data semantics, p2p systems, tools and methodologies for Web agents, user interfaces and visualization, large scale knowledge management, and other areas. Series: Lecture Notes in Computer Science. Num Pages: 879 pages, biography. BIC Classification: UDB; UNN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 44. Weight in Grams: 1288.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 879
- Condition
- New
- SKU
- V9783540237983
- ISBN
- 9783540237983
Paperback
Condition: New
€ 133.28
€ 133.28
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 448 pages, biography. BIC Classification: UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 448
- Condition
- New
- SKU
- V9783540237389
- ISBN
- 9783540237389
Paperback
Condition: New
€ 73.42
€ 73.42
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 190 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 294.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 190
- Condition
- New
- SKU
- V9783540237273
- ISBN
- 9783540237273
Paperback
Condition: New
€ 68.23
€ 68.23
Paperback. Constitutes the refereed proceedings of the Second Asian Symposium on Programming Languages and Systems, APLAS 2004, held in Taipei, Taiwan in November 2004. This book covers topics such as type theory, program transformation, static analysis, verification, concurrent systems, code generation, programming calculi, language support, and more. Series: Lecture Notes in Computer Science. Num Pages: 464 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 657.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 464
- Condition
- New
- SKU
- V9783540237242
- ISBN
- 9783540237242
Paperback
Condition: New
€ 73.57
€ 73.57
Paperback. Constitutes the refereed proceedings of the three confederated conferences, CoopIS 2004, DOA 2004, and ODBASE 2004 held as OTM 2004 in Agia Napa, Cyprus. This book contains papers that looks at interoperability, workflow, and cooperation; distributed objects, infrastructure, enabling technology, Internet computing; and, data and Web semantics. Series: Lecture Notes in Computer Science. Num Pages: 874 pages, biography. BIC Classification: UDB; UN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 42. Weight in Grams: 1282.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 874
- Condition
- New
- SKU
- V9783540236634
- ISBN
- 9783540236634
Paperback
Condition: New
€ 133.29
€ 133.29
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 260 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 14. Weight in Grams: 375.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 260
- Condition
- New
- SKU
- V9783540236115
- ISBN
- 9783540236115
Paperback
Condition: New
€ 69.43
€ 69.43
Paperback. Constitutes the refereed proceedings of the Second International Conference on Automated Technology for Verificaton and Analysis, ATVA 2004, held in Taipei, Taiwan in October/November 2004. This work addresses topics such as model-checking theory, theorem-proving theory, state-space reduction techniques, parametric analysis, and more. Series: Lecture Notes in Computer Science. Num Pages: 522 pages, biography. BIC Classification: UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 727.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 522
- Condition
- New
- SKU
- V9783540236108
- ISBN
- 9783540236108
Paperback
Condition: New
€ 129.98
€ 129.98
Paperback. The papers are organized in topical sections on information agents and p2p computing, issues of agent communication, recommender agents, information agents and mobile computing, industrial applications, and cooperation in open environments. Series: Lecture Notes in Computer Science. Num Pages: 312 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 312
- Condition
- New
- SKU
- V9783540231707
- ISBN
- 9783540231707
Paperback
Condition: New
€ 70.63
€ 70.63
Paperback. The papers are grouped in three topical sections corresponding to the workshop topics. Series: Lecture Notes in Computer Science. Num Pages: 379 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 20. Weight in Grams: 1230.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 379
- Condition
- New
- SKU
- V9783540231691
- ISBN
- 9783540231691
Paperback
Condition: New
€ 72.08
€ 72.08
paperback. Among the topics addressed are formal verification, voting systems, formal specification, dependable automation systems, model checking, timed automata, real-time testing, fault-tolerance protocols, fail- safe fault tolerance, real-time scheduling, satisfiability checking, and even event recording automata. Series: Lecture Notes in Computer Science. Num Pages: 402 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2004th Edition
- Number of pages
- 402
- Condition
- New
- SKU
- V9783540231677
- ISBN
- 9783540231677
Paperback
Condition: New
€ 72.34
€ 72.34
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 255 pages, biography. BIC Classification: UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 880.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 255
- Condition
- New
- SKU
- V9783540230861
- ISBN
- 9783540230861
Paperback
Condition: New
€ 136.11
€ 136.11
Paperback. Num Pages: 607 pages, 231 black & white illustrations, 34 colour illustrations, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 31. Weight in Grams: 1017.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 607
- Condition
- New
- SKU
- V9783540230274
- ISBN
- 9783540230274
Paperback
Condition: New
€ 197.76
€ 197.76
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 533 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 749.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 533
- Condition
- New
- SKU
- V9783540230243
- ISBN
- 9783540230243
Paperback
Condition: New
€ 74.87
€ 74.87
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 172 pages, biography. BIC Classification: UDB; UNN. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 10. Weight in Grams: 281.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 172
- Condition
- New
- SKU
- V9783540229612
- ISBN
- 9783540229612
Paperback
Condition: New
€ 65.80
€ 65.80
Paperback. Refereed proceedings of EC-Web 2004, held in Zaragoza, Spain, in Aug/Sept 2004. 36 revised papers cover recommender systems, databases & EC applications, service-oriented e-commerce applications, electronic negotiation systems, security & trust in techniques for b2b e-commerce, negotiation strategies & protocols, modelling etc. Series: Lecture Notes in Computer Science. Num Pages: 388 pages, biography. BIC Classification: UDB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 543.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 388
- Condition
- New
- SKU
- V9783540229179
- ISBN
- 9783540229179
Paperback
Condition: New
€ 71.89
€ 71.89