Mathematical theory of computation
Results 1 - 20 of 1831
Mathematical theory of computation
Paperback. Editor(s): Kaindl, Hermann. Series: Informatik-Fachberichte. Num Pages: 180 pages, biography. BIC Classification: UYA; UYQ; UYQL. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 10. Weight in Grams: 341.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 180
- Condition
- New
- SKU
- V9783540545675
- ISBN
- 9783540545675
Paperback
Condition: New
€ 79.36
€ 79.36
Hardback. .
- Publisher
- Springer-Verlag New York Inc.
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9781493940301
- ISBN
- 9781493940301
Hardback
Condition: New
€ 127.38€ 124.42
€ 127.38
€ 124.42
Paperback. This extensively revised new edition of the concise introductory text on mathematical logic retains its numerous exercises and applications, but now has a fresh chapter on model theory and new section on topics such as definability and quantifier eliminations. Series: Universitext. Num Pages: 198 pages, biography. BIC Classification: PBC; PBF; UYA. Category: (P) Professional & Vocational. Dimension: 154 x 236 x 13. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2nd ed. 2013
- Condition
- New
- SKU
- V9781461457459
- ISBN
- 9781461457459
Paperback
Condition: New
€ 79.26
€ 79.26
paperback. Series: The Information Retrieval Series. Num Pages: 180 pages, biography. BIC Classification: PBWH; UNH; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 284.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 180
- Condition
- New
- SKU
- V9783642270178
- ISBN
- 9783642270178
Paperback
Condition: New
€ 64.18
€ 64.18
Paperback. Network theory is a major topic of interdisciplinary research which covers diverse areas including physics, mathematics and sociology. This book covers all the basics and the most commonly used concepts in the field, provides examples of their applications in solving practical problems, and clear indications on how to analyse their results. Num Pages: 272 pages, 151 figures. BIC Classification: GPFC; PBV; PBWH; PHS; UYA. Category: (UU) Undergraduate. Dimension: 246 x 190 x 18. Weight in Grams: 598.
- Publisher
- Oxford University Press
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780198726463
- ISBN
- 9780198726463
Paperback
Condition: New
€ 53.37
€ 53.37
Paperback. A textbook for an introductory course on wavelet analysis and time-frequency analysis. It is suitable for graduate students or advanced undergraduates in science and engineering. Series: Modern Birkhauser Classics. Num Pages: 300 pages, 33 black & white illustrations, biography. BIC Classification: PBKF; PBW; UYAM; UYS. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 17. Weight in Grams: 562.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Birkhäuser
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9780817681104
- ISBN
- 9780817681104
Paperback
Condition: New
€ 101.09
€ 101.09
paperback. Series: SpringerBriefs in Computer Science. Num Pages: 52 pages, biography. BIC Classification: UM; UNF; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 2. Weight in Grams: 108.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer United States
- Edition
- 2013th Edition
- Number of pages
- 52
- Condition
- New
- SKU
- V9781461467496
- ISBN
- 9781461467496
Paperback
Condition: New
€ 51.82
€ 51.82
Hardback. Num Pages: 241 pages, 32 black & white illustrations, 5 colour tables, biography. BIC Classification: PBG; PHQ; TNKS; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 532.
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 241
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319452395
- ISBN
- 9783319452395
Hardback
Condition: New
€ 91.22
€ 91.22
Paperback. Presents a formulation of the kinematics, dynamics, and control of robot manipulators. This book emphasizes the geometry of robot motion and allows a large class of robotic manipulation problems to be analyzed within a unified framework. Num Pages: 480 pages, 30 black & white halftones. BIC Classification: TJFM1; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 238 x 159 x 21. Weight in Grams: 714.
- Publisher
- Taylor & Francis Inc United States
- Number of pages
- 480
- Format
- Paperback
- Publication date
- 1994
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780849379819
- ISBN
- 9780849379819
Paperback
Condition: New
€ 169.04
€ 169.04
Hardback. Talks about reasoning with causal associations during diagnostic problem-solving. This book develops a mathematical model called parsimonious covering theory and links it with probability theory. Series: Symbolic computation/Artificial Intelligence. Num Pages: 285 pages, biography. BIC Classification: UYA; UYQ. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 597.
- Format
- Hardback
- Publication date
- 1990
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 285
- Condition
- New
- SKU
- V9780387973432
- ISBN
- 9780387973432
Hardback
Condition: New
€ 127.86
€ 127.86
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
€ 247.83
€ 247.83
Paperback. Constitutes the proceedings of the Second International Conference on Abstract State Machines, B and Z, which took place in Orford, QC, Canada, in February 2010. This book presents the 26 full papers that were reviewed and selected from 60 submissions. It also contains two invited talks and abstracts of 18 short papers. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 430 pages, 95 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 430
- Condition
- New
- SKU
- V9783642118104
- ISBN
- 9783642118104
Paperback
Condition: New
€ 65.49
€ 65.49
Paperback. Editor(s): Butler, Michael; Schewe, Klaus-Dieter; Mashkoor, Atif; Biro, Miklos. Series: Lecture Notes in Computer Science. Num Pages: 447 pages, 143 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 447
- Condition
- New
- SKU
- V9783319335995
- ISBN
- 9783319335995
Paperback
Condition: New
€ 65.76
€ 65.76
Paperback. Editor(s): Ait Ameur, Yamine; Schewe, Klaus-Dieter. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 352 pages, 93 black & white illustrations, biography. BIC Classification: UM; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 352
- Condition
- New
- SKU
- V9783662436516
- ISBN
- 9783662436516
Paperback
Condition: New
€ 64.50
€ 64.50
Paperback. Contains the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. Editor(s): Derrick, John; Fitzgerald, John S.; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, Michael; Reeves, Steve; Riccobene, Elvinia. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 393 pages, 133 black & white illustrations, biography. BIC Classification: PBD; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 554.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 393
- Condition
- New
- SKU
- V9783642308840
- ISBN
- 9783642308840
Paperback
Condition: New
€ 65.10
€ 65.10
Paperback. constitutes the refereed proceedings of the 6th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2005, held in Airth Castle, Scotland, UK in July 2005. The papers in this book deal with automatic programming, constraint satisfaction, diagnosis, machine learning, search, planning, reasoning, game playing, and more. Editor(s): Zucker, Jean-Daniel; Saitta, Lorenza. Series: Lecture Notes in Computer Science. Num Pages: 392 pages, biography. BIC Classification: UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 554.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 392
- Condition
- New
- SKU
- V9783540278726
- ISBN
- 9783540278726
Paperback
Condition: New
€ 69.06
€ 69.06
Paperback. These are the refereed proceedings of the 5th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2002. Abstraction, reformulation, approximation in the context of human common-sense reasoning, problem solving, and reasoning in complex domains are addressed. Editor(s): Koenig, Sven; Holte, Robert. Series: Lecture Notes in Computer Science. Num Pages: 352 pages, biography. BIC Classification: UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 352
- Condition
- New
- SKU
- V9783540439417
- ISBN
- 9783540439417
Paperback
Condition: New
€ 68.53
€ 68.53
Paperback. Constitutes the refereed proceedings of the 7th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2007, held in Whistler, Canada, in July 2007. This work addresses many aspects of abstraction, reformulation, and approximation in the context of human common-sense reasoning and efficiently reasoning in complex domains. Series: Lecture Notes in Computer Science. Num Pages: 431 pages, biography. BIC Classification: UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 431
- Condition
- New
- SKU
- V9783540735793
- ISBN
- 9783540735793
Paperback
Condition: New
€ 65.48
€ 65.48
Paperback. Editor(s): Boniol, Frederic; Wiels, Virginie; Ait Ameur, Yamine; Schewe, Klaus-Dieter. Series: Communications in Computer and Information Science. Num Pages: 173 pages, 47 black & white illustrations, biography. BIC Classification: UGK; UM; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 278.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 173
- Condition
- New
- SKU
- V9783319075112
- ISBN
- 9783319075112
Paperback
Condition: New
€ 63.06
€ 63.06
Accuracy and Fuzziness. A Life in Science and Politics
Mendez, Luis Arguelles. Ed(S): Seising, Rudol...
Paperback. Editor(s): Seising, Rudolf. Series: Studies in Fuzziness and Soft Computing. Num Pages: 386 pages, 112 black & white illustrations, 11 colour illustrations, biography. BIC Classification: PDZM; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 386
- Condition
- New
- SKU
- V9783319358710
- ISBN
- 9783319358710
Paperback
Condition: New
€ 123.16
€ 123.16