Mathematical theory of computation
Results 169 - 190 of 190
Mathematical theory of computation
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
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 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. 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 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 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. 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 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
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 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
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 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
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. 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
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. Editor(s): Barthe, Gilles; Livshits, Ben; Scandariato, Riccardo. Series: Lecture Notes in Computer Science. Num Pages: 151 pages, 37 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; URY; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 151
- Condition
- New
- SKU
- V9783642281655
- ISBN
- 9783642281655
Paperback
Condition: New
€ 64.06
€ 64.06
Paperback. Editor(s): Banerjee, Mohua; Seth, Professor Anil. Series: Lecture Notes in Computer Science. Num Pages: 219 pages, 12 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 219
- Condition
- New
- SKU
- V9783642180255
- ISBN
- 9783642180255
Paperback
Condition: New
€ 66.61
€ 66.61
Frontiers in Algorithmics and Algorithmic Aspects in Information and M...
. Ed(S): Atallah, Mikhail J.; Li, Xiang-Yang;...
Paperback. Editor(s): Atallah, Mikhail J.; Li, Xiang-Yang; Zhu, Binhai. Series: Lecture Notes in Computer Science. Num Pages: 390 pages, 65 black & white illustrations, 20 colour illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZM. 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
- Edition
- 2011
- Number of pages
- 390
- Condition
- New
- SKU
- V9783642212031
- ISBN
- 9783642212031
Paperback
Condition: New
€ 66.30
€ 66.30
Paperback. Editor(s): Adam, Gheorghe; Busa, Jan; Hnatic, Michal. Series: Lecture Notes in Computer Science. Num Pages: 336 pages, 127 black & white illustrations. BIC Classification: PBD; UGK; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 517.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 336
- Condition
- New
- SKU
- V9783642282119
- ISBN
- 9783642282119
Paperback
Condition: New
€ 65.70
€ 65.70
Integration of AI and OR Techniques in Constraint Programming for Comb...
. Ed(S): Achterberg, Tobias; Beck, J. Christo...
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2011, held in Berlin, Germany, in May 2011. Editor(s): Achterberg, Tobias; Beck, J. Christopher (University of Toronto). Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 263 pages, 36 black & white illustrations, 20 colour illustrations, biography. BIC Classification: KJT; PBD; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 263
- Condition
- New
- SKU
- V9783642213106
- ISBN
- 9783642213106
Paperback
Condition: New
€ 66.90
€ 66.90
Paperback. Constitutes the proceedings of the 5th International Computer Science Symposium in Russia, CSR 2010, held in Kazan, Russia, in June 2010. Editor(s): Ablayev, Farid; Mayr, Ernst W. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 397 pages, 49 black & white illustrations, biography. BIC Classification: UMB; UMC; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 397
- Condition
- New
- SKU
- V9783642131813
- ISBN
- 9783642131813
Paperback
Condition: New
€ 68.24
€ 68.24
Paperback. Discusses the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness. Series: Lecture Notes in Computer Science. Num Pages: 277 pages, 30 black & white illustrations, 32 colour illustrations, biography. BIC Classification: UNF; UYA; UYQM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 277
- Condition
- New
- SKU
- V9783642183010
- ISBN
- 9783642183010
Paperback
Condition: New
€ 65.21
€ 65.21