.png){kind=logo}
Mathematical theory of computation
Results 145 - 168 of 1825
Mathematical theory of computation
Towards Advanced Data Analysis by Combining Soft Computing and Statist...
. Ed(S): Borgelt, Christian; Angeles Gil, Mar...
Paperback. This book blends the adaptability and speed of soft computing with the rigor and precision of statistics to enhance the robustness and generalizability of data analysis, while preserving the flexibility to solve real-world problems intuitively and efficiently. Editor(s): Borgelt, Christian; Angeles Gil, Maria; Sousa, Joao M. C.; Verleysen, Michel. Series: Studies in Fuzziness and Soft Computing. Num Pages: 388 pages, biography. BIC Classification: UGK; UNF; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 388
- Condition
- New
- SKU
- V9783642443749
- ISBN
- 9783642443749
Paperback
Condition: New
€ 194.65
€ 194.65
Systems, Approximation, Singular Integral Operators and Related Topics
. Ed(S): Borichev, Alexander A.; Nikol'Skii, ...
Hardback. This volume is devoted to some topical problems and applications of operator theory and its interplay with modern complex analysis. It consists of 20 selected survey papers that represent updated addresses to the IWOTRA 2000 conference. Editor(s): Borichev, Alexander A.; Nikol'skii, N. K. Series: Operator Theory: Advances and Applications. Num Pages: 545 pages, biography. BIC Classification: PBKF; UL; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 38. Weight in Grams: 1120.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 545
- Condition
- New
- SKU
- V9783764366452
- ISBN
- 9783764366452
Hardback
Condition: New
€ 198.46
€ 198.46
Paperback. This volume presents developments in classification and mulitivariate analysis. Topics that have been treated with considerable attention include cluster analysis, discriminant analysis, proximity structure analysis, multidimensional scaling, genetic algorithms, and neural networks. Editor(s): Borra, Simone; Rocci, Roberto; Vichi, Maurizio; Schader, Martin. Series: Studies in Classification, Data Analysis, and Knowledge Organization. Num Pages: 388 pages, 9 black & white illustrations, 94 black & white tables. BIC Classification: KCA; PBT; UNC; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 388
- Condition
- New
- SKU
- V9783540414889
- ISBN
- 9783540414889
Paperback
Condition: New
€ 128.69
€ 128.69
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Bouajjani, Ahmed; Monniaux, David
Paperback. Editor(s): Bouajjani, Ahmed; Monniaux, David. Series: Lecture Notes in Computer Science. Num Pages: 560 pages, 150 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 878.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 560
- Condition
- New
- SKU
- V9783319522333
- ISBN
- 9783319522333
Paperback
Condition: New
€ 69.26
€ 69.26
Paperback. Constitutes the refereed papers of the 16th International Conference on Implementation and Application of Automata, CIAA 2011 that was held in Blois, France. Editor(s): Bouchou-Markhoff, Beatrice; Caron, Pascal; Champarnaud, Jean-Marc; Maurel, Denis. Series: Lecture Notes in Computer Science. Num Pages: 312 pages, 27 black & white illustrations, 18 colour illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 23. Weight in Grams: 446.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 312
- Condition
- New
- SKU
- V9783642222559
- ISBN
- 9783642222559
Paperback
Condition: New
€ 67.15
€ 67.15
Paperback. This volume constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001, held in Edinburgh in September 2001. It addresses issues in HOL theorem proving and formal verification of hardware and software systems. Editor(s): Boulton, Richard J.; Jackson, Paul B. Series: Lecture Notes in Computer Science. Num Pages: 412 pages, biography. BIC Classification: UMX; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 21. Weight in Grams: 576.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540425250
- ISBN
- 9783540425250
Paperback
Condition: New
€ 72.38
€ 72.38
Paperback. Editor(s): Bowen, Jonathan P.; Zhu, Huibiao. Series: Lecture Notes in Computer Science. Num Pages: 217 pages, 36 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 217
- Condition
- New
- SKU
- V9783319522272
- ISBN
- 9783319522272
Paperback
Condition: New
€ 66.10
€ 66.10
Paperback. Editor(s): Braberman, Victor; Fribourg, Laurent. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 285 pages, 70 black & white illustrations, biography. BIC Classification: UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 285
- Condition
- New
- SKU
- V9783642402289
- ISBN
- 9783642402289
Paperback
Condition: New
€ 61.44
€ 61.44
Paperback. Editor(s): Braga, Christiano; Marti-Oliet, Narciso. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 188 pages, 39 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 188
- Condition
- New
- SKU
- V9783319150741
- ISBN
- 9783319150741
Paperback
Condition: New
€ 54.72
€ 54.72
Paperback. Editor(s): Breugel, Franck van; Kashefi, Elham; Palamidessi, Catuscia; Rutten, Jan. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 517 pages, 36 black & white illustrations, biography. BIC Classification: UM; UYA; UYAM; UYZG. Category: (G) General (US: Trade). Dimension: 156 x 235 x 28. Weight in Grams: 722.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 517
- Condition
- New
- SKU
- V9783319068794
- ISBN
- 9783319068794
Paperback
Condition: New
€ 68.71
€ 68.71
Paperback. Editor(s): Brezinski, Claude; Sameh, Ahmed. Series: Contemporary Mathematicians. Num Pages: 705 pages, 46 black & white illustrations, 4 colour illustrations, biography. BIC Classification: PBKJ; PBKS; PBX; UYA. Category: (P) Professional & Vocational. Dimension: 254 x 178. Weight in Grams: 1326.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Birkhauser Boston Inc United States
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 705
- Condition
- New
- SKU
- V9781493943890
- ISBN
- 9781493943890
Paperback
Condition: New
€ 132.77
€ 132.77
Paperback. Editor(s): Brezinski, Claude; Sameh, Ahmed. Series: Contemporary Mathematicians. Num Pages: 927 pages, 33 black & white illustrations, biography. BIC Classification: PBKJ; PBKS; PBX; UYA. Category: (P) Professional & Vocational. Dimension: 254 x 178. Weight in Grams: 1731.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Birkhauser Boston Inc United States
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 927
- Condition
- New
- SKU
- V9781493943906
- ISBN
- 9781493943906
Paperback
Condition: New
€ 201.58
€ 201.58
Walter Gautschi, Volume 3: Selected Works with Commentaries
. Ed(S): Brezinski, Claude; Sameh, Ahmed
paperback. Editor(s): Brezinski, Claude; Sameh, Ahmed. Series: Contemporary Mathematicians. Num Pages: 778 pages, 62 black & white illustrations, 29 colour illustrations, biography. BIC Classification: PBKJ; PBKS; PBX; UYA. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 39. Weight in Grams: 1458.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Birkhäuser United States
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 778
- Condition
- New
- SKU
- V9781493955572
- ISBN
- 9781493955572
Paperback
Condition: New
€ 199.94
€ 199.94
Paperback. These are the refereed proceedings of the 13th International Conference on Concurrency Theory, CONCUR 2002, held in Brno, Czech Republic in August 2002. Editor(s): Brim, Lubos; Jancar, Petr; Kretinsky, Mojmir; Kucera, Antonin. Series: Lecture Notes in Computer Science. Num Pages: 609 pages, biography. BIC Classification: UYA; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 32. Weight in Grams: 868.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 609
- Condition
- New
- SKU
- V9783540440437
- ISBN
- 9783540440437
Paperback
Condition: New
€ 137.36
€ 137.36
Paperback. Editor(s): Brlek, Srecko; Reutenauer, Christophe. Series: Lecture Notes in Computer Science. Num Pages: 424 pages, 48 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYQL; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 652.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 424
- Condition
- New
- SKU
- V9783662531310
- ISBN
- 9783662531310
Paperback
Condition: New
€ 67.87
€ 67.87
Space-Efficient Data Structures, Streams, and Algorithms
. Ed(S): Brodnik, Andrej; Lopez-Ortiz, Alejan...
Paperback. This Festschrift volume, published in honor of J. Ian Munro, presents a good overall perspective of the last 40 years of research in algorithms and data structures. It also explores the future prospects in algorithm research. Editor(s): Brodnik, Andrej; Lopez-Ortiz, Alejandro (University of Waterloo); Raman, Venkatesh; Viola, Alfredo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 363 pages, 58 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UML; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 363
- Condition
- New
- SKU
- V9783642402722
- ISBN
- 9783642402722
Paperback
Condition: New
€ 67.89
€ 67.89
Paperback. These conference papers cover theoretical studies of various logical and conceptual tools along with the assessment of various applications. Areas featured include deontic logics, logics of action and normative systems. Editor(s): Brown, Mark A.; Carmo, Jose. Series: Workshops in Computing. Num Pages: 235 pages, biography. BIC Classification: UYA; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 13. Weight in Grams: 359.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 235
- Condition
- New
- SKU
- V9783540760153
- ISBN
- 9783540760153
Paperback
Condition: New
€ 127.42
€ 127.42
paperback. Proceedings of the NATO Advanced Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30 - August 11, 1996 Editor(s): Broy, Manfred; Schieder, Birgit. Series: NATO ASI Subseries F. Num Pages: 528 pages, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 825.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 528
- Condition
- New
- SKU
- V9783642645884
- ISBN
- 9783642645884
Paperback
Condition: New
€ 130.19
€ 130.19
Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czec...
. Ed(S): Brucker, Achim; Julliand, Jacques
paperback. Constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. Editor(s): Brucker, Achim; Julliand, Jacques. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 187 pages, 57 black & white illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 187
- Condition
- New
- SKU
- V9783642304729
- ISBN
- 9783642304729
Paperback
Condition: New
€ 82.47
€ 82.47
Paperback. Constitutes the refereed proceedings of the 23rd International Conference on Algorithmic Learning Theory, ALT 2012, held in Lyon, France, in October 2012. Editor(s): Bshouty, Nader; Stoltz, Gilles; Vayatis, Nicolas; Zeugmann, Thomas. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 393 pages, 23 black & white illustrations, biography. BIC Classification: UMB; UYA; UYQ; UYQP; 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
- V9783642341052
- ISBN
- 9783642341052
Paperback
Condition: New
€ 67.93
€ 67.93
Paperback. Editor(s): Buchberger, Ernst; Retti, Johannes. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 189 pages, black & white illustrations, bibliography. BIC Classification: UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 11. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 189
- Condition
- New
- SKU
- V9783540183846
- ISBN
- 9783540183846
Paperback
Condition: New
€ 82.83
€ 82.83
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
€ 128.09
€ 128.09
paperback. Editor(s): Bulatov, Andrei A.; Shur, Arseny M. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 457 pages, 55 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642385353
- ISBN
- 9783642385353
Paperback
Condition: New
€ 68.56
€ 68.56
Paperback. Editor(s): Bulling, Nils; Van Der Torre, Leon; Villata, Serena; Jamroga, Wojtek; Vasconcelos, Wamberto. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 215 pages, 22 black & white illustrations, biography. BIC Classification: UMX; UMZ; UNH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 215
- Condition
- New
- SKU
- V9783319097633
- ISBN
- 9783319097633
Paperback
Condition: New
€ 65.98
€ 65.98