Mathematical theory of computation
Results 21 - 40 of 366
Mathematical theory of computation
Paperback. Constitutes the refereed proceedings of the 49th International Conference on Objects, Models, Components, Patterns, held in Zurich, Switzerland, in June 2011. This book includes the papers that discuss various aspects of object technology and related fields, in particular model-based development, and component-based development. Editor(s): Bishop, Judith; Vallecillo, Antonio. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 307 pages, 86 black & white illustrations, 24 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 307
- Condition
- New
- SKU
- V9783642219511
- ISBN
- 9783642219511
Paperback
Condition: New
€ 67.15
€ 67.15
Paperback. This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions written by his colleagues. The articles cover a range of topics - representing only a fraction of Gurevich's multiple areas of interest. Editor(s): Blass, Andreas; Dershowitz, Nachum; Reisig, Wolfgang. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 627 pages, 49 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 157 x 24. Weight in Grams: 900.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 627
- Condition
- New
- SKU
- V9783642150241
- ISBN
- 9783642150241
Paperback
Condition: New
€ 131.26
€ 131.26
The Architecture of Scientific Software. IFIP TC2/WG2.5 Working Confer...
. Ed(S): Boisvert, Ronald F.; Tang, Ping Tak ...
Paperback. Editor(s): Boisvert, Ronald F.; Tang, Ping Tak Peter. Series: IFIP Advances in Information and Communication Technology. Num Pages: 378 pages, biography. BIC Classification: PBKS; PBWH; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 587.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 378
- Condition
- New
- SKU
- V9781475767193
- ISBN
- 9781475767193
Paperback
Condition: New
€ 239.06
€ 239.06
Logic and the Foundations of Game and Decision Theory - LOFT 8
. Ed(S): Bonanno, Giacomo; Lowe, Benedikt; Ho...
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Logic and the Foundations of the Theory of Game and Decision Theory, LOFT8 2008, that was held in Amsterdam, The Netherlands, July 2008. This volume is based on a selection of the presented papers and invited talks. Editor(s): Bonanno, Giacomo; Lowe, Benedikt; Hoek, Wiebe van der. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 218 pages, 35 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 218
- Condition
- New
- SKU
- V9783642151637
- ISBN
- 9783642151637
Paperback
Condition: New
€ 66.46
€ 66.46
Hardback. Features a selection of papers from The First International and Interdisciplinary Conference on Modelling and Using Context, Rio de Janeiro, January 1997. Several chapters in this volume deal with contextualisation in the setting of natural language, while others seek to develop general models of wider applicability. Editor(s): Bonzon, Pierre; Cavalcanti, Marcos; Nossum, Rolf. Series: Applied Logic Series. Num Pages: 216 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 216
- Condition
- New
- SKU
- V9780792363507
- ISBN
- 9780792363507
Hardback
Condition: New
€ 127.57
€ 127.57
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
€ 192.98
€ 192.98
Paperback. Constitutes the refereed proceedings of the 18th International Symposium on Graph Drawing, GD 2010, held in Konstanz, Germany, during September 2010. This title also contains a detailed report about the 17th Annual Graph Drawing Contest, held as a satellite event of GD 2010. Editor(s): Brandes, Ulrik; Cornelsen, Sabine. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 414 pages, 111 black & white illustrations, 91 colour illustrations, biography. BIC Classification: UMB; UYA; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 414
- Condition
- New
- SKU
- V9783642184680
- ISBN
- 9783642184680
Paperback
Condition: New
€ 66.58
€ 66.58
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
€ 129.60
€ 129.60
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
€ 192.57
€ 192.57
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
€ 192.95
€ 192.95
Paperback. Constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, held in Stockholm, Sweden, in June 2012. Editor(s): Brorsson, Mats; Pinho, Luis Miguel. Series: Lecture Notes in Computer Science. Num Pages: 220 pages, 59 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 220
- Condition
- New
- SKU
- V9783642305979
- ISBN
- 9783642305979
Paperback
Condition: New
€ 66.61
€ 66.61
Paperback. Constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. Editor(s): Bruni, Roberto; Dingel, Juergen. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 349 pages, 40 black & white illustrations, 16 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 349
- Condition
- New
- SKU
- V9783642214608
- ISBN
- 9783642214608
Paperback
Condition: New
€ 67.44
€ 67.44
Automated Reasoning with Analytic Tableaux and Related Methods
. Ed(S): Brunnler, Kai; Metcalfe, George
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011 that was held in Bern, Switzerland. Editor(s): Brunnler, Kai; Metcalfe, George. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 279 pages, 36 black & white illustrations, 4 colour illustrations, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642221187
- ISBN
- 9783642221187
Paperback
Condition: New
€ 67.20
€ 67.20
Paperback. Constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, that was held in Limerick, Ireland. Editor(s): Butler, Michael; Schulte, Wolfram. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 450 pages, 83 black & white illustrations, 27 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642214363
- ISBN
- 9783642214363
Paperback
Condition: New
€ 68.83
€ 68.83
Paperback. Editor(s): Caballero, Juan; Bodden, Eric. Series: Lecture Notes in Computer Science. Num Pages: 279 pages, 64 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; URY; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 279
- Condition
- New
- SKU
- V9783319308050
- ISBN
- 9783319308050
Paperback
Condition: New
€ 63.70
€ 63.70
Paperback. This volume is dedicated to Hermann Maurer on his 70th birthday. Topics include Automata, Formal Languages and Computability to various aspects of the Practice of Computer Science, as well as from Algorithmics to Learning. Editor(s): Calude, Cristian S.; Rozenberg, Grzegorz; Salomaa, Arto. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 285 pages, 30 black & white illustrations, 39 colour illustrations, biography. BIC Classification: UBJ; UM; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 237 x 155 x 16. Weight in Grams: 460.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 285
- Condition
- New
- SKU
- V9783642193903
- ISBN
- 9783642193903
Paperback
Condition: New
€ 67.20
€ 67.20
Paperback. Editor(s): Campos, Javier; Haverkort, Boudewijn R. Series: Lecture Notes in Computer Science. Num Pages: 345 pages, 99 black & white illustrations, biography. BIC Classification: UGK; UYAM; UYD; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 345
- Condition
- New
- SKU
- V9783319222639
- ISBN
- 9783319222639
Paperback
Condition: New
€ 64.58
€ 64.58
Paperback. Constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011. Editor(s): Cerone, Antonio; Pihlajasaari, Pekka. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 267 pages, 45 black & white illustrations, 10 colour illustrations, biography. BIC Classification: UMB; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 267
- Condition
- New
- SKU
- V9783642232824
- ISBN
- 9783642232824
Paperback
Condition: New
€ 83.71
€ 83.71
Hardback. The International Colloquium on Mathematics and Computer Science is a biennial event that first took place at the University of Versailles-St-Quentin in 2000 and was acknowledged a success. The second colloquium was held in September 16-19, 2002, again in Versailles. This book gathers the second colloquium proceedings. Editor(s): Chauvin, B.; Flajolet, Philippe; Gardy, Daniele; Mokkadem, A. Series: Trends in Mathematics. Num Pages: 543 pages, biography. BIC Classification: PBW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 31. Weight in Grams: 2120.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 543
- Condition
- New
- SKU
- V9783764369330
- ISBN
- 9783764369330
Hardback
Condition: New
€ 139.73
€ 139.73
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. This book also includes 6 papers from the CALCO-tools Workshop, colocated with CALCO 2011 and dedicated to tools based on algebraic and/or coalgebraic principles. Editor(s): Corradini, Andrea; Klin, Bartek; Cirstea, Corina. Series: Lecture Notes in Computer Science. Num Pages: 420 pages, 112 black & white illustrations, 6 colour illustrations, biography. BIC Classification: UM; UYA; UYAM; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 420
- Condition
- New
- SKU
- V9783642229435
- ISBN
- 9783642229435
Paperback
Condition: New
€ 68.24
€ 68.24