.png){kind=logo}
Computing
Results 18121 - 18144 of 30851
Computing
Paperback. This text examines artificial intelligence techniques applied to structural engineering. It discusses advances in information technology and explores technology for the design, analysis, monitoring, control and diagnosis of various structural engineering systems. Editor(s): Smith, Ian. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 502 pages, biography. BIC Classification: TNC; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 716.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 502
- Condition
- New
- SKU
- V9783540648062
- ISBN
- 9783540648062
Paperback
Condition: New
€ 74.40
€ 74.40
Solving Irregularly Structured Problems in Parallel: 5th International...
. Ed(S): Ferreira, Alfonso; Rolim, Jose D. P....
paperback. The proceedings of a symposium on solving irregularly structured problems in parallel. It includes 26 papers, abstracts of four invited talks, and six invited presentations, on applicational and systems aspects arising in the development of parallel solutions to irregularly structured problems. Editor(s): Ferreira, Alfonso; Rolim, Jose D. P.; Simon, Horst D.; Teng, Shang-Hua. Series: Lecture Notes in Computer Science. Num Pages: 424 pages, biography. BIC Classification: UM; UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 1310.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer/Sci-Tech/Trade Germany
- Edition
- 1998th Edition
- Number of pages
- 424
- Condition
- New
- SKU
- V9783540648093
- ISBN
- 9783540648093
Paperback
Condition: New
€ 72.62
€ 72.62
Paperback. These papers present the proceedings of an international workshop on multimedia information analysis and retrieval. Among the topics discussed are invariant properties of images for robust image and video retrieval in compressed domain, pictorial query languages and video segmentation by content. Editor(s): Ip, Horace H. S.; Smeulders, Arnold W.M. Series: Lecture Notes in Computer Science. Num Pages: 280 pages, biography. BIC Classification: UG; UYS; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 280
- Condition
- New
- SKU
- V9783540648260
- ISBN
- 9783540648260
Paperback
Condition: New
€ 69.78
€ 69.78
Paperback. This volume constitutes the post-workshop proceedings of a conference on the implemetation of functional languages. The 21 revised papers are divided into sections including: compilation; types; benchmarking and profiling; parallelism; interaction; language design; and garbage collection. Editor(s): Clack, Chris; Hammond, Kevin; Davie, Tony. Series: Lecture Notes in Computer Science. Num Pages: 382 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 548.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 382
- Condition
- New
- SKU
- V9783540648499
- ISBN
- 9783540648499
Paperback
Condition: New
€ 71.98
€ 71.98
Paperback. "Advances in Pattern Recognition". Editor(s): Amin, Adnan; Dori, Dov; Pudil, Pavel; Freeman, Herbert. Series: Lecture Notes in Computer Science. Num Pages: 1094 pages, biography. BIC Classification: UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 53. Weight in Grams: 1474.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1094
- Condition
- New
- SKU
- V9783540648581
- ISBN
- 9783540648581
Paperback
Condition: New
€ 135.25
€ 135.25
Hardback. Using computer simulations, this text examines why our knowledge of science and technology has grown so much during the 20th century. It provides simulations of scientific discovery and theory formation, and models of science and technology and the conditions and dependencies of scientific work. Editor(s): Ahrweiler, P.; Gilbert, N. Num Pages: 254 pages, 10 black & white tables, biography. BIC Classification: PD; TB; UGK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 1190.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 254
- Condition
- New
- SKU
- V9783540648710
- ISBN
- 9783540648710
Hardback
Condition: New
€ 132.65
€ 132.65
Paperback. These papers present the proceedings of an international conference on concurrency theory. They discuss topics which include moduls of computation and semantic domains, process algebras, petri nets, event structures, real-time systems, hybrid systems, model checking and verification techniques. Editor(s): Sangiorgi, Davide; Simone, Robert de. Series: Lecture Notes in Computer Science. Num Pages: 663 pages, biography. BIC Classification: UMC; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 933.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 663
- Condition
- New
- SKU
- V9783540648963
- ISBN
- 9783540648963
Paperback
Condition: New
€ 138.38
€ 138.38
Paperback. Constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Types in Compilation, TIC '98, held in March 1998. This book presents 13 papers, organized topically on typed intermediate languages, program analyses, program transformations and code generation, memory management, and others. Editor(s): Leroy, Xavier; Ohori, Atsushi. Series: Lecture Notes in Computer Science. Num Pages: 308 pages, biography. BIC Classification: UMC; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 308
- Condition
- New
- SKU
- V9783540649250
- ISBN
- 9783540649250
Paperback
Condition: New
€ 70.43
€ 70.43
Paperback. Editor(s): Levi, Paul; Ahlers, Rolf-Jurgen; May, Franz; Schanz, Michael. Series: Informatik Aktuell. Num Pages: 612 pages, black & white illustrations. BIC Classification: UYQL; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 846.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 612
- Condition
- New
- SKU
- V9783540649359
- ISBN
- 9783540649359
Paperback
Condition: New
€ 75.63
€ 75.63
Paperback. Editor(s): Dassow, Jurgen; Kruse, Rudolf. Series: Informatik Aktuell. Num Pages: 419 pages, 104 black & white illustrations. BIC Classification: UML; UYQ; UYQL; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 419
- Condition
- New
- SKU
- V9783540649380
- ISBN
- 9783540649380
Paperback
Condition: New
€ 84.79
€ 84.79
Paperback. BIC Classification: UYT. Dimension: 235 x 155. Weight in Grams: 656.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540649441
- ISBN
- 9783540649441
Paperback
Condition: New
€ 118.09
€ 118.09
Paperback. The papers collected in this text were taken from an international conference on database and expert systems applications. They discuss topics including active databases, object-oriented systems, data engineering, information retrieval, workflow and co-operative systems and genetic algorithms. Editor(s): Quirchmayr, Gerald; Schweighofer, Erich; Bench-Capon, Trevor J. M. Series: Lecture Notes in Computer Science. Num Pages: 958 pages, biography. BIC Classification: UN; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 46. Weight in Grams: 1372.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 958
- Condition
- New
- SKU
- V9783540649502
- ISBN
- 9783540649502
Paperback
Condition: New
€ 133.82
€ 133.82
paperback. The revised proceedings of the Second International Conference on Financial Cryptography. The papers discuss developments in financial cryptography and address all topics in the area, such as electronic payment systems, digital cash, electronic commerce, digital signatures and WWW commerce. Editor(s): Hirschfeld, Rafael. Series: Lecture Notes in Computer Science. Num Pages: 328 pages, biography. BIC Classification: KF; PBW; URD; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 1020.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1998th Edition
- Number of pages
- 328
- Condition
- New
- SKU
- V9783540649519
- ISBN
- 9783540649519
Paperback
Condition: New
€ 70.70
€ 70.70
Paperback. The proceedings of the Sixth European Workshop on Software Process Technology. It contains 16 papers and 10 position papers which cover all aspects of software process technology, taking into account both the academic point of view as well as the needs of practitioners from industry. Editor(s): Gruhn, Volker. Series: Lecture Notes in Computer Science. Num Pages: 172 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 9. Weight in Grams: 251.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 172
- Condition
- New
- SKU
- V9783540649564
- ISBN
- 9783540649564
Paperback
Condition: New
€ 67.60
€ 67.60
Paperback. These papers present the proceedings of an international workshop on evolutionary robotics. They outline the research and developments in the field and the introductory paper offers a survey of the use of evolutionary computing techniques for the automatic design of adaptive robots. Editor(s): Husbands, Philip; Meyer, Jean-Arcady. Series: Lecture Notes in Computer Science. Num Pages: 260 pages, biography. BIC Classification: TJFM1; UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 375.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 260
- Condition
- New
- SKU
- V9783540649571
- ISBN
- 9783540649571
Paperback
Condition: New
€ 69.44
€ 69.44
Paperback. The 17 revised papers that constitute this volume are divided into topical sections including: surveys; tabu search and simulated annealing; evolutionary computation (population-based methods); constraint-based methods; graph theory; and practical issues. Editor(s): Carter, Michael; Burke, Edmund. Series: Lecture Notes in Computer Science. Num Pages: 280 pages, biography. BIC Classification: KJMV5; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 413.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 280
- Condition
- New
- SKU
- V9783540649793
- ISBN
- 9783540649793
Paperback
Condition: New
€ 69.98
€ 69.98
Paperback. These 28 papers present the refereed proceedings of an international conference on theorem proving in higher order logics. They address all aspects of theorem proving in higher order logics, formal verification and program analysis, and also discuss Coq, Isabelle, LAMBDA, LEGO, NuPrl and PVS. Editor(s): Grundy, Jim; Newey, Malcolm. Series: Lecture Notes in Computer Science. Num Pages: 505 pages, biography. BIC Classification: UM; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 26. Weight in Grams: 716.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 505
- Condition
- New
- SKU
- V9783540649878
- ISBN
- 9783540649878
Paperback
Condition: New
€ 74.41
€ 74.41
Paperback. This volume contains papers from the 5th International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems. They address aspects of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications. Editor(s): Ravn, Anders P.; Rischel, Hans. Series: Lecture Notes in Computer Science. Num Pages: 356 pages, biography. BIC Classification: UMC; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 500.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 356
- Condition
- New
- SKU
- V9783540650034
- ISBN
- 9783540650034
Paperback
Condition: New
€ 71.25
€ 71.25
paperback. A collection of papers from the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, and the 6th International Conference on Algebraic and Logic Programming. They are organized in sections on topics such as verification, logic programming and term rewriting. Editor(s): Glaser, Hugh; Palamidessi, Catuscia; Meinke, Karl. Series: Lecture Notes in Computer Science. Num Pages: 504 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 716.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1998th Edition
- Number of pages
- 504
- Condition
- New
- SKU
- V9783540650126
- ISBN
- 9783540650126
Paperback
Condition: New
€ 74.41
€ 74.41
Paperback. This text constitutes the proceedings of the 5th International Symposium on Static Analysis held in September 1998. The papers presented are organized into topical sections on data flow analysis, logic programming, concurrency, abstract domains, partial evaluation, type inference and optimization. Editor(s): Levi, Giorgio. Series: Lecture Notes in Computer Science. Num Pages: 404 pages, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 565.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783540650140
- ISBN
- 9783540650140
Paperback
Condition: New
€ 72.24
€ 72.24
Paperback. A study of mass-flow sedimentation modelling in the framework of basin-fill dynamics and sequence stratigraphy. The proposed computer algorithm can be used to predict the timing and spatial effects of mass-flow sedimentation in a sedimentary basin under conditions specified by the modeller. Series: Lecture Notes in Earth Sciences. Num Pages: 165 pages, 3 black & white tables, biography. BIC Classification: RBGB; RBGH; UGK. Category: (P) Professional & Scholarly; (UP) Postgraduate. Dimension: 254 x 178 x 9. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 165
- Condition
- New
- SKU
- V9783540650577
- ISBN
- 9783540650577
Paperback
Condition: New
€ 66.22
€ 66.22
Principles of Data Mining and Knowledge Discovery: Second European Sym...
. Ed(S): Zytkow, Jan M.; Quafafou, Mohamed
paperback. The refereed proceedings of the Second European Symposium on Principles of Data Mining and Knowledge Discovery. There are 26 revised papers and 30 poster presentations organized in topical sections, including rule evaluation, visualization, association rules and text mining, and tree construction. Editor(s): Zytkow, Jan M.; Quafafou, Mohamed. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 496 pages, biography. BIC Classification: UN; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer Germany
- Edition
- 1998th Edition
- Number of pages
- 496
- Condition
- New
- SKU
- V9783540650683
- ISBN
- 9783540650683
Paperback
Condition: New
€ 74.07
€ 74.07
Paperback. This volume constitutes the proceedings of the 11th International Conference of Z Users. The papers are organized in sections on: industrial issues; concurrency; tools; Z and HOL; safety-critical and real-time systems; semantic theory; reasoning and consistency issues; and object orientation. Editor(s): Bowen, Jonathan P.; Fett, Andreas; Hinchey, Michael G. Series: Lecture Notes in Computer Science. Num Pages: 440 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 613.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783540650706
- ISBN
- 9783540650706
Paperback
Condition: New
€ 72.90
€ 72.90
Paperback. This text constitutes the proceedings of the 7th International Workshop on Logic Program Synthesis and Transformation held in 1997. The 15 papers presented address such topics as program synthesis, program transformation, program analysis, tabling, metaprogramming and inductive logic programming. Editor(s): Fuchs, N. E. Series: Lecture Notes in Computer Science. Num Pages: 353 pages, 9 black & white illustrations, 2 colour illustrations, biography. BIC Classification: UM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 353
- Condition
- New
- SKU
- V9783540650744
- ISBN
- 9783540650744
Paperback
Condition: New
€ 67.52
€ 67.52