.png){kind=logo}
Computing
Results 13657 - 13680 of 30854
Computing
Paperback. Constitutes the proceedings of three workshops (EvoCOP, EvoIASP and EvoSTIM/EvoPLAN) on the application of evolutionary programming and algorithms in various domains. The 33 papers cover combinatorial optimization problems, image analysis, signal processing, scheduling, timetabling and AI planning. Editor(s): Cagnoni, Stefano; Gottlieb, Jens; Hart, Emma; Middendorf, Martin; Raidl, Gunther R. (Vienna University of Technology). Series: Lecture Notes in Computer Science. Num Pages: 360 pages, biography. BIC Classification: UMB; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 19. Weight in Grams: 1130.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 360
- Condition
- New
- SKU
- V9783540434320
- ISBN
- 9783540434320
Paperback
Condition: New
€ 71.41
€ 71.41
Hardback. This text on fast stochastic simulation deals with methods of adaptive importance sampling (IS). The concept of IS is introduced and described with several numerical examples in the context of rare event simulation. The book also covers adaptive simulation and system parameter optimization. Num Pages: 242 pages, biography. BIC Classification: PBWL; UGK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 1190.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 242
- Condition
- New
- SKU
- V9783540434207
- ISBN
- 9783540434207
Hardback
Condition: New
€ 132.59
€ 132.59
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Katoen, Jost-Pieter; Stevens, Perdit...
Paperback. Constitutes the proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held in France in 2002. The 29 full papers cover real-time and probabilistic systems, scheduling, software verification, infinite-state systems and more. Editor(s): Katoen, Jost-Pieter; Stevens, Perdita. Series: Lecture Notes in Computer Science. Num Pages: 486 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 486
- Condition
- New
- SKU
- V9783540434191
- ISBN
- 9783540434191
Paperback
Condition: New
€ 74.05
€ 74.05
Hardback. Series: X.systems.press. BIC Classification: UMZ. Dimension: 235 x 155. Weight in Grams: 2650.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540434184
- ISBN
- 9783540434184
Hardback
Condition: New
€ 161.24
€ 161.24
Hardback. Teaches finite element methods and basic finite difference methods from a computational point of view. This text emphasizes developing flexible computer programs using the numerical library Diffpack, which is detailed for problems including model equations in applied mathematics, heat transfer, elasticity, and viscous fluid flow. Series: Texts in Computational Science and Engineering. Num Pages: 888 pages, biography. BIC Classification: PBKJ; UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 160 x 37. Weight in Grams: 1340.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2003
- Number of pages
- 888
- Condition
- New
- SKU
- V9783540434160
- ISBN
- 9783540434160
Hardback
Condition: New
€ 73.81
€ 73.81
Paperback. The main goal of this book is to provide an overview of some of the developments in the field of domain decomposition methods. Papers reflect some of the most active research areas in domain decomposition such as novel FETI, Neumann-Neumann, overlapping Schwarz and Mortar methods. Editor(s): Pavarino, Luca F.; Toselli, Andrea. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 255 pages, 11 black & white illustrations, 10 colour illustrations, 54 black & white tables, biograp. BIC Classification: PBKJ; UK; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 14. Weight in Grams: 452.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 255
- Condition
- New
- SKU
- V9783540434139
- ISBN
- 9783540434139
Paperback
Condition: New
€ 127.73
€ 127.73
Trends in Network and Pervasive Computing Arcs 2002
. Ed(S): Schmeck, Hartmut; Ungerer, Theo; Wol...
Paperback. This volume constitutes the refereed proceedings of the International Conference on Architecture of Computing Systems held in Germany in 2002. The 18 revised full papers cover context-aware systems, system aspects, networking, processor architecture, and middleware and verification. Editor(s): Schmeck, Hartmut; Ungerer, Theo; Wolf, Lars. Series: Lecture Notes in Computer Science. Num Pages: 308 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 16. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 308
- Condition
- New
- SKU
- V9783540434092
- ISBN
- 9783540434092
Paperback
Condition: New
€ 70.37
€ 70.37
Paperback. Constitutes the refereed proceedings of the 10th International Conference on Digital Geometry for Computer Imagery held in France in 2002. The 22 papers and 13 posters cover topology, combinatorial image analysis, morphological analysis, shape representation, models for discrete geometry and more. Editor(s): Braquelaire, Achille; Lauchaud, Jacques-Olivier; Vialard, Anne. Series: Lecture Notes in Computer Science. Num Pages: 456 pages, biography. BIC Classification: UNC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 156 x 234 x 23. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 456
- Condition
- New
- SKU
- V9783540433804
- ISBN
- 9783540433804
Paperback
Condition: New
€ 73.28
€ 73.28
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes ...
Nipkow, Tobias, Paulson, Lawrence C., Wenzel,...
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 226 pages, biography. BIC Classification: HPL; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 157 x 235 x 19. Weight in Grams: 370.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer
- Edition
- 2002nd Edition
- Condition
- New
- SKU
- V9783540433767
- ISBN
- 9783540433767
Paperback
Condition: New
€ 74.51
€ 74.51
Paperback. Constitutes the refereed post-proceedings of the Second Workshop of Central and Eastern Europe on Multi-Agent Systems held in Poland in 2001. The 33 revised papers address organizational and social aspects of MAS; communication languages, protocols and negotiation; applications of MAS and more. Editor(s): Dunin-Keplicz, Barbara; Nawarecki, Edward. Series: Lecture Notes in Computer Science. Num Pages: 346 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 18. Weight in Grams: 500.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 346
- Condition
- New
- SKU
- V9783540433705
- ISBN
- 9783540433705
Paperback
Condition: New
€ 71.23
€ 71.23
Paperback. Constitutes the refereed proceedings of the 11th International Conference on Compiler Construction held in France in 2002. The 19 full papers cover analysis and optimization, low-level analysis, grammars and parsing, domain-specific languages and tools, energy consumption optimizations and more. Editor(s): Horspool, R.Nigel. Series: Lecture Notes in Computer Science. Num Pages: 360 pages, biography. BIC Classification: UMC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 360
- Condition
- New
- SKU
- V9783540433699
- ISBN
- 9783540433699
Paperback
Condition: New
€ 71.35
€ 71.35
Paperback. Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures held in France in 2002. The 28 full papers cover algebraic, logical and geometric theories and methods supporting the analysis and transformation of programs and software systems. Editor(s): Nielsen, Mogens; Engberg, Uffe. Series: Lecture Notes in Computer Science. Num Pages: 443 pages, biography. BIC Classification: UMZ; UYA; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 443
- Condition
- New
- SKU
- V9783540433668
- ISBN
- 9783540433668
Paperback
Condition: New
€ 73.21
€ 73.21
Paperback. Constitutes the proceedings of the 11th European Symposium on Programming held in France in 2002. The 21 revised full papers cover typing and modularity, programming paradigms, lambda calculus, program analysis applications and principles, and verification and analysis of distributed programs. Editor(s): Metayer, Daniel le. Series: Lecture Notes in Computer Science. Num Pages: 330 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 18. Weight in Grams: 489.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 330
- Condition
- New
- SKU
- V9783540433637
- ISBN
- 9783540433637
Paperback
Condition: New
€ 71.09
€ 71.09
Paperback. Constitutes the proceedings of the 5th International Conference on Visual Information Systems held in Taiwan in 2002. The 28 revised full papers cover content-based indexing, search and retrieval visual information, system architectures, image/video databases, networked video and applications. Editor(s): Chang, Shi-Kuo; Chen, Zen; Lee, Shu-Yin. Series: Lecture Notes in Computer Science. Num Pages: 340 pages, biography. BIC Classification: UYQV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 18. Weight in Grams: 478.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 340
- Condition
- New
- SKU
- V9783540433583
- ISBN
- 9783540433583
Paperback
Condition: New
€ 70.99
€ 70.99
paperback. Constitutes the refereed proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering held in France in 2002. The 21 full papers and four tool presentations cover formal frameworks, model and program analysis, architecture descriptions, meta-models and more. Editor(s): Kutsche, Ralf-Detlef; Weber, Herbert. Series: Lecture Notes in Computer Science. Num Pages: 348 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 348
- Condition
- New
- SKU
- V9783540433538
- ISBN
- 9783540433538
Paperback
Condition: New
€ 67.96
€ 67.96
Paperback. The Internet and the World Wide Web are becoming increasingly important in our highly interconnected world. This book addresses the topic of querying the data available, with regard to its quality, in a systematic and comprehensive way from a database point of view. Series: Lecture Notes in Computer Science. Num Pages: 178 pages, biography. BIC Classification: UDB; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 9. Weight in Grams: 251.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 178
- Condition
- New
- SKU
- V9783540433491
- ISBN
- 9783540433491
Paperback
Condition: New
€ 65.74
€ 65.74
Paperback. Spatial knowledge representation and reasoning with spatial knowledge are relevant issues for many application areas. Starting out with the qualitative, topological constraint calculus RCC8 proposed by Randell, Cui and Cohn, this work presents answers to a variety of open questions regarding RCC8. Series: Lecture Notes in Computer Science. Num Pages: 228 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 327.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 228
- Condition
- New
- SKU
- V9783540433460
- ISBN
- 9783540433460
Paperback
Condition: New
€ 66.28
€ 66.28
Paperback. Constitutes the refereed proceedings of the 24th European Colloquium on Information Retrieval Research held in Glasgow in 2002. The 23 revised full papers cover multimedia, Web-information retrieval, query modification, soft computing, models, categorization, structured documents and more. Editor(s): Crestani, Fabio; Girolami, Mark; Van Rijsbergen, C. J. Series: Lecture Notes in Computer Science. Num Pages: 366 pages, biography. BIC Classification: UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 532.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 366
- Condition
- New
- SKU
- V9783540433439
- ISBN
- 9783540433439
Paperback
Condition: New
€ 71.69
€ 71.69
Hardback. Integrating two areas of computer science, namely, data mining and evolutionary algorithms (EAs), this book presents a comprehensive review of both data mining and EAs and discusses significant advances in the integration of these two areas. It explains both basic concepts and advanced topics. Series: Natural Computing Series. Num Pages: 279 pages, 10 black & white tables, biography. BIC Classification: UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 170 x 22. Weight in Grams: 544.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783540433316
- ISBN
- 9783540433316
Hardback
Condition: New
€ 133.08
€ 133.08
Paperback. Addresses several problems of control and filtering of 2-D discrete systems. This monographs treats the problems of Hinfinity filtering, Hinfinity control, stabilization, Hinfinity model reduction as well as Hinfinity deconvolution filtering of 2-D linear discrete systems. Series: Lecture Notes in Control and Information Sciences. Num Pages: 168 pages, biography. BIC Classification: TJFM; UYS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 9. Weight in Grams: 245.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 168
- Condition
- New
- SKU
- V9783540433293
- ISBN
- 9783540433293
Paperback
Condition: New
€ 67.51
€ 67.51
Paperback. Constitutes the post-proceedings of the 9th International Symposium on Graph Drawing, GD 2001. This book also includes a corrected version of a paper from the predecessor volume, short reports on the software systems exhibition, two papers of the special session on graph exchange formats, and a report on the annual graph drawing contests. Editor(s): Mutzel, Petra (Technical University Vienna, Austria); Junger, Michael (Universitat zu Koln, Germany); Leipert, Sebastian. Series: Lecture Notes in Computer Science. Num Pages: 544 pages, biography. BIC Classification: TBG; UFM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 28. Weight in Grams: 760.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 544
- Condition
- New
- SKU
- V9783540433095
- ISBN
- 9783540433095
Paperback
Condition: New
€ 135.89
€ 135.89
Hypermedia, Openness, Structural Awareness and Adaptivity
. Ed(S): Reich, Siegfried; Tzagarakis, M. M.;...
paperback. Presenting the joint post-proceedings of three International Workshops held as part of the 12th ACM Conference on Hypertext and Hypermedia in Denmark in 2001. The 28 revised full papers are organized in sections on open hypermedia systems, structural computing and adaptive hypermedia. Editor(s): Reich, Siegfried; Tzagarakis, M. M.; De Bra, P. M. E. Series: Lecture Notes in Computer Science. Num Pages: 348 pages, biography. BIC Classification: UG; UKS; UMW. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 233 x 155 x 18. Weight in Grams: 1090.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 348
- Condition
- New
- SKU
- V9783540432937
- ISBN
- 9783540432937
Paperback
Condition: New
€ 71.14
€ 71.14
Paperback. This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory. Editor(s): Callaghan, P.M.; Luo, Z.; McKinna, J.; Pollack, R. Series: Lecture Notes in Computer Science. Num Pages: 248 pages, biography. BIC Classification: PBCD; UMC; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 13. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540432876
- ISBN
- 9783540432876
Paperback
Condition: New
€ 69.38
€ 69.38
Paperback. Reflecting the interest in using agents as a new paradigm for software engineering, this text presents 14 full papers and five survey articles from the seond AOSE workshop (2001). It covers societies and organizations, protocols and interaction frameworks, UML, agent systems and more. Editor(s): Wooldridge, Michael; Weiss, Gerhard; Ciancarini, Paolo. Series: Lecture Notes in Computer Science. Num Pages: 340 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 17. Weight in Grams: 473.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 340
- Condition
- New
- SKU
- V9783540432821
- ISBN
- 9783540432821
Paperback
Condition: New
€ 70.81
€ 70.81