Mathematical theory of computation
Results 201 - 220 of 366
Mathematical theory of computation
Paperback. Constitutes the proceedings of the 6th International Conference on Mathematics of Program Construction, held in Germany in 2002. The 11 papers cover programming methodology, program specification, program transformation, programming paradigms, programming calculi and programming language semantics. Editor(s): Boiten, Eerke A.; Moller, Bernhard. Series: Lecture Notes in Computer Science. Num Pages: 266 pages, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 231 x 158 x 16. Weight in Grams: 438.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 276
- Format
- Paperback
- Publication date
- 2002
- Edition
- 2002nd Edition
- Condition
- New
- SKU
- V9783540438571
- ISBN
- 9783540438571
Paperback
Condition: New
€ 67.89
€ 67.89
Hardcover. Series: SPIE/IEEE Series on Imaging Science & Engineering. Num Pages: 470 pages, black & white illustrations. BIC Classification: PBWR; TBJ; TTB; UYAM; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 260 x 187 x 31. Weight in Grams: 1066.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- I.E.E.E.Press United States
- Number of pages
- 470
- Condition
- New
- SKU
- V9780780353855
- ISBN
- 9780780353855
Hardback
Condition: New
€ 219.03
€ 219.03
Hardcover. This edition includes developments in chaos theory, with new chapters that tie in with innovations such as fuzzy logic, neural nets and artificial intelligence as they relate to finance. Series: Wiley Finance. Num Pages: 288 pages, Illustrations. BIC Classification: KFFM; PBWS; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 241 x 165 x 22. Weight in Grams: 588.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 2nd Edition
- Number of pages
- 288
- Condition
- New
- SKU
- V9780471139386
- ISBN
- 9780471139386
Hardback
Condition: New
€ 83.18€ 69.24
€ 83.18
€ 69.24
Hardback. Focusing on fundamental aspects of numerical methods for stochastic computations, this book describes the class of numerical methods based on generalized polynomial chaos (gPC). It illustrates through examples Basic gPC methods, and includes polynomial approximation theory and probability theory. Num Pages: 144 pages, 50 line illus. BIC Classification: PBT; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 242 x 166 x 16. Weight in Grams: 352.
- Publisher
- Princeton University Press United States
- Number of pages
- 144
- Format
- Hardback
- Publication date
- 2010
- Condition
- New
- SKU
- V9780691142128
- ISBN
- 9780691142128
Hardback
Condition: New
€ 71.30€ 55.14
€ 71.30
€ 55.14
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
Paperback. Part of a multivolume work on the analysis of algorithms, this work provides a programmer's introduction to the MMIX, a RISC-based computer that replaces the original MIX, and describes the MMIX assembly language. It also presents material on subroutines, coroutines, and interpretive routines. Num Pages: 144 pages, Illustrations. BIC Classification: UM; UYA. Category: (U) Tertiary Education (US: College). Dimension: 242 x 164 x 10. Weight in Grams: 276.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Pearson Education (US) United States
- Edition
- 1st Edition
- Number of pages
- 144
- Condition
- New
- SKU
- V9780201853926
- ISBN
- 9780201853926
Paperback
Condition: New
€ 23.49
€ 23.49
Hardcover. Introduces various network architectures for parallel and distributed systems as well as for systems-on-chips, and presents a strategy for developing a generator for automatic model derivation. This title is of interest to researchers and students in network architecture design and performance analysis. Num Pages: 245 pages, 12 black & white tables, biography. BIC Classification: TJK; UGK; UKN; UYA; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 549.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2006
- Edition
- 2006th Edition
- Condition
- New
- SKU
- V9783540343080
- ISBN
- 9783540343080
Hardback
Condition: New
€ 124.87
€ 124.87
Hardcover. With updated material, additional exercises and new references, the new edition of this book retains the attributes praised by reviewers: its clear writing, good organisation, comprehensive coverage of essential theory and well-chosen applications. Series: Algorithms and Computation in Mathematics. Num Pages: 696 pages, 9 black & white tables, biography. BIC Classification: PBU; PBV; UYA. Category: (P) Professional & Vocational. Dimension: 159 x 244 x 42. Weight in Grams: 1164.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 4th ed. 2013
- Condition
- New
- SKU
- V9783642322778
- ISBN
- 9783642322778
Hardback
Condition: New
€ 127.62
€ 127.62
Hardcover. This textbook provides undergraduate students with an introduction to the basic theoretical models of computability. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course. Plenty of exercises are provided, ranging from the easy to the challenging. Series: Undergraduate Texts in Computer Science. Num Pages: 413 pages, biography. BIC Classification: TJFM1; UYA; UYQM. Category: (UU) Undergraduate. Dimension: 262 x 182 x 38. Weight in Grams: 974.
- Publisher
- Springer-Verlag New York Inc. United States
- Format
- Hardback
- Publication date
- 1997
- Edition
- 1st. ed. 1997. Corr. 8th printing 2007
- Condition
- New
- SKU
- V9780387949079
- ISBN
- 9780387949079
Hardback
Condition: New
€ 100.21
€ 100.21
Paperback. "Learn to use set theory and logic to design databases and their business rules effectively, and to communicate precisely about those designs with other stakeholders."--Cover. Num Pages: 432 pages, biography. BIC Classification: UND; UYA. Category: (G) General (US: Trade). Dimension: 235 x 191 x 21. Weight in Grams: 730.
- Publisher
- APress United States
- Number of pages
- 432
- Format
- Paperback
- Publication date
- 2011
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781430242840
- ISBN
- 9781430242840
Paperback
Condition: New
€ 83.28
€ 83.28
Paperback. Constitutes the post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. This book organizes the papers in topical sections on algorithms and implementations, numerical methods and applications, cryptology, and computational logic. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 370 pages, biography. BIC Classification: UGK; UKN; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 370
- Condition
- New
- SKU
- V9783540878261
- ISBN
- 9783540878261
Paperback
Condition: New
€ 127.93
€ 127.93
hardcover. This work presents a bold new theory of the cognitive circuitry of the brain, with emphasis on the functioning of human vision. The author has developed a computational theory that provides a unitary explanation for a wide range of visual capabilities and behaviors, most of which have no accepted theoretical explanation. Num Pages: 240 pages, Illustrations. BIC Classification: MJN; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 6452 x 4522 x 19. Weight in Grams: 658.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Stanford University Press United States
- Number of pages
- 240
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780804742771
- ISBN
- 9780804742771
Hardback
Condition: New
€ 76.18
€ 76.18
Hardcover. This volume details the application of molecular simulation to the liquid state. Series: Wiley Tutorial Series in Theoretical Chemistry. Num Pages: 264 pages, Illustrations. BIC Classification: PDE; PHFC; PHM; UGK; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 256 x 199 x 21. Weight in Grams: 716.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 264
- Condition
- New
- SKU
- V9780471977162
- ISBN
- 9780471977162
Hardback
Condition: New
€ 461.33
€ 461.33
Hardback. Presents the findings on one of the most intensely investigated subjects in computational mathematics - the travelling salesman problem. This book describes the method and computer code used to solve a range of large-scale problems, and demonstrates the interplay of applied mathematics with increasingly powerful computing platforms. Series: Princeton Series in Applied Mathematics. Num Pages: 608 pages, 200 line illus. BIC Classification: PBW; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 241 x 165 x 43. Weight in Grams: 1056.
- Publisher
- Princeton University Press United States
- Number of pages
- 608
- Format
- Hardback
- Publication date
- 2007
- Edition
- 2nd Printing
- Condition
- New
- SKU
- V9780691129938
- ISBN
- 9780691129938
Hardback
Condition: New
€ 109.33€ 82.87
€ 109.33
€ 82.87
Hardback. The first truly interdisciplinary text on data mining, blending the contributions of information science, computer science, and statistics. Series: Adaptive Computation and Machine Learning Series. Num Pages: 578 pages, 89 b&w illus. BIC Classification: UMB; UN; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 229 x 203 x 25. Weight in Grams: 1180.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- MIT Press Ltd United States
- Number of pages
- 584
- Condition
- New
- SKU
- V9780262082907
- ISBN
- 9780262082907
Hardback
Condition: New
€ 112.50
€ 112.50
Paperback. Suitable for undergraduate students of computer science and mathematics, this title gives a proof of Godel's completeness theorem and its main consequences using Robinson's completeness theorem and Godel's compactness theorem for propositional logic. Series: Unitext / La Matematica Per Il 3+2. Num Pages: 141 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 6. Weight in Grams: 266.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Verlag Italy
- Edition
- 2012
- Number of pages
- 141
- Condition
- New
- SKU
- V9788847023604
- ISBN
- 9788847023604
Paperback
Condition: New
€ 64.07
€ 64.07
Paperback. Published in honor of Willem-Paul de Roever, this Festschrift volume contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. It addresses topics such as model checking, computer science and state machines, ontology and mereology of domains, game theory, and compiler correctness. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 377 pages, 94 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 377
- Condition
- New
- SKU
- V9783642115110
- ISBN
- 9783642115110
Paperback
Condition: New
€ 68.09
€ 68.09
Paperback. .
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 588
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319409696
- ISBN
- 9783319409696
Paperback
Condition: New
€ 83.17€ 52.78
€ 83.17
€ 52.78
Paperback. Constitutes the refereed proceedings of the 8th International Workshop on Algorithms in Bioinformatics, WABI 2008, held in Karlsruhe, Germany, in September 2008 as part of the ALGO 2008 meeting. This title includes topics that range in biological applicability from genome mapping, to sequence assembly, to microarray quality, to molecular modeling. Series: Lecture Notes in Computer Science. Num Pages: 409 pages, biography. BIC Classification: PSAK1; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 409
- Condition
- New
- SKU
- V9783540873600
- ISBN
- 9783540873600
Paperback
Condition: New
€ 118.07
€ 118.07
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