Computing »
Computer science »
Mathematical theory of computation
Mathematical theory of computation
Results 25 - 48 of 1831
Mathematical theory of computation
Paperback. Constitutes the refereed proceedings of the 9th International Symposium on Neural Networks, ISNN 2012, held in Shenyang, China, in July 2012. Editor(s): Wang, Jun; Yen, Gary G.; Polycarpou, Marios. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 709 pages, 210 black & white illustrations, biography. BIC Classification: UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 982.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 709
- Condition
- New
- SKU
- V9783642313455
- ISBN
- 9783642313455
Paperback
Condition: New
€ 68.04
€ 68.04
paperback. This text constitutes the refereed proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI. Among the topics addressed are formal specification, specification languages and term rewriting. Editor(s): Cerioli, M.; Reggio, Gianna. Series: Lecture Notes in Computer Science. Num Pages: 358 pages, biography. BIC Classification: PBCD; UMZ; UYAM; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 358
- Condition
- New
- SKU
- V9783540431596
- ISBN
- 9783540431596
Paperback
Condition: New
€ 68.43
€ 68.43
Hardback. Editor(s): Kielanowski, Piotr; Ali, S. Twareque; Odesskii, Alexander; Odzijewicz, Anatol; Schlichenmaier, Martin; Voronov, Theodore. Series: Trends in Mathematics. Num Pages: 247 pages, biography. BIC Classification: PBG; PBKS; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 537.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer Basel Switzerland
- Number of pages
- 247
- Condition
- New
- SKU
- V9783034806442
- ISBN
- 9783034806442
Hardback
Condition: New
€ 64.79
€ 64.79
Design, Analysis and Test of Logic Circuits Under Uncertainty
Krishnaswamy, Smita; Markov, Igor L.; Hayes, ...
Paperback. Combining theory with practical examples, this volume presents a comprehensive overview of logic circuits. The text presents techniques used to analyze, design and test logic circuits with probabilistic behavior, and provides a multidisciplinary approach to uncertainty. Series: Lecture Notes in Electrical Engineering. Num Pages: 124 pages, 24 black & white tables, biography. BIC Classification: TJFC; UK; UMB; UYAM; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 7. Weight in Grams: 221.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 124
- Condition
- New
- SKU
- V9789400797987
- ISBN
- 9789400797987
Paperback
Condition: New
€ 133.30
€ 133.30
Recent Developments in Applied Probability and Statistics
. Ed(S): Devroye, Luc; Karasozen, Bulent; Koh...
Paperback. Editor(s): Devroye, Luc; Karasozen, Bulent; Kohler, Michael; Korn, Ralf. Num Pages: 247 pages, 12 black & white tables, biography. BIC Classification: PBT; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Physica-Verlag GmbH & Co Germany
- Number of pages
- 247
- Condition
- New
- SKU
- V9783790829105
- ISBN
- 9783790829105
Paperback
Condition: New
€ 64.31
€ 64.31
Paperback. Constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. Editor(s): Gheyi, Rohit; Naumann, David. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 237 pages, 67 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 237
- Condition
- New
- SKU
- V9783642332951
- ISBN
- 9783642332951
Paperback
Condition: New
€ 82.17
€ 82.17
Paperback. These papers, the proceedings of the First European Conference in Algebraic Computing and Control held in Paris, present the main actual methods for analysis and control of systems which naturally lead to the use of algebraic computing. Editor(s): Jacob, Gerard; Lamnabhi-Lagarrigue, Francoise. Series: Lecture Notes in Control and Information Sciences. Num Pages: 398 pages, 6 black & white tables, biography. BIC Classification: TJFM; UYA. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 21. Weight in Grams: 787.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 398
- Condition
- New
- SKU
- V9783540544081
- ISBN
- 9783540544081
Paperback
Condition: New
€ 66.33
€ 66.33
Hardcover. Expert coverage of the design and implementation of state estimation algorithms for tracking and navigation Estimation with Applications to Tracking and Navigation treats the estimation of various quantities from inherently inaccurate remote observations. Num Pages: 584 pages, Ill. BIC Classification: PBT; TBC; TBJ; TJKD; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 238 x 165 x 32. Weight in Grams: 926.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 584
- Condition
- New
- SKU
- V9780471416555
- ISBN
- 9780471416555
Hardback
Condition: New
€ 178.82
€ 178.82
Paperback. This monograph presents an introduction to the Ito calculus techniques used to handle stochastic differential equations. It covers a broad spectrum of techniques which are useful for working with stochastic equations. Series: Mathematical Engineering. Num Pages: 348 pages, biography. BIC Classification: JHBC; PBT; PHU; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 348
- Condition
- New
- SKU
- V9783319033617
- ISBN
- 9783319033617
Paperback
Condition: New
€ 122.87
€ 122.87
Hardback. Num Pages: 201 pages, 53 colour illustrations, biography. BIC Classification: PDE; PHU; TJFN; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 473.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer Verlag, Singapore Singapore
- Number of pages
- 201
- Condition
- New
- SKU
- V9789811000881
- ISBN
- 9789811000881
Hardback
Condition: New
€ 122.44
€ 122.44
Paperback. Stochastic programming is the study of procedures for decision making under the presence of uncertainties and risks. This title covers topics such as: advances in theory and implementation of stochastic programming algorithms; sensitivity analysis of stochastic systems; and, stochastic programming applications and other related topics. Editor(s): Uryasev, Stanislav; Pardalos, Panos M. Series: Applied Optimization. Num Pages: 447 pages, biography. BIC Classification: KFFK; KJT; PBKQ; PBWH; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2001
- Number of pages
- 447
- Condition
- New
- SKU
- V9781441948557
- ISBN
- 9781441948557
Paperback
Condition: New
€ 240.25
€ 240.25
Generative and Transformational Techniques in Software Engineering
. Ed(S): Lammel, Ralf; Saraiva, Joao; Visser,...
Paperback. Editor(s): Lammel, Ralf; Saraiva, Joao; Visser, Joost. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 449 pages, 112 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 449
- Condition
- New
- SKU
- V9783642359910
- ISBN
- 9783642359910
Paperback
Condition: New
€ 65.80
€ 65.80
Hardback. Proceedings of the NATO Advanced Study Institute on Fractal Image Encoding and Analysis, held in Trondheim, Norway, July 8-17, 1995 Editor(s): Fisher, Yuval. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 370 pages, biography. BIC Classification: UYA; UYQP; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 719.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 370
- Condition
- New
- SKU
- V9783540631965
- ISBN
- 9783540631965
Hardback
Condition: New
€ 245.90
€ 245.90
Hardcover. This text is devoted to two interrelated techniques used in solving some important problems in machine intelligence and pattern recognition. Editor(s): Gammerman, A. Num Pages: 338 pages, Illustrations. BIC Classification: PBT; UYA; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 257 x 183 x 25. Weight in Grams: 776.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 338
- Condition
- New
- SKU
- V9780471962793
- ISBN
- 9780471962793
Hardback
Condition: New
€ 337.01
€ 337.01
Paperback. Editor(s): Kulikov, Alexander S.; Kuznetsov, Sergei O.; Pevzner, Pavel A. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 305 pages, 38 black & white illustrations, biography. BIC Classification: PBD; PSA; UMB; UYA; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 305
- Condition
- New
- SKU
- V9783319075655
- ISBN
- 9783319075655
Paperback
Condition: New
€ 64.21
€ 64.21
paperback. GA, or Clifford Algebra, is a powerful unifying framework for geometric computations. This volume is a practical guide that reviews algebraic techniques for geometrical problems in computer science and engineering, and the relationships between them. Editor(s): Dorst, Leo; Lasenby, Joan. Num Pages: 475 pages, biography. BIC Classification: UGC; UML; UYAM; UYQ; UYT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 24. Weight in Grams: 717.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 475
- Condition
- New
- Edition
- 2011th Edition
- SKU
- V9781447158974
- ISBN
- 9781447158974
Paperback
Condition: New
€ 187.58
€ 187.58
Hardback. The Pre-Kernel as a Tractable Solution for Cooperative Games Series: Theory and Decision Library C. Num Pages: 275 pages, 5 black & white illustrations, 3 colour illustrations, biography. BIC Classification: KCA; PBUD; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 578.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 275
- Condition
- New
- SKU
- V9783642395482
- ISBN
- 9783642395482
Hardback
Condition: New
€ 64.62
€ 64.62
Numerical Challenges in Lattice Quantum Chromodynamics
. Ed(S): Frommer, Andreas; Lippert, Thomas K....
Paperback. This title aims at stimulating synergism and creating links between lattice quantum and numerical analysis. It is intended for researchers and graduates in symbolic computation and computational algebra. Editor(s): Frommer, Andreas; Lippert, Thomas K.; Medeke, Bjoern; Schilling, Klaus. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 196 pages, 1 black & white illustrations, biography. BIC Classification: PBF; PHM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 10. Weight in Grams: 650.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 196
- Condition
- New
- SKU
- V9783540677321
- ISBN
- 9783540677321
Paperback
Condition: New
€ 123.59
€ 123.59
hardcover. Provides a review and explanation of the theory of stochastic max-plus linear systems. This book covers modeling issues and stability theory for stochastic max-plus systems, perturbation analysis of max-plus systems, and developing a calculus for differentiation of max-plus systems. Series: The International Series on Discrete Event Dynamic Systems. Num Pages: 332 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 650.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 332
- Condition
- New
- Edition
- 2007th Edition
- SKU
- V9780387352060
- ISBN
- 9780387352060
Hardback
Condition: New
€ 223.72
€ 223.72
Paperback. Editor(s): O'Sullivan, Dr Barry (Roehampton University, London). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 970 pages, 228 black & white illustrations, biography. BIC Classification: UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 49. Weight in Grams: 1460.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 970
- Condition
- New
- SKU
- V9783319104270
- ISBN
- 9783319104270
Paperback
Condition: New
€ 129.00
€ 129.00
Paperback. Editor(s): Buchi, J. Richard; Siefkes, Dirk. Num Pages: 316 pages, biography. BIC Classification: PBV; UYA. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 14. Weight in Grams: 501.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1989
- Number of pages
- 316
- Condition
- New
- SKU
- V9781461388555
- ISBN
- 9781461388555
Paperback
Condition: New
€ 122.72
€ 122.72
Paperback. The Second Waterloo Workshop on Computer Algebra was dedicated to the 70th birthday of combinatorics pioneer Georgy Egorychev. This book of formally-refereed papers submitted after that workshop covers topics closely related to Egorychev's influential works. Editor(s): Kotsireas, Ilias S.; Zima, Eugene V. Num Pages: 174 pages, biography. BIC Classification: PBD; PBF; PBV; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 297.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 174
- Condition
- New
- SKU
- V9783642425042
- ISBN
- 9783642425042
Paperback
Condition: New
€ 121.35
€ 121.35
Intelligent Computer Techniques in Applied Electromagnetics
. Ed(S): Wiak, Slawomir; Krawczyk, Andrzej; D...
Hardback. This book contains selected papers presented at the International Symposium on Electromagnetic Fields in Mechatronics, Electrical and Electronic Engineering ISEF'07 which was held in Prague, Czech Republic, September 13-15, 2007. Editor(s): Wiak, Slawomir; Krawczyk, Andrzej; Dolezel, Ivo. Series: Studies in Computational Intelligence. Num Pages: 304 pages, 201 black & white illustrations, 24 black & white tables, biography. BIC Classification: PDE; PHK; UYAM; UYQ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540784890
- ISBN
- 9783540784890
Hardback
Condition: New
€ 244.48
€ 244.48
Paperback. Series: Springer Series in Statistics. Num Pages: 572 pages, biography. BIC Classification: PBT; PBWH; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 177 x 32. Weight in Grams: 1006.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer
- Condition
- New
- SKU
- V9781441929181
- ISBN
- 9781441929181
Paperback
Condition: New
€ 126.88
€ 126.88