Computing »
Computer science »
Mathematical theory of computation
Mathematical theory of computation
Results 121 - 144 of 1831
Mathematical theory of computation
Paperback. Editor(s): Woodcock, James. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 361 pages, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 361
- Condition
- New
- SKU
- V9783642104510
- ISBN
- 9783642104510
Paperback
Condition: New
€ 64.86
€ 64.86
Paperback. Editor(s): Fitzgerald, John; Heitmeyer, Constance; Gnesi, Stefania; Philippou, Anna. Series: Lecture Notes in Computer Science. Num Pages: 789 pages, 204 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYZG; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1229.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 789
- Condition
- New
- SKU
- V9783319489889
- ISBN
- 9783319489889
Paperback
Condition: New
€ 68.71
€ 68.71
Hardcover. After an introduction to the subject and a concise treatment of the technical foundations for the subsequent chapters, this book features 14 chapters on state-of-the-art graph drawing software systems, ranging from general "tool boxes" to customized software for various applications. Editor(s): Junger, Michael (Universitat zu Koln, Germany); Mutzel, Petra (Technical University Vienna, Austria). Series: Mathematics and Visualization. Num Pages: 378 pages, biography. BIC Classification: UFG; UYAM. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 246 x 165 x 18. Weight in Grams: 712.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2004th Edition
- Number of pages
- 390
- Condition
- New
- SKU
- V9783540008811
- ISBN
- 9783540008811
Hardback
Condition: New
€ 188.72
€ 188.72
Paperback. This book introduces basic concepts and ideas of quantum computing and quantum computational complexity. It discusses almost all known quantum attacks on IFP, DLP and ECDLP based public-key cryptosystems and covers many alternative post-quantum cryptosystems. Num Pages: 215 pages, 5 black & white tables, biography. BIC Classification: UKN; UMB; URY; UYA; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 215
- Condition
- New
- SKU
- V9781489997791
- ISBN
- 9781489997791
Paperback
Condition: New
€ 121.80
€ 121.80
paperback. Editor(s): Siekmann, Jorg; Wrightson, Graham. Series: Symbolic computation. Num Pages: 637 pages, biography. BIC Classification: PBC; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 33. Weight in Grams: 1112.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1983
- Number of pages
- 637
- Condition
- New
- SKU
- V9783642819575
- ISBN
- 9783642819575
Paperback
Condition: New
€ 126.66
€ 126.66
Hardback. Statistical convergence has been explored in numerous contexts such as fuzzy logic theory. Here, the authors approach the subject by approximating a function by linear operators, focusing on situations in which the classical limit is not effective. Series: Intelligent Systems Reference Library. Num Pages: 252 pages, biography. BIC Classification: TBC; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 1170.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 252
- Condition
- New
- SKU
- V9783642198250
- ISBN
- 9783642198250
Hardback
Condition: New
€ 126.89
€ 126.89
hardcover. Series: Studies in Fuzziness and Soft Computing. Num Pages: 191 pages, 53 black & white illustrations, 21 colour illustrations, biography. BIC Classification: KJT; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 191
- Condition
- New
- SKU
- V9783319541471
- ISBN
- 9783319541471
Hardback
Condition: New
€ 122.47
€ 122.47
Paperback. Constitutes the refereed proceedings of the 7th International Symposium, Latin American Theoretical Informatics, LATIN 2006, held in March 2006. This book features the papers that are devoted to a range of topics in theoretical computer science with a focus on algorithmics and computations related to discrete mathematics. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 830 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 42. Weight in Grams: 1149.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- New ed
- Number of pages
- 830
- Condition
- New
- SKU
- V9783540327554
- ISBN
- 9783540327554
Paperback
Condition: New
€ 128.00
€ 128.00
Hardback. This book offers state-of-the-art research on statistical methods in molecular and systems biology, with contributions from leading experts. Each chapter discusses theoretical aspects, applications to biological problems, and possible future developments. Editor(s): Feng, Jianfeng; Fu, Wenjiang; Sun, Fengzhu. Series: Computational Biology. Num Pages: 49 pages, 30 black & white tables, biography. BIC Classification: PSA; UFM; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 879.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2010
- Number of pages
- 49
- Condition
- New
- SKU
- V9781849961950
- ISBN
- 9781849961950
Hardback
Condition: New
€ 188.70
€ 188.70
Hardcover. Num Pages: 170 pages, 1 colour illustrations, biography. BIC Classification: PDA; UMB; UYAM. Category: (P) Professional & Vocational. Dimension: 164 x 244 x 15. Weight in Grams: 424.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9783662460979
- ISBN
- 9783662460979
Hardback
Condition: New
€ 64.23
€ 64.23
Paperback. Constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Semantics in Data and Knowledge Bases, SDKB 2010, held in Bordeaux, France in July 2010. Editor(s): Schewe, Klaus-Dieter; Thalheim, B. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 144 pages, 13 black & white illustrations, biography. BIC Classification: UKN; UNH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 8. Weight in Grams: 237.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 144
- Condition
- New
- SKU
- V9783642234408
- ISBN
- 9783642234408
Paperback
Condition: New
€ 80.05
€ 80.05
Paperback. Editor(s): Lin, Tsau Young; Yao, Yiyu; Zadeh, Lotfi A. Series: Studies in Fuzziness and Soft Computing. Num Pages: 537 pages, 56 black & white tables, biography. BIC Classification: UN; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 831.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2002
- Number of pages
- 537
- Condition
- New
- SKU
- V9783790825084
- ISBN
- 9783790825084
Paperback
Condition: New
€ 188.60
€ 188.60
Hardback. Introduces graph algorithms on an intuitive basis followed by an exposition in a literate programming style, with correctness proofs as well as worst-case analyses. This book provides C++ implementations of algorithms using the LEDA library of data structures and algorithms. Num Pages: 489 pages, biography. BIC Classification: UMB; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 860.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 489
- Condition
- New
- SKU
- V9783540435501
- ISBN
- 9783540435501
Hardback
Condition: New
€ 94.84
€ 94.84
Hardcover. Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. This compendium aims to present a comprehensive account of the main approaches and demonstrate the overall unity of the subject. Series: Oxford Logic Guides. Num Pages: 562 pages, Illustrations. BIC Classification: PBCD; PBM; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 163 x 34. Weight in Grams: 1018.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Oxford University Press, USA
- Number of pages
- 562
- Condition
- New
- SKU
- V9780198534259
- ISBN
- 9780198534259
Hardback
Condition: New
€ 428.68
€ 428.68
Paperback. Includes contributions reporting theoretical developments in the design of neural networks and in the management of their learning. In a number of contributions, applications to speech recognition tasks, control of oil industrial processes, as well as to credit scoring, are reflected. Editor(s): Reeves, C. R.; Steele, N.C. Num Pages: 737 pages, 403 black & white illustrations, biography. BIC Classification: UYAM; UYQM; UYQN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 279 x 210 x 38. Weight in Grams: 1832.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 737
- Condition
- New
- SKU
- V9783211824597
- ISBN
- 9783211824597
Paperback
Condition: New
€ 72.98
€ 72.98
Paperback. Num Pages: 263 pages, 32 black & white illustrations, biography. BIC Classification: PBD; UM; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 263
- Condition
- New
- SKU
- V9783662515983
- ISBN
- 9783662515983
Paperback
Condition: New
€ 63.73
€ 63.73
Paperback. Statistical convergence has been explored in numerous contexts such as fuzzy logic theory. Here, the authors approach the subject by approximating a function by linear operators, focusing on situations in which the classical limit is not effective. Series: Intelligent Systems Reference Library. Num Pages: 252 pages, biography. BIC Classification: PBC; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 252
- Condition
- New
- SKU
- V9783642268175
- ISBN
- 9783642268175
Paperback
Condition: New
€ 122.35
€ 122.35
Paperback. Editor(s): Pillo, Gianni Di (University of Rome "La Sapienza", Italy); Giannessi, F. Series: Applied Optimization. Num Pages: 500 pages, biography. BIC Classification: KJT; PBUH; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 759.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 500
- Condition
- New
- SKU
- V9781441948236
- ISBN
- 9781441948236
Paperback
Condition: New
€ 187.78
€ 187.78
hardcover. Proceedings of the NATO Advanced Study Institute on Program Design Calculi, held in Marktoberdorf, Germany, July 28 - August 9, 1992 Editor(s): Broy, Manfred. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 416 pages, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 23. Weight in Grams: 1710.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Springer Germany
- Edition
- 1993rd Edition
- Number of pages
- 416
- Condition
- New
- SKU
- V9783540569435
- ISBN
- 9783540569435
Hardback
Condition: New
€ 246.91
€ 246.91
Paperback. Providing an easy introduction to the boundary element method, this book is ideal for any reader wishing to work in this field or use this method for the solution of engineering problems. From the beginning, the emphasis is on the implementation of the method into computer programs which can be used to solve real problems. Num Pages: 472 pages, Illustrations. BIC Classification: UMX; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 245 x 170 x 27. Weight in Grams: 836.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 472
- Condition
- New
- SKU
- V9780471863335
- ISBN
- 9780471863335
Paperback
Condition: New
€ 81.05
€ 81.05
Paperback. Editor(s): Dediu, Adrian Horia; Martin-Vide, Carlos; Sierra-Rodriguez, Jose-Luis; Truthe, Bianca. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 628 pages, 108 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYAM; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 949.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 628
- Condition
- New
- SKU
- V9783319049205
- ISBN
- 9783319049205
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. With elegantly defined examples and rigorously explained theorem proofs, this book presents concepts in the theory of graphs and algorithms, and their applications. It describes many key algorithms and uses simple, clear, and logical mathematical language. Num Pages: 232 pages. BIC Classification: GPFC; PBV; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer, India, Private Ltd India
- Number of pages
- 232
- Condition
- New
- SKU
- V9788132217442
- ISBN
- 9788132217442
Paperback
Condition: New
€ 63.69
€ 63.69
Integration of AI and OR Techniques in Constraint Programming for Comb...
. Ed(S): Beldiceanu, Nicolas; Jussien, Narend...
Paperback. Editor(s): Beldiceanu, Nicolas; Jussien, Narendra; Pinson, Eric. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 420 pages, 69 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 592.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 420
- Condition
- New
- SKU
- V9783642298271
- ISBN
- 9783642298271
Paperback
Condition: New
€ 65.37
€ 65.37
Paperback. This book details the theory, algorithms, and applications of structured low-rank approximation, and presents efficient local optimization methods and effective suboptimal convex relaxations for Toeplitz, Hankel and Sylvester structured problems and more. Series: Communications and Control Engineering. Num Pages: 268 pages, 24 colour tables, biography. BIC Classification: PBW; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 268
- Condition
- New
- SKU
- V9781447158363
- ISBN
- 9781447158363
Paperback
Condition: New
€ 143.28
€ 143.28