Computing
Results 18217 - 18240 of 30854
Computing
Advances in Intelligent Data Analysis: Third International Symposium, ...
. Ed(S): Hand, David J.; Kok, Joost N. (Leide...
paperback. This text address all current aspects of intelligent data analysis, including sections on learning, visualization, classification and clustering, integration, applications and media mining. Editor(s): Hand, David J.; Kok, Joost N. (Leiden University); Berthold, Michael R. (University of Konstanz). Series: Lecture Notes in Computer Science. Num Pages: 556 pages, biography. BIC Classification: UNC; UYQP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 28. Weight in Grams: 842.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Germany
- Edition
- 1999th Edition
- Number of pages
- 556
- Condition
- New
- SKU
- V9783540663324
- ISBN
- 9783540663324
Paperback
Condition: New
€ 152.45
€ 152.45
Paperback. This text covers topics such as electronic commerce, anonymity control, fraud management, public-key certificates, steganography, content distribution, anonymity mechanisms, auctions and markets and distributed cryptography. Editor(s): Franklin, Matthew. Series: Lecture Notes in Computer Science. Num Pages: 276 pages, 30 black & white illustrations, 6 colour illustrations, biography. BIC Classification: KFFK; URY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 276
- Condition
- New
- SKU
- V9783540663621
- ISBN
- 9783540663621
Paperback
Condition: New
€ 66.80
€ 66.80
Paperback. This text details a new approach to domain-independent integer optimization, which, unlike traditional strategies, is based on local search. It develops the concepts and strategies of integer local search and describes possible combinations with classical methods from linear programming. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 144 pages, biography. BIC Classification: KJT; PBU; UMB; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 8. Weight in Grams: 240.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 144
- Condition
- New
- SKU
- V9783540663676
- ISBN
- 9783540663676
Paperback
Condition: New
€ 67.47
€ 67.47
Mustererkennung 1999: 21. DAGM-Symposium Bonn, 15.–17. September 199...
. Ed(S): Forstner, Wolfgang; Buhmann, Joachim...
paperback. Editor(s): Forstner, Wolfgang; Buhmann, Joachim M.; Faber, Annett; Faber, Petko. Series: Informatik Aktuell. Num Pages: 422 pages, 139 black & white illustrations, biography. BIC Classification: UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Germany
- Edition
- 1st Edition
- Number of pages
- 422
- Condition
- New
- SKU
- V9783540663812
- ISBN
- 9783540663812
Paperback
Condition: New
€ 84.99
€ 84.99
Hardback. Offers an introduction to the field of ferroelectric memories. Series: Springer Series in Advanced Microelectronics. Num Pages: 264 pages, 95 black & white illustrations, 2 black & white tables, biography. BIC Classification: PHV; TJFD; UKS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 553.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 264
- Condition
- New
- SKU
- V9783540663874
- ISBN
- 9783540663874
Hardback
Condition: New
€ 199.15
€ 199.15
Paperback. After an overview of different models of project scheduling, this work deals with exact and heuristic scheduling algorithms and the development of new algorithms. Finally, it shows how the models and methods can be applied to projects in research and development as well as market research. Series: Lecture Notes in Economics and Mathematical Systems. Num Pages: 233 pages, 12 black & white illustrations, biography. BIC Classification: KJT; UL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 233
- Condition
- New
- SKU
- V9783540663928
- ISBN
- 9783540663928
Paperback
Condition: New
€ 66.48
€ 66.48
paperback. Series: Informationstechnologien fur die Praxis. Num Pages: 337 pages, 29 black & white illustrations. BIC Classification: KJQ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 460.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st Edition
- Number of pages
- 337
- Condition
- New
- SKU
- V9783540663935
- ISBN
- 9783540663935
Paperback
Condition: New
€ 83.98
€ 83.98
Paperback. Series: Informationstechnologien fur die Praxis. Num Pages: 276 pages, 2 black & white illustrations, 5 black & white tables. BIC Classification: KJQ; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 380.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 276
- Condition
- New
- SKU
- V9783540663942
- ISBN
- 9783540663942
Paperback
Condition: New
€ 83.40
€ 83.40
Paperback.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9783540664017
- ISBN
- 9783540664017
Paperback
Condition: New
€ 69.38
€ 69.38
Paperback. This text addresses all areas of semantics, logics and verification techniques for concurrent systems, in particular process algebras, Petri nets, event-structures, real-time systems, hybrid systems, stochastic systems, decidability, model-checking, verification and refinement. Editor(s): Baeten, J. C. M.; Mauw, Sjouke. Series: Lecture Notes in Computer Science. Num Pages: 596 pages, biography. BIC Classification: PBW; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 1820.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 596
- Condition
- New
- SKU
- V9783540664253
- ISBN
- 9783540664253
Paperback
Condition: New
€ 136.83
€ 136.83
Paperback. The first part of this monograph analyzes the knowledge discovery process. The second section covers the development of focusing solutions. The last part evaluates specific focusing solutions in various application domains. The book also provides various appendices for easy accessibility. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 332 pages, biography. BIC Classification: UNC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 332
- Condition
- New
- SKU
- V9783540664291
- ISBN
- 9783540664291
Paperback
Condition: New
€ 70.78
€ 70.78
Paperback. Editor(s): Tjoa, A. Min; Soda, Giovanni; Goos, G.; Hartmanis, J.; Leeuwen, J. van. Series: Lecture Notes in Computer Science. Num Pages: 1146 pages, biography. BIC Classification: UNS; UYQE. Category: (G) General (US: Trade); (P) Professional & Scholarly; (UP) Postgraduate; (UU) Undergraduate. Dimension: 234 x 156 x 56. Weight in Grams: 1671.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1146
- Condition
- New
- SKU
- V9783540664482
- ISBN
- 9783540664482
Paperback
Condition: New
€ 135.83
€ 135.83
Paperback / so. 29.Jahrestagung der Gesellschaft fur Informatik Paderborn, 5.-9. Oktober 1999" Editor(s): Beiersdorfer, Kurt; Engels, Gregor; Schafer, Wilhelm. Series: Informatik Aktuell. Num Pages: black & white illustrations, bibliography. BIC Classification: UYZG. Category: (G) General (US: Trade). Dimension: 234 x 156 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540664505
- ISBN
- 9783540664505
Paperback
Condition: New
€ 73.92
€ 73.92
Advances in Artificial Life: 5th European Conference, ECAL'99, Lausann...
. Ed(S): Floreano, Dario; Nicoud, Jean Daniel...
paperback. This study constitutes the refereed proceedings of the 5th European Conference on Artificial Life, ECAL'99. Topics covered include epistemology; evolutionary cybernetics; bio-inspired robotics and autonomous agents; and self-replication, self-maintenance, and gene expression. Editor(s): Floreano, Dario; Nicoud, Jean Daniel; Mondada, Francesco. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 760 pages, biography. BIC Classification: TJFM1; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 38. Weight in Grams: 1046.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Germany
- Edition
- 1999th Edition
- Number of pages
- 760
- Condition
- New
- SKU
- V9783540664529
- ISBN
- 9783540664529
Paperback
Condition: New
€ 131.66
€ 131.66
Paperback. The refereed proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '99, held in Nice, France, in September 1999. Among the theorem provers evaluated in these 20 revised papers are COQ, HOL, Isabelle, Isabelle/ZF, and OpenMath. Editor(s): Bertot, Yves; Dowek, Gilles; Hirschowitz, Andre; Paulin, Christine; Thery, Laurent. Series: Lecture Notes in Computer Science. Num Pages: 372 pages, biography. BIC Classification: PBW; UFM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 157 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 372
- Condition
- New
- SKU
- V9783540664635
- ISBN
- 9783540664635
Paperback
Condition: New
€ 71.66
€ 71.66
paperback. These conference papers are organized in topical sections on time series, applications, taxonomies and partitions, logic methods, distributed and multirelational databases, text mining and feature selection, rules and induction, and interesting and unusual issues. Editor(s): Zytkow, Jan M.; Rauch, Jan. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 607 pages, biography. BIC Classification: UNC; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 31. Weight in Grams: 852.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1999th Edition
- Number of pages
- 607
- Condition
- New
- SKU
- V9783540664901
- ISBN
- 9783540664901
Paperback
Condition: New
€ 137.18
€ 137.18
Logic Programming and Automated Reasoning: 6th International Conferenc...
. Ed(S): Ganzinger, Harald; Voronkov, Andrei;...
paperback. Included among the topics addressed in these proceedings are: logic programming, constraint logic programming, complexity aspects, logical inference search, model checking, formal specification, rewriting, practical reasoning, Horn clauses, linear logic, and partial evaluation. Editor(s): Ganzinger, Harald; Voronkov, Andrei; McAllester, David P. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 416 pages, biography. BIC Classification: UYF; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 21. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Germany
- Edition
- 1999th Edition
- Number of pages
- 416
- Condition
- New
- SKU
- V9783540664925
- ISBN
- 9783540664925
Paperback
Condition: New
€ 72.42
€ 72.42
Paperback. The refereed proceedings of the Second International Workshop on Text, Speech and Dialogue (TSD '99). The papers present state-of-the-art research and technology in the field of natural language processing with emphasis on text, speech, and spoken dialogue. Editor(s): Matousek, Vaclav; Mautner, Pavel; Ocelikova, Jana; Sojka, Petr. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 410 pages, biography. BIC Classification: UYQL; UYU. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 21. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 410
- Condition
- New
- SKU
- V9783540664949
- ISBN
- 9783540664949
Paperback
Condition: New
€ 72.36
€ 72.36
Paperback. This book constitutes the refereed proceedings of the 23rd Annual German Conference on Artificial Intelligence, KI-99, held in Bonn, Germany, in September 1999. Besides the established traditional topics addressed, emphasis is placed on pattern recognition and robotics from an AI point of view. Editor(s): Burgard, Wolfram; Christaller, Thomas; Cremers, Armin B. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 316 pages, biography. BIC Classification: TJFM1; UYQP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 1030.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 316
- Condition
- New
- SKU
- V9783540664956
- ISBN
- 9783540664956
Paperback
Condition: New
€ 70.77
€ 70.77
Theoretical and Practical Aspects of Spin Model Checking
. Ed(S): Dams, Dennis; Gerth, Robert; Leue, S...
Paperback. This text constitutes the refereed proceedings of the 5th and 6th International SPIN Workshops on SPIN Model Checking. Papers present up-to-date research results centred around SPIN, as well as valuable surveys and summaries of application experience. Editor(s): Dams, Dennis; Gerth, Robert; Leue, Stefan; Massinek, Mieke. Series: Lecture Notes in Computer Science. Num Pages: 292 pages, biography. BIC Classification: UFM; UGK; UMG. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 15. Weight in Grams: 910.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 292
- Condition
- New
- SKU
- V9783540664994
- ISBN
- 9783540664994
Paperback
Condition: New
€ 69.98
€ 69.98
Paperback. Programming techniques like object-oriented programming and generic (template) programming are covered here. These techniques increase flexibility, modularization, code reuse and improve maintenance of large numerical codes. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 372 pages, 37 black & white illustrations, 32 black & white tables, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 527.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 372
- Condition
- New
- SKU
- V9783540665571
- ISBN
- 9783540665571
Paperback
Condition: New
€ 198.76
€ 198.76
Paperback. Series: Mathematiques et Applications. BIC Classification: UYT. Dimension: 235 x 155. Weight in Grams: 1100.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540665632
- ISBN
- 9783540665632
Paperback
Condition: New
€ 71.25
€ 71.25
Hardback. Manipulation of labelled transition systems offers a means of tracing flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically. This textbook gives an introduction into the basics of process algebra and its applications. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 168 pages, 11 black & white tables, biography. BIC Classification: PBF; UF; UK; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 432.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 168
- Condition
- New
- SKU
- V9783540665793
- ISBN
- 9783540665793
Hardback
Condition: New
€ 70.22
€ 70.22
Cooperative Buildings. Integrating Information, Organizations, and Arc...
. Ed(S): Streitz, N. A.; Siegel, Jane; Hartko...
Paperback. The proceedings of the 2nd International Workshop on Cooperative Buildings. Topics covered include integrated workplace design and architecture, critical technologies, meeting and conference facilities, infrastructure, methodology and empirical studies, and networked home environments. Editor(s): Streitz, N. A.; Siegel, Jane; Hartkopf, Volker; Konomi, Shinichi. Series: Lecture Notes in Computer Science. Num Pages: 239 pages, biography. BIC Classification: AMG; KJW; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 770.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 239
- Condition
- New
- SKU
- V9783540665960
- ISBN
- 9783540665960
Paperback
Condition: New
€ 69.06
€ 69.06