.png){kind=logo}
Mathematical theory of computation
Results 281 - 300 of 1825
Mathematical theory of computation
Paperback. Editor(s): Chrobak, Marek; Fernandez Anta, Antonio; Gasieniec, Leszek; Klasing, Ralf. Series: Lecture Notes in Computer Science. Num Pages: 141 pages, 15 black & white illustrations, biography. BIC Classification: UKN; UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 250.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 141
- Condition
- New
- SKU
- V9783319530574
- ISBN
- 9783319530574
Paperback
Condition: New
€ 65.44
€ 65.44
Hardback. Series: Trends in Logic. Num Pages: 225 pages, 18 black & white illustrations, biography. BIC Classification: HPK; PBC; UN; UYA. 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
- 225
- Condition
- New
- SKU
- V9783319530604
- ISBN
- 9783319530604
Hardback
Condition: New
€ 67.51
€ 67.51
Paperback. Editor(s): Herik, Jaap van den; Filipe, Joaquim. Series: Lecture Notes in Computer Science. Num Pages: 315 pages, 114 black & white illustrations, biography. BIC Classification: JPP; UM; UMX; UNH; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 507.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 315
- Condition
- New
- SKU
- V9783319533537
- ISBN
- 9783319533537
Paperback
Condition: New
€ 67.03
€ 67.03
Paperback. Editor(s): Drewes, Frank; Martin-Vide, Carlos; Truthe, Bianca. Series: Lecture Notes in Computer Science. Num Pages: 462 pages, biography. BIC Classification: UM; UMB; UN; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155. Weight in Grams: 735.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 462
- Condition
- New
- SKU
- V9783319537320
- ISBN
- 9783319537320
Paperback
Condition: New
€ 68.41
€ 68.41
Privately and Publicly Verifiable Computing Techniques
Demirel, Denise; Schabhuser, Lucas; Buchmann,...
Paperback. Series: SpringerBriefs in Computer Science. Num Pages: 62 pages, biography. BIC Classification: PBD; UYA; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 62
- Condition
- New
- SKU
- V9783319537979
- ISBN
- 9783319537979
Paperback
Condition: New
€ 72.53
€ 72.53
Paperback. Editor(s): Poon, Sheung-Hung; Rahman, Saidur; Yen, Hsu-Chun. Series: Lecture Notes in Computer Science. Num Pages: 474 pages, 109 black & white illustrations, biography. BIC Classification: PBD; PBKS; UML; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 746.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 474
- Condition
- New
- SKU
- V9783319539249
- ISBN
- 9783319539249
Paperback
Condition: New
€ 68.49
€ 68.49
Hardback. Num Pages: 184 pages, 5 black & white illustrations, 20 colour illustrations, 20 colour tables, biography. BIC Classification: PBD; PBWH; UYA; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 184
- Condition
- New
- SKU
- V9783319540658
- ISBN
- 9783319540658
Hardback
Condition: New
€ 138.99
€ 138.99
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
€ 127.58
€ 127.58
Paperback. Editor(s): Martel, Matthieu. Series: Lecture Notes in Computer Science. Num Pages: 107 pages, 21 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 191.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 107
- Condition
- New
- SKU
- V9783319542911
- ISBN
- 9783319542911
Paperback
Condition: New
€ 76.39
€ 76.39
OWL: Experiences and Directions - Reasoner Evaluation
. Ed(S): Dragoni, Mauro; Poveda-Villalon, Mar...
Paperback. Editor(s): Dragoni, Mauro; Poveda-Villalon, Maria; Jimenez-Ruiz, Ernesto. Series: Lecture Notes in Computer Science. Num Pages: 153 pages, 37 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNF; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 261.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 153
- Condition
- New
- SKU
- V9783319546261
- ISBN
- 9783319546261
Paperback
Condition: New
€ 65.56
€ 65.56
Paperback. Editor(s): Hu, Bin; Lopez-Ibanez, Manuel. Series: Lecture Notes in Computer Science. Num Pages: 249 pages, 46 black & white illustrations, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 249
- Condition
- New
- SKU
- V9783319554525
- ISBN
- 9783319554525
Paperback
Condition: New
€ 66.40
€ 66.40
Hardback. Editor(s): Rojas, Ignacio; Pomares, Hector; Valenzuela, Olga. Series: Contributions to Statistics. Num Pages: 50 black & white illustrations, biography. BIC Classification: KCH; PBT; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319557885
- ISBN
- 9783319557885
Hardback
Condition: New
€ 130.10
€ 130.10
Theory and Applications of Models of Computation: 14th Annual Conferen...
. Ed(S): Gopal, T. V.; Jaeger, Gerhard; Steil...
paperback. Editor(s): Gopal, T. V.; Jaeger, Gerhard; Steila, Silvia. Series: Lecture Notes in Computer Science. Num Pages: 686 pages, 80 black & white illustrations, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 686
- Condition
- New
- SKU
- V9783319559100
- ISBN
- 9783319559100
Paperback
Condition: New
€ 70.54
€ 70.54
Hardcover. This acclaimed book examines the topic of symbolic integration in comprehensive detail, incorporating new results along the way. The second edition offers a new chapter on parallel integration, and a number of other improvements including additional exercises. Series: Algorithms and Computation in Mathematics. Num Pages: 340 pages, biography. BIC Classification: PBK; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 162 x 25. Weight in Grams: 664.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd
- Number of pages
- 342
- Condition
- New
- SKU
- V9783540214939
- ISBN
- 9783540214939
Hardback
Condition: New
€ 156.44
€ 156.44
Hardcover.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. 1993. 4th printing 2000
- Number of pages
- 557
- Condition
- New
- SKU
- V9783540556404
- ISBN
- 9783540556404
Hardback
Condition: New
€ 116.98
€ 116.98
Recent Trends in Data Type Specification: 10th Workshop on Specificati...
Reggio, Gianna, Astesiano, Egidio, Tarlecki, ...
Paperback. This volume surveys research activities with classical algebraic techniques, formalisms based on general logics and category theory, type systems for specification languages and new structures for modelling dynamic systems. Editor(s): Astesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej. Series: Lecture Notes in Computer Science. Num Pages: 532 pages, biography. BIC Classification: UN; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 27. Weight in Grams: 749.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer
- Edition
- 1995th Edition
- Condition
- New
- SKU
- V9783540591320
- ISBN
- 9783540591320
Paperback
Condition: New
€ 74.87
€ 74.87
Hardcover. Distributed algorithms, essential to networks of all kinds, are presented using the highly intuitive and technically elegant Petri net technique in this text for students and practitioners. A variety of distributed algorithms are presented, and proven correct using temporal logic. Num Pages: 314 pages, biography. BIC Classification: PBWH; UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 631.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Condition
- New
- SKU
- V9783540627524
- ISBN
- 9783540627524
Hardback
Condition: New
€ 62.07
€ 62.07
Hardcover. Burgisser, a top expert on algebraic complexity theory, has written a monograph on current research in this field. This book gives new results in the theory of NP-completeness. It is written for mathematicians and computer scientists on both research and graduate level. Series: Algorithms and Computation in Mathematics. Num Pages: 168 pages, biography. BIC Classification: PBCD; PBW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 165 x 12. Weight in Grams: 432.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2000th Edition
- Number of pages
- 186
- Condition
- New
- SKU
- V9783540667520
- ISBN
- 9783540667520
Hardback
Condition: New
€ 131.15
€ 131.15
Hardcover. Merging fundamental concepts of analysis and recursion theory to a new theory, this book provides a solid basis for studying various aspects of computability and complexity in analysis. It is written for graduate-level and senior students in computer science or mathematics. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 288 pages, 44 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBK; UMB; UYA. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 18. Weight in Grams: 680.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer
- Edition
- 2000th Edition
- Condition
- New
- SKU
- V9783540668176
- ISBN
- 9783540668176
Hardback
Condition: New
€ 68.44
€ 68.44
Hardcover. This work demonstrates that fundamental concepts and methods from phenomenological particle physics can be derived rigorously from well-defined general assumptions in a mathematically clean way. Readers should include researchers and anyone with a basic knowledge of quantum field theory. Series: Theoretical and Mathematical Physics. Num Pages: 364 pages, biography. BIC Classification: PHP; PHQ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 698.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer
- Edition
- 2000th Edition
- Condition
- New
- SKU
- V9783540670247
- ISBN
- 9783540670247
Hardback
Condition: New
€ 134.93
€ 134.93