Mathematical theory of computation
Results 261 - 280 of 366
Mathematical theory of computation
Paperback. Constitutes the refereed post-workshop proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2008, that was held in Shanghai, China in September 2008. Editor(s): Sturm, Thomas; Zengler, Christoph. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 225 pages, 46 black & white illustrations, 22 colour illustrations, biography. BIC Classification: PBMW; UG; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 225
- Condition
- New
- SKU
- V9783642210457
- ISBN
- 9783642210457
Paperback
Condition: New
€ 66.61
€ 66.61
Theory and Applications of Satisfiability Testing - SAT 2010
. Ed(S): Strichman, Ofer; Szeider, Stefan
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Strichman, Ofer; Szeider, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 400 pages, 74 black & white illustrations, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642141850
- ISBN
- 9783642141850
Paperback
Condition: New
€ 68.24
€ 68.24
The Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic ...
. Ed(S): Stankovic, Radomir; Butzer, Paul Leo...
Hardback. Editor(s): Stankovic, Radomir; Butzer, Paul Leo; Wade, William R.; Pichler, Franz; Schipp, Ferenc; Endow, Yasushi; Su, Weiyi; Fridli, Sandor; Golubov, Boris I. Series: Atlantis Studies in Mathematics for Engineering and Science. Num Pages: 378 pages, 9 black & white illustrations, biography. BIC Classification: PBKD; PBKF; PBW; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 730.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Atlantis Press (Zeger Karssen) Netherlands
- Number of pages
- 378
- Condition
- New
- SKU
- V9789462391628
- ISBN
- 9789462391628
Hardback
Condition: New
€ 145.27
€ 145.27
The Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic ...
. Ed(S): Stankovic, Radomir; Butzer, Paul Leo...
Hardback. Editor(s): Stankovic, Radomir; Butzer, Paul Leo; Wade, William R.; Pichler, Franz; Schipp, Ferenc; Endow, Yasushi; Su, Weiyi; Fridli, Sandor; Golubov, Boris I. Series: Atlantis Studies in Mathematics for Engineering and Science. Num Pages: 479 pages, biography. BIC Classification: PBKD; PBKF; PBW; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 877.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Atlantis Press (Zeger Karssen) Netherlands
- Number of pages
- 479
- Condition
- New
- SKU
- V9789462391598
- ISBN
- 9789462391598
Hardback
Condition: New
€ 66.88
€ 66.88
Mathematical Morphology and its Applications to Image and Signal Proce...
. Ed(S): Soille, Pierre; Pesaresi, Martino; O...
Paperback. Contains the refereed proceedings of the 10th International Symposium on Mathematical Morphology, ISMM 2011 held in Verbania-Intra, Italy in July 2011. This book features the papers that are organized in thematic sections on theory, lattices and order, connectivity, image analysis, processing and segmentation, and adaptive morphology. Editor(s): Soille, Pierre; Pesaresi, Martino; Ouzounis, Georgios. Series: Lecture Notes in Computer Science. Num Pages: 484 pages, 115 black & white illustrations, 95 colour illustrations, biography. BIC Classification: PBD; PSA; UMB; UYAM; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 484
- Condition
- New
- SKU
- V9783642215681
- ISBN
- 9783642215681
Paperback
Condition: New
€ 68.53
€ 68.53
Hardback. Proceedings of the Eleventh International Workshop on Maximum Entropy and Bayesian Methods of Statistical Analysis, Seattle, 1991 Editor(s): Smith, C. Ray; Erickson, Gary J.; Neudorfer, Paul O. Series: Fundamental Theories of Physics. Num Pages: 484 pages, biography. BIC Classification: UYAM; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 26. Weight in Grams: 857.
- Format
- Hardback
- Publication date
- 1992
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 484
- Condition
- New
- SKU
- V9780792320319
- ISBN
- 9780792320319
Hardback
Condition: New
€ 249.88
€ 249.88
Implementation and Application of Functional Languages: 20th Internati...
. Ed(S): Scholz, Sven-Bodo; Chitil, Olaf
paperback. Constitutes the refereed post-proceedings of the 20th International Workshop on Implementation and Applications of Functional Languages, IFL 2008, held in Hatfield, UK, in September 2008. Editor(s): Scholz, Sven-Bodo; Chitil, Olaf. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 291 pages, 79 black & white illustrations, 5 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 291
- Condition
- New
- SKU
- V9783642244513
- ISBN
- 9783642244513
Paperback
Condition: New
€ 83.27
€ 83.27
Paperback. Editor(s): Sankaranarayanan, Sriram; Vicario, Enrico. Series: Lecture Notes in Computer Science. Num Pages: 331 pages, 90 black & white illustrations, biography. BIC Classification: UB; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 331
- Condition
- New
- SKU
- V9783319229744
- ISBN
- 9783319229744
Paperback
Condition: New
€ 64.15
€ 64.15
Paperback. Constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, that was held in Ann Arbor, MI, USA. Editor(s): Sakallah, Karem A.; Simon, Laurent. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 371 pages, 35 black & white illustrations, 28 colour illustrations, biography. BIC Classification: UMB; UYA; UYF; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783642215803
- ISBN
- 9783642215803
Paperback
Condition: New
€ 68.24
€ 68.24
Paperback. Includes various rough set generalizations in combination with formal concept analysis, lattice theory, fuzzy sets and belief functions, rough and fuzzy clustering techniques, as well as applications to gene selection, web page recommendation systems, facial recognition, and temporal pattern detection. Editor(s): Sakai, Hiroshi; Chakraborty, Mihir; Slezak, Dominik; Hassanien, Aboul-Ella; Zhu, William. Series: Lecture Notes in Computer Science. Num Pages: 235 pages, black & white illustrations, colour illustrations, black & white tables, figures, bibliog. BIC Classification: UYA; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 235
- Condition
- New
- SKU
- V9783642215629
- ISBN
- 9783642215629
Paperback
Condition: New
€ 64.58
€ 64.58
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
Practical Aspects of Declarative Languages: 14th International Symposi...
. Ed(S): Russo, Claudio; Zhou, Neng-Fa
paperback. Editor(s): Russo, Claudio; Zhou, Neng-Fa. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 304 pages, 75 black & white illustrations, 3 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 458.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Number of pages
- 304
- Condition
- New
- Edition
- 2012th Edition
- SKU
- V9783642276934
- ISBN
- 9783642276934
Paperback
Condition: New
€ 66.88
€ 66.88
Paperback. Constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, that was held in Edinburgh, UK. Editor(s): Romanovsky, Alexander; Vardanega, Tullio. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 227 pages, 27 black & white illustrations, 28 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 227
- Condition
- New
- SKU
- V9783642213373
- ISBN
- 9783642213373
Paperback
Condition: New
€ 64.86
€ 64.86
Analytical and Stochastic Modelling Techniques and Applications
. Ed(S): Remke, Anne; Manini, Daniele; Gribau...
paperback. Editor(s): Remke, Anne; Manini, Daniele; Gribaudo, Marco. Series: Lecture Notes in Computer Science. Num Pages: 227 pages, 98 black & white illustrations, biography. BIC Classification: PBD; UMB; UMZ; UYAM; UYQP; UYT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Edition
- 2015th Edition
- Number of pages
- 227
- Condition
- New
- SKU
- V9783319185781
- ISBN
- 9783319185781
Paperback
Condition: New
€ 63.82
€ 63.82
Paperback. Constitutes the refereed best selected papers of the 5th International Symposium on Parameterized and Exact Computation, IPEC 2010, held in Chennai, India, in December 2010. Editor(s): Raman, Venkatesh; Saurabh, Saket. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 239 pages, 18 black & white illustrations, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 239
- Condition
- New
- SKU
- V9783642174926
- ISBN
- 9783642174926
Paperback
Condition: New
€ 66.70
€ 66.70
paperback. Editor(s): Ochoa, Gabriela; Chicano, Francisco. Series: Lecture Notes in Computer Science. Num Pages: 247 pages, 41 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 2015th Edition
- Number of pages
- 247
- Condition
- New
- SKU
- V9783319164670
- ISBN
- 9783319164670
Paperback
Condition: New
€ 64.07
€ 64.07
paperback. Editor(s): O, Ying-Lie; Toet, Alexander; Foster, David; Heijmans, Henk J. A. M.; Meer, Peter. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 682 pages, biography. BIC Classification: UYAM; UYQ; UYS; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 35. Weight in Grams: 1050.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 682
- Condition
- New
- SKU
- V9783642081880
- ISBN
- 9783642081880
Paperback
Condition: New
€ 358.09
€ 358.09
High Performance Computing in Science and Engineering
. Ed(S): Nagel, Wolfgang E.; Kroner, Dietmar;...
Hardback. Presents the results achieved on systems of the High Performance Computing Center Stuttgart (HLRS) for the year 2010. This title covers the fields of computational science and engineering, ranging from CFD to computational physics and chemistry to computer science, with an emphasis on industrially relevant applications. Editor(s): Nagel, Wolfgang E.; Kroner, Dietmar; Resch, Michael M. Num Pages: 617 pages, biography. BIC Classification: PNRP; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 1134.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 617
- Condition
- New
- SKU
- V9783642157479
- ISBN
- 9783642157479
Hardback
Condition: New
€ 232.86
€ 232.86
Hardback. Focussing on the dynamics of reasoning processes, this book covers both the topics of 'Dynamics of Reasoning', where reasoning is viewed as a process, and 'Reasoning about Dynamics', which must be understood as pertaining to how both designers of, and agents within dynamic systems may reason about these systems. Editor(s): Meyer, J.-J Ch.; Truer, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 386 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 1610.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 386
- Condition
- New
- SKU
- V9781402001932
- ISBN
- 9781402001932
Hardback
Condition: New
€ 130.60
€ 130.60
Hardback. Together with volume 6, this work is devoted to the topics of Reasoning and Dynamics, covering both "Dynamics of Reasoning" and "Reasoning about Dynamics". It presents work done in this context and focuses on "reasoning about dynamics", viz how (human and artificial) agents reason about (systems in) dynamic environments in order to control them. Editor(s): Meyer, J.-J Ch.; Treur, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 479 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 868.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 479
- Condition
- New
- SKU
- V9781402008344
- ISBN
- 9781402008344
Hardback
Condition: New
€ 249.76
€ 249.76