Mathematical theory of computation
Results 49 - 72 of 1834
Mathematical theory of computation
Hardcover. Turing's Revolution Editor(s): Sommaruga, Giovanni; Strahm, Thomas. Num Pages: 353 pages, 17 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 695.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Birkhäuser
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9783319221557
- ISBN
- 9783319221557
Hardback
Condition: New
€ 145.19
€ 145.19
Hardcover. .
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783642319327
- ISBN
- 9783642319327
Hardback
Condition: New
€ 102.31
€ 102.31
paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 206 pages, biography. BIC Classification: TJF; UYA; UYS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of hardcover 1st ed. 1999
- Number of pages
- 206
- Condition
- New
- SKU
- V9781441950697
- ISBN
- 9781441950697
Paperback
Condition: New
€ 185.86
€ 185.86
Hardback. Looks at the problem of applying the theory of verisimilitude to cognitive problems of a quantitative nature. This work is focused on hypotheses concerned with (physical or other) systems whose state can be represented with an element of a multidimensional state space, but hypotheses concerned with quantitative laws are also explored. Series: Synthese Library. Num Pages: 224 pages, biography. BIC Classification: HPK; PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 14. Weight in Grams: 1150.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 224
- Condition
- New
- SKU
- V9780792340058
- ISBN
- 9780792340058
Hardback
Condition: New
€ 127.16
€ 127.16
Paperback. Editor(s): Ganty, Pierre; Loreti, Michele. Series: Lecture Notes in Computer Science. Num Pages: 172 pages, 30 black & white illustrations, biography. BIC Classification: UNH; UR; UT; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 279.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 172
- Condition
- New
- SKU
- V9783319287652
- ISBN
- 9783319287652
Paperback
Condition: New
€ 52.45
€ 52.45
Paperback. Editor(s): Abadi, Martin; Lluch Lafuente, Alberto. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 341 pages, 60 black & white illustrations, biography. BIC Classification: UNH; UR; UT; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 341
- Condition
- New
- SKU
- V9783319051185
- ISBN
- 9783319051185
Paperback
Condition: New
€ 64.49
€ 64.49
Paperback. Editor(s): Yung, Moti; Zhang, Jianbiao; Yang, Zhen. Series: Lecture Notes in Computer Science. Num Pages: 247 pages, 55 black & white illustrations, biography. BIC Classification: PBD; PBV; PSA; UMB; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 247
- Condition
- New
- SKU
- V9783319315492
- ISBN
- 9783319315492
Paperback
Condition: New
€ 64.31
€ 64.31
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional Programming, TFP 2010, held in Norman, OK, USA, in May 2010. Editor(s): Page, Rex; Horvath, Zoltan; Zsok, Viktoria. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 225 pages, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 337.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 225
- Condition
- New
- SKU
- V9783642229404
- ISBN
- 9783642229404
Paperback
Condition: New
€ 79.42
€ 79.42
Paperback. Editor(s): Serrano, Manuel; Hage, Jurriaan. Series: Lecture Notes in Computer Science. Num Pages: 164 pages, 22 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 9. Weight in Grams: 267.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 164
- Condition
- New
- SKU
- V9783319391090
- ISBN
- 9783319391090
Paperback
Condition: New
€ 52.40
€ 52.40
Hardback. Editor(s): Marwan, Norbert; Riley, Michael; Giuliani, Alessandro; Webber Jr., Charles L. Series: Springer Proceedings in Mathematics and Statistics. Num Pages: 238 pages, 26 black & white illustrations, 67 colour illustrations, biography. BIC Classification: PBV; PDE; PHU; UFM; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 526.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 238
- Condition
- New
- SKU
- V9783319095301
- ISBN
- 9783319095301
Hardback
Condition: New
€ 122.99
€ 122.99
Paperback. Editor(s): Marwan, Norbert; Giuliani, Alessandro. Series: Springer Proceedings in Mathematics and Statistics. Num Pages: 238 pages, 26 black & white illustrations, 67 colour illustrations, biography. BIC Classification: PBV; PDE; PHU; UFM; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 373.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 238
- Condition
- New
- SKU
- V9783319350059
- ISBN
- 9783319350059
Paperback
Condition: New
€ 121.89
€ 121.89
Paperback. Editor(s): Peters, James F.; Skowron, Andrzej. Series: Lecture Notes in Computer Science. Num Pages: 328 pages, 16 black & white illustrations, biography. BIC Classification: UNH; UYA; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 328
- Condition
- New
- SKU
- V9783662536100
- ISBN
- 9783662536100
Paperback
Condition: New
€ 64.41
€ 64.41
Paperback. Editor(s): Peters, James F.; Skowron, Andrzej. Series: Lecture Notes in Computer Science / Transactions on Rough Sets. Num Pages: 190 pages, 54 black & white illustrations, biography. BIC Classification: UNH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 278.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 190
- Condition
- New
- SKU
- V9783642319020
- ISBN
- 9783642319020
Paperback
Condition: New
€ 64.18
€ 64.18
paperback. Deals with the spectrum of rough sets related issues, from logical and mathematical foundations, through various aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness. Series: Lecture Notes in Computer Science / Transactions on Rough Sets. Num Pages: 198 pages, biography. BIC Classification: UNF; UYA; UYQM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2010th Edition
- Number of pages
- 198
- Condition
- New
- SKU
- V9783642114786
- ISBN
- 9783642114786
Paperback
Condition: New
€ 64.21
€ 64.21
Paperback. Editor(s): Peters, James F.; Skowron, Andrzej; Slezak, Dominik; Nguyen, Hung Son; Bazan, Jan G. Series: Lecture Notes in Computer Science. Num Pages: 376 pages, 84 black & white illustrations, biography. BIC Classification: UN; UYA; UYQ; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 376
- Condition
- New
- SKU
- V9783662478141
- ISBN
- 9783662478141
Paperback
Condition: New
€ 64.73
€ 64.73
Transactions on Petri Nets and Other Models of Concurrency
. Ed(S): Koutny, Maciej; Van Der Aalst, Wil M...
Paperback. This volume features papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Coverage includes model checking and system verification, refinement and synthesis, and innovative applications. Editor(s): Koutny, Maciej; Van der Aalst, Wil M. P.; Van der Aalst, Wil; Yakovlev, Alex. Series: Lecture Notes in Computer Science/Transactions on Petri Nets and Other Models of Concurrency. Num Pages: 221 pages, 85 black & white illustrations, biography. BIC Classification: UMX; UTR; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 221
- Condition
- New
- SKU
- V9783642404641
- ISBN
- 9783642404641
Paperback
Condition: New
€ 64.18
€ 64.18
Paperback. This volume contains papers from the 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency and from the 8th and 9th Workshops and Tutorials on Practical Use of Coloured Petri Nets and the CPN Tools. Editor(s): Jensen, Kurt. Series: Lecture Notes in Computer Science/Transactions on Petri Nets and Other Models of Concurrency. Num Pages: 292 pages, biography. BIC Classification: PBCD; UGK; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 292
- Condition
- New
- SKU
- V9783642048548
- ISBN
- 9783642048548
Paperback
Condition: New
€ 64.22
€ 64.22
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII
. Ed(S): Hameurlain, Abdelkader; Kung, Josef;...
Paperback. Editor(s): Hameurlain, Abdelkader; Kung, Josef; Wagner, Roland. Series: Lecture Notes in Computer Science. Num Pages: 192 pages, 56 colour illustrations, biography. BIC Classification: UNF; UNH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 308.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 192
- Condition
- New
- SKU
- V9783662485668
- ISBN
- 9783662485668
Paperback
Condition: New
€ 63.15
€ 63.15
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI
. Ed(S): Hameurlain, Abdelkader; Kung, Josef;...
Paperback. Editor(s): Hameurlain, Abdelkader; Kung, Josef; Wagner, Roland; Dang, Tran Khanh; Thoai, Nam. Series: Lecture Notes in Computer Science / Transactions on Large-Scale Data- and Knowledge-Centered Systems. Num Pages: 112 pages, 35 black & white illustrations, biography. BIC Classification: UR; UT; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 6. Weight in Grams: 191.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 112
- Condition
- New
- SKU
- V9783662459461
- ISBN
- 9783662459461
Paperback
Condition: New
€ 73.30
€ 73.30
Paperback. Devoted to inter- and multidisciplinary research in the fields of computer science and life sciences, this book supports a paradigmatic shift in the techniques from computer and information science to cope with the challenges arising from the systems oriented point of view of biological phenomena. It focuses on the topic of modeling methodologies. Series: Lecture Notes in Computer Science / Transactions on Computational Systems Biology. Num Pages: 272 pages, 73 black & white illustrations, biography. BIC Classification: PSA; UGK; UMB; UYAM; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 272
- Condition
- New
- SKU
- V9783642117114
- ISBN
- 9783642117114
Paperback
Condition: New
€ 64.21
€ 64.21
Paperback. This issue on Computational Models for Cell Processes is based on a workshop that took place in Turku, Finland, May 2008. The papers span a mix of approaches to systems biology, ranging from quantitative techniques to computing paradigms inspired by biology. Editor(s): Priami, Corrado. Series: Lecture Notes in Computer Science. Num Pages: 343 pages, biography. BIC Classification: PSA; UGK; UMB; UYAM; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 343
- Condition
- New
- SKU
- V9783642041853
- ISBN
- 9783642041853
Paperback
Condition: New
€ 64.65
€ 64.65
paperback. Transactions on Computational Science XXIV Editor(s): Gavrilova, Marina L.; Tan, C. J. Kenneth; Thapliyal, Himanshu; Ranganathan, Nagarajan. Series: Lecture Notes in Computer Science / Transactions on Computational Science. Num Pages: 160 pages, 72 black & white illustrations, biography. BIC Classification: UMB; UYA; UYF; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 261.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2014th Edition
- Number of pages
- 160
- Condition
- New
- SKU
- V9783662457108
- ISBN
- 9783662457108
Paperback
Condition: New
€ 62.95
€ 62.95
Paperback. Editor(s): Gavrilova, Marina L.; Tan, C. J. Kenneth. Series: Lecture Notes in Computer Science. Num Pages: 185 pages, 84 black & white illustrations, biography. BIC Classification: UNH; UYA; UYQ; UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 296.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 185
- Condition
- New
- SKU
- V9783642542114
- ISBN
- 9783642542114
Paperback
Condition: New
€ 63.10
€ 63.10
Paperback. Transactions on Computational Science XXI Editor(s): Gavrilova, Marina L.; Tan, C. J. Kenneth; Abraham, Ajith. Series: Lecture Notes in Computer Science. Num Pages: 383 pages, 164 black & white illustrations, biography. BIC Classification: UNF; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 20. Weight in Grams: 587.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 383
- Condition
- New
- SKU
- V9783642453175
- ISBN
- 9783642453175
Paperback
Condition: New
€ 64.70
€ 64.70