×


 x 

Shopping cart

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Subscribe to our newsletter

News on special offers, signed editions & more!