Computing
Results 4841 - 4860 of 9365
Computing
Quasidifferentiability and Nonsmooth Modelling in Mechanics, Engineeri...
Dem'Yanov, V. F.; Stavroulakis, G.E (Dept. Of...
Hardback. Nonsmooth energy functions govern phenomena which occur frequently in nature and in various areas of life. This book presents the quasidifferentiability approach to nonconvex, possibly nonsmooth, energy functions; and the derivation and study of the corresponding variational expressions in mechanics, engineering and economics. Series: Nonconvex Optimization and Its Applications. Num Pages: 367 pages, biography. BIC Classification: PBU; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 1540.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 367
- Condition
- New
- SKU
- V9780792340935
- ISBN
- 9780792340935
Hardback
Condition: New
€ 256.56
€ 256.56
Hardback. Proceedings of the Second International Colloquium on Cognitive Science Editor(s): Clark, Andy; Ezquerro, Jesus; Larrazabal, Jesus M. Series: Philosophical Studies Series. Num Pages: 288 pages, biography. BIC Classification: JMR; PSAN; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 162 x 22. Weight in Grams: 614.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 288
- Condition
- New
- SKU
- V9780792340683
- ISBN
- 9780792340683
Hardback
Condition: New
€ 199.61
€ 199.61
Hardback. This text documents advances in the understanding of automated theorem provers that are capable of proofs by mathematical induction. The book provides a tutorial study of the Boyer-Moore theorem prover, and novel ideas that could be used to build theorem provers more powerful than this one. Editor(s): Zhang, Hantao. Num Pages: 222 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 509.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Reprinted from JOURNAL OF AUTOMATED REASONING 16:
- Number of pages
- 222
- Condition
- New
- SKU
- V9780792340102
- ISBN
- 9780792340102
Hardback
Condition: New
€ 132.22
€ 132.22
Hardback. Aimed at researchers and students of cognitive mapping and environmental cognition, this work focuses on the cognitive processes by which one form of information is being transformed into another, and by which multiple forms of information participate in constructing cognitive maps. Editor(s): Portugali, Juval. Series: Geojournal Library. Num Pages: 366 pages, biography. BIC Classification: JMR; PSAN; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 713.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 366
- Condition
- New
- SKU
- V9780792339496
- ISBN
- 9780792339496
Hardback
Condition: New
€ 201.53
€ 201.53
Hardback. This work contains a set of edited papers addressing theoretical issues and the grounding of representations in natural language and vision processing from philosophical and psychological points of view. The papers focus on site descriptions such as the reasoning work on space at Leeds. Editor(s): McKevitt, Paul. Num Pages: 256 pages, biography. BIC Classification: UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 297 x 210 x 15. Weight in Grams: 559.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 256
- Condition
- New
- SKU
- V9780792339441
- ISBN
- 9780792339441
Hardback
Condition: New
€ 132.94
€ 132.94
Hardback. Presents some of the techniques and applications of deterministic approaches to global optimization. The first six chapters of this book deal with applications in the planning of process networks, stochastic scheduling, heat exchanger networks, layout design, truss design, multiproduct batch plants, and water distribution systems. Editor(s): Grossmann, Ignacio E. Series: Nonconvex Optimization and Its Applications. Num Pages: 398 pages, biography. BIC Classification: PBW; TBD; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 735.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 398
- Condition
- New
- SKU
- V9780792338819
- ISBN
- 9780792338819
Hardback
Condition: New
€ 257.08
€ 257.08
Hardback. Summarizes developments related to a class of methods called Stochastic Decomposition (SD) algorithms, which represent an important shift in the design of optimization algorithms. This title is suitable for researchers in mathematical optimization, including those working in telecommunications and electric power generation. Series: Nonconvex Optimization and Its Applications. Num Pages: 246 pages, biography. BIC Classification: PBT; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 1160.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 246
- Condition
- New
- SKU
- V9780792338406
- ISBN
- 9780792338406
Hardback
Condition: New
€ 132.43
€ 132.43
paperback. Series: Studies in Theoretical Psycholinguistics. Num Pages: 248 pages, biography. BIC Classification: UYQL. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 830.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 248
- Condition
- New
- SKU
- V9780792338062
- ISBN
- 9780792338062
Paperback
Condition: New
€ 130.24
€ 130.24
Hardback. Investigates the architecture and mechanisms which underlie the human capacity to process language. This book integrates syntactic theory, cross-linguistic psychological evidence, and computational techniques in constructing a model of the human sentence processing mechanism. Series: Studies in Theoretical Psycholinguistics. Num Pages: 248 pages, biography. BIC Classification: UYQL. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 548.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 248
- Condition
- New
- SKU
- V9780792338024
- ISBN
- 9780792338024
Hardback
Condition: New
€ 132.77
€ 132.77
Hardback. Offers a look at simplex based as well as the interior point techniques for solving linear programming problems. Starting with a review of the mathematical underpinnings of these approaches, this text provides details of the primal and dual simplex methods with the primal-dual, composite, and steepest edge simplex algorithms. Series: Applied Optimization. Num Pages: 510 pages, biography. BIC Classification: PBUH; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 28. Weight in Grams: 1960.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 510
- Condition
- New
- SKU
- V9780792337829
- ISBN
- 9780792337829
Hardback
Condition: New
€ 268.37
€ 268.37
Hardback. Devoted to a branch of experimental design theory called simulation experimental design. This book contains a number of results on regression design theory related to nonlinear problems, the E-optimum criterion and designs, which minimize bias. It is of use to those interested in systems simulation, applied statistics and numerical methods. Series: Mathematics and its Applications. Num Pages: 200 pages, 1, black & white illustrations. BIC Classification: GPFC; UGK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 12. Weight in Grams: 476.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 200
- Condition
- New
- SKU
- V9780792336624
- ISBN
- 9780792336624
Hardback
Condition: New
€ 131.69
€ 131.69
Hardback. Present the developments in irregular problems, covering aspects ranging from scientific computing, discrete optimization, and automatic extraction of parallelism. This book is suitable for graduate students and researchers in parallel computer science. Editor(s): Rolim, Jose D. P. Num Pages: 338 pages, biography. BIC Classification: PBF; UYFP; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 675.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 338
- Condition
- New
- SKU
- V9780792336235
- ISBN
- 9780792336235
Hardback
Condition: New
€ 200.93
€ 200.93
Hardback. Evaluates jurisprudential theories of argumentation and reasoning in the context of the US commercial law on secured transactions. This book is useful for both the artificial intelligence community and legal theorists. Num Pages: 246 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 548.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 246
- Condition
- New
- SKU
- V9780792336075
- ISBN
- 9780792336075
Hardback
Condition: New
€ 165.93
€ 165.93
Paperback. Deals with constrained global optimization, covering the fundamentals of the subject. This book presents material on algorithms, applications and complexity results for quadratic programming, concave minimization, DC and Lipschitz problems, and nonlinear network flow. Series: Nonconvex Optimization and Its Applications. Num Pages: 332 pages, biography. BIC Classification: PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 17. Weight in Grams: 1040.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 332
- Condition
- New
- SKU
- V9780792335573
- ISBN
- 9780792335573
Paperback
Condition: New
€ 253.23
€ 253.23
Paperback. Num Pages: 32 pages, bibliography. BIC Classification: KJMD; UF. Category: (P) Professional & Vocational. Dimension: 240. Weight in Grams: 190.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 32
- Condition
- New
- SKU
- V9780792334286
- ISBN
- 9780792334286
Paperback
Condition: New
€ 1,773.18
€ 1,773.18
Hardback. A collection of papers putting ideas on quantification to work on a variety of languages. With an introduction presenting a sketch of the background of the research, this book consists of research papers aimed at linguists, philosophers, and psychologists interested in semantics and linguistic form. Editor(s): Bach, Elke; Jelinek, Eloise (Department of Linguistics, University of Arizona, Tucson, USA); Kratzer, Angelika; Partee, Barbara B. H. Series: Studies in Linguistics and Philosophy. Num Pages: 769 pages, 2 black & white tables, biography. BIC Classification: JMR; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 229 x 152 x 41. Weight in Grams: 1260.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 769
- Condition
- New
- SKU
- V9780792333524
- ISBN
- 9780792333524
Hardback
Condition: New
€ 254.51
€ 254.51
Paperback. Student version Editor(s): Bach, Elke; Jelinek, Eloise (Department of Linguistics, University of Arizona, Tucson, USA); Kratzer, Angelika; Partee, Barbara B. H. Series: Studies in Linguistics and Philosophy. Num Pages: 769 pages, 2 black & white tables, biography. BIC Classification: JMR; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 39. Weight in Grams: 2340.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Edition
- New ed
- Number of pages
- 769
- Condition
- New
- SKU
- V9780792331292
- ISBN
- 9780792331292
Paperback
Condition: New
€ 137.61
€ 137.61
Hardback. Global optimization is concerned with the computation and characterization of global optima of nonlinear functions. This book describes its applications including: optimality conditions; complexity results; concave minimization; DC programming; and general quadratic programming. Series: Nonconvex Optimization and Its Applications. Num Pages: 897 pages, biography. BIC Classification: PBK; PBW; UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 47. Weight in Grams: 1508.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 897
- Condition
- New
- SKU
- V9780792331209
- ISBN
- 9780792331209
Hardback
Condition: New
€ 676.41
€ 676.41
Hardback. This book presents a general framework for adaptive systems and demonstrates its utility by tailoring it to particular models of computational learning, ranging from neural networks to declarative logic. Series: Intelligent Systems, Control and Automation: Science and Engineering. Num Pages: 200 pages, biography. BIC Classification: UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 12. Weight in Grams: 468.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 200
- Condition
- New
- SKU
- V9780792330462
- ISBN
- 9780792330462
Hardback
Condition: New
€ 194.50
€ 194.50
Hardback. This collection of papers is dedicated to Don Walker. The technical content of the papers reflects his guidance and direction, as well as his dream of the future availability of electronic documents and the potential of this as a resource for corpus-based analysis. Editor(s): Zampolli, Antonio; Calzolari, Nicoletta; Palmer, Martha. Num Pages: 624 pages, biography. BIC Classification: CF; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 33. Weight in Grams: 1050.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 624
- Condition
- New
- SKU
- V9780792329978
- ISBN
- 9780792329978
Hardback
Condition: New
€ 131.45
€ 131.45