Mathematical theory of computation
Results 25 - 48 of 1831
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
€ 122.64
€ 122.64
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
€ 123.39
€ 123.39
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
€ 246.27
€ 246.27
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
€ 244.28
€ 244.28
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
€ 64.78
€ 64.78
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
€ 64.63
€ 64.63
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
€ 129.56
€ 129.56
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
€ 125.25
€ 125.25
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
€ 123.70
€ 123.70
Computational Intelligence Methods for Bioinformatics and Biostatistic...
. Ed(S): Angelini, Claudia; Rancoita, Paola M...
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
€ 64.11
€ 64.11
Recent Developments in the Numerics of Nonlinear Hyperbolic Conservati...
. Ed(S): Ansorge, Rainer; Bijl, Hester; Meist...
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
€ 240.11
€ 240.11
Recent Developments in the Numerics of Nonlinear Hyperbolic Conservati...
. Ed(S): Ansorge, Rainer; Bijl, Hester; Meist...
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
€ 238.07
€ 238.07
Modeling and Stochastic Learning for Forecasting in High Dimensions
. Ed(S): Antoniadis, Anestis; Poggi, Jean-Mic...
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
€ 186.47
€ 186.47
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
€ 122.67
€ 122.67
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
€ 64.18
€ 64.18
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
€ 124.30
€ 124.30
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
€ 64.99
€ 64.99
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
€ 65.10
€ 65.10
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
€ 65.15
€ 65.15
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
€ 65.45
€ 65.45
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
€ 66.22
€ 66.22
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
€ 65.62
€ 65.62
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
€ 63.26
€ 63.26
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
€ 67.35
€ 67.35