Mathematical theory of computation
Results 241 - 260 of 366
Mathematical theory of computation
Paperback. Editor(s): Sachs, E.W. (Universitat Trier, Germany); Tichatschke, Rainer. Series: IFIP Advances in Information and Communication Technology. Num Pages: 338 pages, biography. BIC Classification: GPFC; PBKQ; PBU; PBWH; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 338
- Condition
- New
- SKU
- V9781475766691
- ISBN
- 9781475766691
Paperback
Condition: New
€ 122.55
€ 122.55
Paperback. Characterizing probability as a linear operator rather than as a measure, this book is based on the concept of coherence, which can be framed in the most general view of conditional probability. It is useful for the readers familiar with the elementary aspects of propositional calculus, linear algebra, and analysis. Series: Trends in Logic. Num Pages: 295 pages, biography. BIC Classification: PBCD; UYA. Category: (UU) Undergraduate. Dimension: 240 x 160 x 15. Weight in Grams: 920.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 295
- Condition
- New
- SKU
- V9781402009709
- ISBN
- 9781402009709
Paperback
Condition: New
€ 137.02
€ 137.02
Hardback. This text is designed to teach the essential programming skills and statistical data processing techniques for those in the physical and life science fields. Num Pages: 276 pages, biography. BIC Classification: PDE; PS; UYAM; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 1290.
- Format
- Hardback
- Publication date
- 1983
- Publisher
- Humana Press Inc. United States
- Number of pages
- 276
- Condition
- New
- SKU
- V9780896030152
- ISBN
- 9780896030152
Hardback
Condition: New
€ 128.69
€ 128.69
Hardback. This handbook presents the elements of modern logic, including many contemporary topics, to the reader having only basic mathematical literacy. It contains definitions, examples and ideas such as axiomatics, recursion theory and model theory. Num Pages: 245 pages, biography. BIC Classification: PBCD; UM; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 576.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 245
- Condition
- New
- SKU
- V9780817642204
- ISBN
- 9780817642204
Hardback
Condition: New
€ 65.49
€ 65.49
Hardback. Presents basic theoretical material that deals with numerical analysis, convergence, error estimates, and accuracy. This book illustrates a how-to approach to computational work in the development of algorithms, construction of input files, timing, and accuracy analysis. Num Pages: 508 pages, biography. BIC Classification: PBKD; PBKJ; PBKL; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 28. Weight in Grams: 917.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 508
- Condition
- New
- SKU
- V9780817641924
- ISBN
- 9780817641924
Hardback
Condition: New
€ 74.79
€ 74.79
Hardback. Anil Nerode, Director of the Mathematics Institute at Cornell, USA, is one of the most influential logicians in the world. This volume, published in his honour, contains much new and significant work. The papers in general arose from a symposium held in his honour at Cornell University. Editor(s): Crossley, John N.; Remmel, Jeffrey B.; Shore, Richard A.; Sweedler, Moss E. Series: Progress in Computer Science and Applied Logic. Num Pages: 816 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 44. Weight in Grams: 1598.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 816
- Condition
- New
- SKU
- V9780817636906
- ISBN
- 9780817636906
Hardback
Condition: New
€ 194.66
€ 194.66
Hardback. Series: Systems & Control: Foundations and Applications. Num Pages: 446 pages, biography. BIC Classification: PBWL; TJFM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 807.
- Format
- Hardback
- Publication date
- 1991
- Publisher
- Birkhauser Boston Inc United States
- Edition
- 2
- Number of pages
- 446
- Condition
- New
- SKU
- V9780817635978
- ISBN
- 9780817635978
Hardback
Condition: New
€ 131.83
€ 131.83
Hardback. Series: Progress in Computer Science and Applied Logic. Num Pages: 178 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 12. Weight in Grams: 449.
- Format
- Hardback
- Publication date
- 1991
- Publisher
- Birkhauser Boston Germany
- Number of pages
- 178
- Condition
- New
- SKU
- V9780817635930
- ISBN
- 9780817635930
Hardback
Condition: New
€ 68.12
€ 68.12
Paperback. Series: Progress in Computer Science and Applied Logic. Num Pages: 359 pages, biography. BIC Classification: UYA. Category: (G) General (US: Trade). Dimension: 229 x 152 x 19. Weight in Grams: 538.
- Format
- Paperback
- Publication date
- 1983
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 359
- Condition
- New
- SKU
- V9780817631710
- ISBN
- 9780817631710
Paperback
Condition: New
€ 65.26
€ 65.26
Hardback. Offers a framework to design and analyze strategies for randomized quasi-Monte Carlo (RQMC). This book provides illustrations for problems involving Poisson processes or Gaussian processes. It is useful for those individuals interested in improving simulation efficiency with more than incremental increases. Series: International Series in Operations Research & Management Science. Num Pages: 368 pages, biography. BIC Classification: PBT; UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 752.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 368
- Condition
- New
- SKU
- V9780792385806
- ISBN
- 9780792385806
Hardback
Condition: New
€ 195.08
€ 195.08
hardcover. This handbook offers a broad, advanced overview of the current state of Semidefinite Programming, in nineteen chapters written by the leading experts on the subject. The material is organized in three parts: Theory, Algorithms, and Applications and Extensions. Editor(s): Wolkowicz, Henry; Saigal, Romesh; Vandenberghe, Lieven. Series: International Series in Operations Research & Management Science. Num Pages: 654 pages, biography. BIC Classification: KJ; PBW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 36. Weight in Grams: 1133.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2000th Edition
- Number of pages
- 654
- Condition
- New
- SKU
- V9780792377719
- ISBN
- 9780792377719
Hardback
Condition: New
€ 244.03
€ 244.03
Hardback. This collection of articles is published in honour of Rudolf Ahlswede. His main areas of research are represented in the three sections, "Numbers and Combinations", "Information Theory" and "Complexity". Editor(s): Althofer, Ingo; Cai, Ning (School of Computing, National University of Singapore); Dueck, Gunter; Khachatrian, Levon H. (Fakultat Mathematik, Universitat Bielefeld, Germany); Pinsker, Marcus (Institute for Problems of Information Transmission, Russian Academy of Sciences, Moscow); Sarkozy, G. (Eotvos Lorand University, Dept. of Algebra and Number Theory, Budapest, Hungary); Wegener, Ingo; Zhang, Zhen (Communications Science Institute, University of Southern California, Los Angeles, USA). Num Pages: 652 pages, biography. BIC Classification: GPFC; T; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 36. Weight in Grams: 1116.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 652
- Condition
- New
- SKU
- V9780792377658
- ISBN
- 9780792377658
Hardback
Condition: New
€ 244.95
€ 244.95
Hardback. The subject of this text is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Num Pages: 292 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 615.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Edition
- annotated ed
- Number of pages
- 292
- Condition
- New
- SKU
- V9780792377498
- ISBN
- 9780792377498
Hardback
Condition: New
€ 193.15
€ 193.15
Hardback. Proceedings of the 1st International Symposium on Domain Theory Editor(s): Keimel, Klaus; Zhang, Guo-Qiang (Case Western Reserve University, Cleveland, USA); Liu, Ying Ming; Chen, Yixiang (Shanghai Normal University, PR of China). Series: Semantic Structures in Computation S. Num Pages: 273 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 17. Weight in Grams: 586.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 273
- Condition
- New
- SKU
- V9780792371434
- ISBN
- 9780792371434
Hardback
Condition: New
€ 128.69
€ 128.69
Handbook of Defeasible Reasoning and Uncertainty Management Systems
. Ed(S): Gabbay, Dov M.; Smets, Philippe
Hardback. This handbook surveys the computational and algorithmic problems of systems of applied reasoning. The various theoretical and modelling aspects of defeasible reasoning were dealt with in the first four volumes, and this volume now turns to the algorithmic aspect. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 517 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 917.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 517
- Condition
- New
- SKU
- V9780792366720
- ISBN
- 9780792366720
Hardback
Condition: New
€ 250.77
€ 250.77
Hardback. Abduction is central to several areas of applied reasoning, including artificial intelligence, philosophy of science, machine learning, data mining and decision theory, as well as logic itself. This book contains survey papers on the various aspects of Abduction, both logical and numerical approaches. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 442 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 25. Weight in Grams: 807.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 442
- Condition
- New
- SKU
- V9780792365655
- ISBN
- 9780792365655
Hardback
Condition: New
€ 249.16
€ 249.16
Hardback. Features a selection of papers from The First International and Interdisciplinary Conference on Modelling and Using Context, Rio de Janeiro, January 1997. Several chapters in this volume deal with contextualisation in the setting of natural language, while others seek to develop general models of wider applicability. Editor(s): Bonzon, Pierre; Cavalcanti, Marcos; Nossum, Rolf. Series: Applied Logic Series. Num Pages: 216 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 216
- Condition
- New
- SKU
- V9780792363507
- ISBN
- 9780792363507
Hardback
Condition: New
€ 127.57
€ 127.57
Hardback. The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. This work contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are presented. Series: Applied Logic Series. Num Pages: 411 pages, biography. BIC Classification: HPJ; UYA. Category: (P) Professional & Vocational; (UU) Undergraduate. Dimension: 234 x 156 x 26. Weight in Grams: 851.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 411
- Condition
- New
- SKU
- V9780792353249
- ISBN
- 9780792353249
Hardback
Condition: New
€ 196.47
€ 196.47
Handbook of Defeasible Reasoning and Uncertainty Management Systems
. Ed(S): Gabbay, Dov M.; Smets, Philippe
Hardback. Belief change is a field of artificial intelligence and information science dedicated to the dynamics of information. This is a study of addition, deletion and combination of pieces of information, and the revision, updating and fusion of knowledge bases, offering a numerical view of belief change. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 453 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 25. Weight in Grams: 829.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 453
- Condition
- New
- SKU
- V9780792351627
- ISBN
- 9780792351627
Hardback
Condition: New
€ 249.48
€ 249.48
Hardback. Intended to be used as a textbook for a special topic course in computer science. This title addresses contemporary research topics of interest such as intelligent control, genetic algorithms, neural networks, optimization techniques, expert systems, fractals, and computer vision. It focuses on the role of continuous mathematics. Series: Theory and Decision Library B. Num Pages: 431 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 23. Weight in Grams: 1730.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 431
- Condition
- New
- SKU
- V9780792347224
- ISBN
- 9780792347224
Hardback
Condition: New
€ 248.84
€ 248.84