×


 x 

Shopping cart

Mathematical theory of computation

Results 25 - 48 of 1825

Mathematical theory of computation

Paperback. Editor(s): Alpern, Steve; Fokkink, Robbert; Gasieniec, Leszek Antoni; Lindelauf, Roy; Subrahmanian, V. S. Num Pages: 311 pages, 10 black & white tables, biography. BIC Classification: PBUD; PDE; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 480.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag New York Inc. United States
Number of pages
311
Condition
New
SKU
V9781493900671
ISBN
9781493900671
Paperback
Condition: New

€ 127.69

Hardback. Editor(s): Alpern, Steve; Fokkink, Robbert; Gasieniec, Leszek; Lindelauf, Roy; Subrahmanian, V. S. Num Pages: 311 pages, 10 black & white tables, biography. BIC Classification: PBUD; UYAM. Category: (P) Professional & Vocational. Dimension: 166 x 245 x 22. Weight in Grams: 602.
Format
Hardback
Publication date
2013
Publisher
Springer-Verlag New York Inc. United States
Number of pages
311
Condition
New
SKU
V9781461468240
ISBN
9781461468240
Hardback
Condition: New

€ 128.77

Paperback. Editor(s): Althofer, Ingo; Cai, Ning (School of Computing, National University of Singapore); Dueck, Gunter; Khachatrian, Levon H. (Fakultat Mathematik, Universitat Bielefeld, Germany); Pinsker, Marcus (Institute for Problems of Information Transmission, Russian Academy of Sciences, Moscow); Sarkozy, G. (Eotvos Lorand University, Dept. of Algebra and Number Theory, Budapest, Hungary); Wegener, Ingo; Zhang, Zhen (Communications Science Institute, University of Southern California, Los Angeles, USA). Num Pages: 652 pages, biography. BIC Classification: PBV; TJF; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 279 x 210 x 34. Weight in Grams: 1641.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag New York Inc. United States
Edition
Softcover reprint of the original 1st ed. 2000
Number of pages
652
Condition
New
SKU
V9781441949677
ISBN
9781441949677
Paperback
Condition: New

€ 257.17

Hardback. This collection of articles is published in honour of Rudolf Ahlswede. His main areas of research are represented in the three sections, "Numbers and Combinations", "Information Theory" and "Complexity". Editor(s): Althofer, Ingo; Cai, Ning (School of Computing, National University of Singapore); Dueck, Gunter; Khachatrian, Levon H. (Fakultat Mathematik, Universitat Bielefeld, Germany); Pinsker, Marcus (Institute for Problems of Information Transmission, Russian Academy of Sciences, Moscow); Sarkozy, G. (Eotvos Lorand University, Dept. of Algebra and Number Theory, Budapest, Hungary); Wegener, Ingo; Zhang, Zhen (Communications Science Institute, University of Southern California, Los Angeles, USA). Num Pages: 652 pages, biography. BIC Classification: GPFC; T; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 36. Weight in Grams: 1116.
Format
Hardback
Publication date
2000
Publisher
Kluwer Academic Publishers United States
Number of pages
652
Condition
New
SKU
V9780792377658
ISBN
9780792377658
Hardback
Condition: New

€ 254.14

Paperback. Editor(s): Amato, Giuseppe; Connor, Richard; Falchi, Fabrizio; Gennaro, Claudio. Series: Lecture Notes in Computer Science. Num Pages: 374 pages, 125 colour illustrations, biography. BIC Classification: UMB; UNH; UYA; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 575.
Format
Paperback
Publication date
2015
Publisher
Springer International Publishing AG Switzerland
Number of pages
374
Condition
New
SKU
V9783319250861
ISBN
9783319250861
Paperback
Condition: New

€ 67.41

Paperback. Editor(s): Amsaleg, Laurent; Houle, Michael E; Schubert, Erich. Series: Lecture Notes in Computer Science. Num Pages: 339 pages, 135 black & white illustrations, biography. BIC Classification: UMB; UNH; UYA; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 551.
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
339
Condition
New
SKU
V9783319467580
ISBN
9783319467580
Paperback
Condition: New

€ 67.27

Paperback. The 31 papers are organized in topical sections on logic and diagrams, theoretical concerns about diagrams, human communication with diagrams, diagrammatic reasoning and proof systems, and diagrams for systems versus systems for diagrams. Editor(s): Anderson, Michael; Cheng, Peter; Haarslev, Volker. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 520 pages, biography. BIC Classification: UM; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 26. Weight in Grams: 1590.
Format
Paperback
Publication date
2000
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
520
Condition
New
SKU
V9783540679158
ISBN
9783540679158
Paperback
Condition: New

€ 135.29

Hardback. Editor(s): Andreka, Hajnal; Ferenczi, M.; Nemeti, Istvan. Series: Bolyai Society Mathematical Studies. Num Pages: 480 pages, biography. BIC Classification: PBC; PBF; PBV; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 31. Weight in Grams: 877.
Format
Hardback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
480
Condition
New
SKU
V9783642350245
ISBN
9783642350245
Hardback
Condition: New

€ 130.82

Paperback. Editor(s): Andreka, Hajnal; Ferenczi, Miklos; Nemeti, Istvan. Series: Bolyai Society Mathematical Studies. Num Pages: 480 pages, biography. BIC Classification: PBC; PBF; PBV; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 730.
Format
Paperback
Publication date
2015
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
480
Condition
New
SKU
V9783642437991
ISBN
9783642437991
Paperback
Condition: New

€ 129.20

Paperback. Editor(s): Angelini, Claudia; Rancoita, Paola M. V.; Rovetta, Stefano. Series: Lecture Notes in Computer Science. Num Pages: 298 pages, 89 black & white illustrations, biography. BIC Classification: UNF; UYAM; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
298
Condition
New
SKU
V9783319443317
ISBN
9783319443317
Paperback
Condition: New

€ 66.73

Hardback. This book examines recent developments in the numerics of partial differential equations. It emphasizes methods of high order and applications in computational fluid dynamics. Editor(s): Ansorge, Rainer; Bijl, Hester; Meister, Andreas; Sonar, Thomas. Series: Notes on Numerical Fluid Mechanics and Multidisciplinary Design. Num Pages: 344 pages, biography. BIC Classification: PBKJ; PBKS; TBC; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 678.
Format
Hardback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
344
Condition
New
SKU
V9783642332203
ISBN
9783642332203
Hardback
Condition: New

€ 250.93

Paperback. This book examines recent developments in the numerics of partial differential equations. It emphasizes methods of high order and applications in computational fluid dynamics. Editor(s): Ansorge, Rainer; Bijl, Hester; Meister, Andreas; Sonar, Thomas. Series: Notes on Numerical Fluid Mechanics and Multidisciplinary Design. Num Pages: 344 pages, biography. BIC Classification: PBKJ; PBKS; TBC; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
Format
Paperback
Publication date
2014
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
344
Condition
New
SKU
V9783642437748
ISBN
9783642437748
Paperback
Condition: New

€ 248.40

Paperback. Editor(s): Antoniadis, Anestis; Poggi, Jean-Michel; Brossat, Xavier. Series: Lecture Notes in Statistics. Num Pages: 349 pages, 56 black & white illustrations, 49 colour illustrations, biography. BIC Classification: PBT; PBWH; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 495.
Format
Paperback
Publication date
2015
Publisher
Birkhauser Verlag AG Switzerland
Number of pages
349
Condition
New
SKU
V9783319187310
ISBN
9783319187310
Paperback
Condition: New

€ 194.32

Paperback. Contains papers presented at the 2nd International Conference on Unconventional Models of Computation, which was held at Solvay Institutes, Brussels, Belgium, in December 2000. This work covers all major areas of unconventional computation, including quantum computing, DNA-based computation, membrane computing and evolutionary algorithms. Editor(s): Antoniou, Ioannis; Calude, Cristian S.; Dinneen, M. J. Series: Discrete Mathematics and Theoretical Computer Science. Num Pages: 301 pages, 6 black & white illustrations, biography. BIC Classification: UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 16. Weight in Grams: 486.
Format
Paperback
Publication date
2000
Publisher
Springer London Ltd United Kingdom
Number of pages
301
Condition
New
SKU
V9781852334154
ISBN
9781852334154
Paperback
Condition: New

€ 128.00

Paperback. Constitutes the refereed proceedings of the 10th International Conference on Software Composition, SC 2011, held in Zurich, Switzerland, in June/July 2011, co-located with TOOLS 2011 Federated Conferences. Editor(s): Apel, Sven; Jackson, Ethan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 189 pages, 22 black & white illustrations, 35 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 302.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
189
Condition
New
SKU
V9783642220449
ISBN
9783642220449
Paperback
Condition: New

€ 66.97

Paperback. This volume covers the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999. It discusses the theoretical aspects of combining behavioural and state-based formalisms and practical solutions to the industrial problems of this approach. Editor(s): Araki, Keijiro; Galloway, Andy; Taguchi, K. Num Pages: 477 pages, 3 black & white illustrations, biography. BIC Classification: UL; UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 743.
Format
Paperback
Publication date
1999
Publisher
Springer London Ltd United Kingdom
Edition
Softcover reprint of the original 1st ed. 1999
Number of pages
477
Condition
New
SKU
V9781852331078
ISBN
9781852331078
Paperback
Condition: New

€ 129.71

Paperback. Editor(s): Arbab, Farhad; Olveczky, Peter Csaba. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 369 pages, 131 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 532.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
369
Condition
New
SKU
V9783642357428
ISBN
9783642357428
Paperback
Condition: New

€ 67.77

Paperback. Constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011. This title features papers organized in topical section on models of programs and systems, software specification, validation and verification, and more. Editor(s): Arbab, Farhad; Sirjani, Marjan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 389 pages, 90 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 548.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
389
Condition
New
SKU
V9783642293191
ISBN
9783642293191
Paperback
Condition: New

€ 67.93

Paperback. Editor(s): Artemov, Sergei; Nerode, Anil. Series: Lecture Notes in Computer Science. Num Pages: 417 pages, 33 colour illustrations, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 640.
Format
Paperback
Publication date
2015
Publisher
Springer International Publishing AG Switzerland
Number of pages
417
Condition
New
SKU
V9783319276823
ISBN
9783319276823
Paperback
Condition: New

€ 67.81

Paperback. Editor(s): Artemov, Sergei; Nerode, Anil. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 425 pages, 49 black & white illustrations, biography. BIC Classification: PBC; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 597.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
425
Condition
New
SKU
V9783642357213
ISBN
9783642357213
Paperback
Condition: New

€ 68.25

Paperback. Editor(s): Artho, Cyrille; Legay, Axel; Peled, Doron. Series: Lecture Notes in Computer Science. Num Pages: 541 pages, 102 black & white illustrations, biography. BIC Classification: UMX; UYA; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 817.
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
541
Condition
New
SKU
V9783319465197
ISBN
9783319465197
Paperback
Condition: New

€ 68.92

Paperback. This book offers reminiscences and essays on the work of Marek Sergot, and articles on logic programming, temporal reasoning and action languages, artificial intelligence and law, deontic logic and norm-governed systems and logical approaches to policies. Editor(s): Artikis, Alexander; Craven, Robert; Kesim Cicekli, Nihan; Sadighi, Babak; Stathis, Kostas. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 445 pages, 36 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 682.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
445
Condition
New
SKU
V9783642294136
ISBN
9783642294136
Paperback
Condition: New

€ 68.44

Paperback. Editor(s): Asher, Nicholas; Soloviev, Sergei. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 205 pages, 29 black & white illustrations, biography. BIC Classification: CFX; UM; UYA; UYQ; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 326.
Format
Paperback
Publication date
2014
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
205
Condition
New
SKU
V9783662437414
ISBN
9783662437414
Paperback
Condition: New

€ 65.92

paperback. Editor(s): Astesiano, Egidio; Kreowski, Hans-Jorg; Krieg-Bruckner, Bernd. Series: IFIP State-of-the-Art Reports. Num Pages: 616 pages, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 942.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
Softcover reprint of the original 1st ed. 1999
Number of pages
616
Condition
New
SKU
V9783642641510
ISBN
9783642641510
Paperback
Condition: New

€ 70.18

Subscribe to our newsletter

News on special offers, signed editions & more!