Mathematical theory of computation
Results 169 - 190 of 190
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
€ 65.58
€ 65.58
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
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
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. 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
€ 65.88
€ 65.88
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. 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. 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
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
Paperback. Constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September 2010. Editor(s): D'Ambra, Pasqua; Guarracino, Mario; Talia, Domenico. Series: Lecture Notes in Computer Science. Num Pages: 544 pages, 222 black & white illustrations, biography. BIC Classification: UMB; UYA; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 544
- Condition
- New
- SKU
- V9783642152900
- ISBN
- 9783642152900
Paperback
Condition: New
€ 69.87
€ 69.87
Paperback. Constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in August 2010. This title covers such topics as automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, and more. Editor(s): Dawar, Anuj; Veith, Helmut. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 548 pages, 64 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 548
- Condition
- New
- SKU
- V9783642152047
- ISBN
- 9783642152047
Paperback
Condition: New
€ 69.87
€ 69.87
Paperback. Editor(s): De Nicola, Rocco; Kuhn, Eva. Series: Lecture Notes in Computer Science. Num Pages: 434 pages, 86 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 664.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 434
- Condition
- New
- SKU
- V9783319415901
- ISBN
- 9783319415901
Paperback
Condition: New
€ 53.23€ 52.77
€ 53.23
€ 52.77
Paperback. Constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A Coruna, Spain in March 2012. Editor(s): Dediu, Adrian Horia; Martin-Vide, Carlos. Series: Lecture Notes in Computer Science. Num Pages: 556 pages, 64 black & white illustrations, biography. BIC Classification: J; UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 556
- Condition
- New
- SKU
- V9783642283314
- ISBN
- 9783642283314
Paperback
Condition: New
€ 67.73
€ 67.73
A 25-Year Perspective on Logic Programming: Achievements of the Italia...
. Ed(S): Dovier, Agostino; Pontelli, Enrico
paperback. This book celebrates the 25th anniversary of GULP - the Italian Association for Logic Programming. Authored by Italian researchers, it presents a state-of-the-art survey of logic programming, making it a useful reference for both researchers and students. Editor(s): Dovier, Agostino; Pontelli, Enrico. Series: Lecture Notes in Computer Science. Num Pages: 329 pages, 21 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 329
- Condition
- New
- SKU
- V9783642143083
- ISBN
- 9783642143083
Paperback
Condition: New
€ 67.64
€ 67.64
Paperback. Constitutes the refereed proceedings of the 6th Conference on Computability in Europe, CiE 2010, held in Ponta Delgada, Azores, Portugal, in June/July 2010. Editor(s): Ferreira, Fernando; Lowe, Benedikt; Mayordomo, Elvira; Gomes, Luis Mendes. Series: Lecture Notes in Computer Science. Num Pages: 450 pages, 37 black & white illustrations, biography. BIC Classification: UGK; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642139611
- ISBN
- 9783642139611
Paperback
Condition: New
€ 68.83
€ 68.83
Paperback. Constitutes the refereed proceedings of the '50th International Conference on Objects, Models, Components, Patterns, Tools Europe 2012', held in Prague, Czech Republic, during May 29-31, 2012. Editor(s): Furia, Carlo A.; Nanz, Sebastian. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 372 pages, 100 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 372
- Condition
- New
- SKU
- V9783642305603
- ISBN
- 9783642305603
Paperback
Condition: New
€ 67.95
€ 67.95
Paperback. Constitutes the proceedings of the 14th International Conference on Developments in Language Theory, DLT 2010, held in London, Ontario, Canada, in August 2010. These papers address topics such as formal languages, automata theory, computability, complexity, logic, petri nets, and related areas. Editor(s): Gao, Yuan; Lu, Hanlin; Seki, Shinnosuke; Yu, Sheng. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 446 pages, 48 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 23. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 446
- Condition
- New
- SKU
- V9783642144547
- ISBN
- 9783642144547
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. The 9th issue of the Transactions on Computational Science journal is devoted to the subject of Voronoi diagrams in science and engineering. The papers constitute extended versions of selected papers from the International Symposium on Voronoi Diagrams 2009. Editor(s): Gavrilova, Marina; Tan, C. J. Kenneth. Series: Lecture Notes in Computer Science / Transactions on Computational Science. Num Pages: 203 pages, 87 black & white illustrations, biography. BIC Classification: PSA; UG; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 13. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 203
- Condition
- New
- SKU
- V9783642160066
- ISBN
- 9783642160066
Paperback
Condition: New
€ 66.02
€ 66.02
Paperback. Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Giesl, Jurgen; Hahnle, Reiner. Series: Lecture Notes in Computer Science. Num Pages: 534 pages, 85 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 534
- Condition
- New
- SKU
- V9783642142024
- ISBN
- 9783642142024
Paperback
Condition: New
€ 130.67
€ 130.67
Diagrammatic Representation and Inference: 6th International Conferenc...
. Ed(S): Goel, Ashok K.; Jamnik, Mateja; Nara...
paperback. Constitutes the refereed proceedings of the 6th International Conference on Theory and Application of Diagrams, Diagrams 2010, held in Portland, OR, USA, in August 2010. Editor(s): Goel, Ashok K.; Jamnik, Mateja; Narayanan, N.Hari. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 358 pages, 141 black & white illustrations, biography. BIC Classification: UBJ; UKN; UNF; UYA; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 358
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642145995
- ISBN
- 9783642145995
Paperback
Condition: New
€ 67.80
€ 67.80
Paperback. Constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. This title covers such topics as: model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, and automated test generation. Editor(s): Gogolla, Martin; Wolff, Burkhart. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 205 pages, 28 black & white illustrations, 20 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 205
- Condition
- New
- SKU
- V9783642217678
- ISBN
- 9783642217678
Paperback
Condition: New
€ 64.58
€ 64.58
Paperback. Editor(s): Hao, Jin-Kao; Middendorf, Martin. Series: Lecture Notes in Computer Science. Num Pages: 264 pages, 62 black & white illustrations, biography. BIC Classification: PBU; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 264
- Condition
- New
- SKU
- V9783642291234
- ISBN
- 9783642291234
Paperback
Condition: New
€ 83.42
€ 83.42