.png){kind=logo}
Mathematical theory of computation
Results 161 - 180 of 1825
Mathematical theory of computation
Paperback. These conference papers cover theoretical studies of various logical and conceptual tools along with the assessment of various applications. Areas featured include deontic logics, logics of action and normative systems. Editor(s): Brown, Mark A.; Carmo, Jose. Series: Workshops in Computing. Num Pages: 235 pages, biography. BIC Classification: UYA; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 13. Weight in Grams: 359.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 235
- Condition
- New
- SKU
- V9783540760153
- ISBN
- 9783540760153
Paperback
Condition: New
€ 127.42
€ 127.42
paperback. Proceedings of the NATO Advanced Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30 - August 11, 1996 Editor(s): Broy, Manfred; Schieder, Birgit. Series: NATO ASI Subseries F. Num Pages: 528 pages, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 825.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 528
- Condition
- New
- SKU
- V9783642645884
- ISBN
- 9783642645884
Paperback
Condition: New
€ 130.19
€ 130.19
Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czec...
. Ed(S): Brucker, Achim; Julliand, Jacques
paperback. Constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. Editor(s): Brucker, Achim; Julliand, Jacques. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 187 pages, 57 black & white illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 187
- Condition
- New
- SKU
- V9783642304729
- ISBN
- 9783642304729
Paperback
Condition: New
€ 82.47
€ 82.47
Paperback. Constitutes the refereed proceedings of the 23rd International Conference on Algorithmic Learning Theory, ALT 2012, held in Lyon, France, in October 2012. Editor(s): Bshouty, Nader; Stoltz, Gilles; Vayatis, Nicolas; Zeugmann, Thomas. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 393 pages, 23 black & white illustrations, biography. BIC Classification: UMB; UYA; UYQ; UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 554.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 393
- Condition
- New
- SKU
- V9783642341052
- ISBN
- 9783642341052
Paperback
Condition: New
€ 67.93
€ 67.93
Paperback. Editor(s): Buchberger, Ernst; Retti, Johannes. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 189 pages, black & white illustrations, bibliography. BIC Classification: UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 11. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 189
- Condition
- New
- SKU
- V9783540183846
- ISBN
- 9783540183846
Paperback
Condition: New
€ 82.83
€ 82.83
Paperback. Editor(s): Buchi, J. Richard; Siefkes, Dirk. Num Pages: 316 pages, biography. BIC Classification: PBV; UYA. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 14. Weight in Grams: 501.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1989
- Number of pages
- 316
- Condition
- New
- SKU
- V9781461388555
- ISBN
- 9781461388555
Paperback
Condition: New
€ 128.09
€ 128.09
paperback. Editor(s): Bulatov, Andrei A.; Shur, Arseny M. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 457 pages, 55 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642385353
- ISBN
- 9783642385353
Paperback
Condition: New
€ 68.56
€ 68.56
Paperback. Editor(s): Bulling, Nils; Van Der Torre, Leon; Villata, Serena; Jamroga, Wojtek; Vasconcelos, Wamberto. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 215 pages, 22 black & white illustrations, biography. BIC Classification: UMX; UMZ; UNH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 215
- Condition
- New
- SKU
- V9783319097633
- ISBN
- 9783319097633
Paperback
Condition: New
€ 65.98
€ 65.98
Paperback. Editor(s): Bungartz, Hans-Joachim; Weinzierl, Tobias. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 252 pages, 36 black & white illustrations, 81 colour illustrations, 40 black & white tables, 10 colo. BIC Classification: PBKS; PDE; PHU; TBJ; UGK; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2013
- Number of pages
- 252
- Condition
- New
- SKU
- V9783662513729
- ISBN
- 9783662513729
Paperback
Condition: New
€ 127.16
€ 127.16
Paperback. The refereed post-proceedings of the Third International Conference on Practice and Theory of Automated Timetabling, contains 22 papers coveing: foundational and methodological issues from combinatorics, optimization, evolutionary computing, genetic algorithms, planning, constraints, and searching. Editor(s): Burke, Edmund; Erben, Wilhelm. Series: Lecture Notes in Computer Science. Num Pages: 376 pages, biography. BIC Classification: KJMV5; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 1160.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 376
- Condition
- New
- SKU
- V9783540424215
- ISBN
- 9783540424215
Paperback
Condition: New
€ 71.62
€ 71.62
Paperback. Editor(s): Butler, Michael; Schewe, Klaus-Dieter; Mashkoor, Atif; Biro, Miklos. Series: Lecture Notes in Computer Science. Num Pages: 447 pages, 143 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 447
- Condition
- New
- SKU
- V9783319335995
- ISBN
- 9783319335995
Paperback
Condition: New
€ 68.44
€ 68.44
Paperback. Compiled from the proceedings of the Third International Conference on Integrated Formal Methods in May 2002, this volume contains 21 papers. They are organized in topicalsections on integration, simulation, and animation from specification to verification statcharts. Editor(s): Butler, Michael; Sere, Kaisa; Petre, Luigia. Series: Lecture Notes in Computer Science. Num Pages: 401 pages, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 21. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 401
- Condition
- New
- SKU
- V9783540437031
- ISBN
- 9783540437031
Paperback
Condition: New
€ 72.44
€ 72.44
Variational Analysis and Aerospace Engineering: Mathematical Challenge...
. Ed(S): Buttazzo, Giuseppe; Frediani, Aldo
hardcover. Editor(s): Buttazzo, Giuseppe; Frediani, Aldo. Series: Springer Optimization and its Applications. Num Pages: 476 pages, 35 black & white tables, biography. BIC Classification: TBD; TBJ; TRP; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 871.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer United States
- Edition
- 2012th Edition
- Number of pages
- 476
- Condition
- New
- SKU
- V9781461424345
- ISBN
- 9781461424345
Hardback
Condition: New
€ 196.99
€ 196.99
Logic Programming and Nonmonotonic Reasoning: 12th International Confe...
. Ed(S): Cabalar, Pedro; Son, Tran Cao
paperback. Editor(s): Cabalar, Pedro; Son, Tran Cao. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 588 pages, 70 black & white illustrations, biography. BIC Classification: PBD; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 890.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Germany
- Edition
- 2013th Edition
- Number of pages
- 588
- Condition
- New
- SKU
- V9783642405631
- ISBN
- 9783642405631
Paperback
Condition: New
€ 69.86
€ 69.86
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
€ 66.54
€ 66.54
Paperback. Constitutes the refereed proceedings of the 4th International Conference, ICMT 2011, held in Zurich, Switzerland in June 2011. This book addresses such topics as transformation paradigms and languages, transformation algorithms and strategies, implementation and tools, as well as applications and case studies. Editor(s): Cabot, Jordi; Visser, Eelco. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 241 pages, 52 black & white illustrations, 42 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 373.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 241
- Condition
- New
- SKU
- V9783642217319
- ISBN
- 9783642217319
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Editor(s): Cai, Yiyu; See, Simon. Num Pages: 298 pages, 42 black & white illustrations, 85 colour illustrations, biography. BIC Classification: PDE; TTBM; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Verlag, Singapore Singapore
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 298
- Condition
- New
- SKU
- V9789811013607
- ISBN
- 9789811013607
Paperback
Condition: New
€ 127.57
€ 127.57
Paperback. Editor(s): Calimeri, Francesco; Ianni, Giovambattista; Truszczynski, Miroslaw. Series: Lecture Notes in Computer Science. Num Pages: 588 pages, 76 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 890.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 588
- Condition
- New
- SKU
- V9783319232638
- ISBN
- 9783319232638
Paperback
Condition: New
€ 69.34
€ 69.34
Paperback. Editor(s): Calinescu, Radu C.; Rumpe, Bernhard. Series: Lecture Notes in Computer Science. Num Pages: 380 pages, 84 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 587.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 380
- Condition
- New
- SKU
- V9783319229683
- ISBN
- 9783319229683
Paperback
Condition: New
€ 67.48
€ 67.48
Paperback. Editor(s): Calosi, Claudio; Graziani, Pierluigi. Series: Synthese Library. Num Pages: 398 pages, 161 black & white illustrations, biography. BIC Classification: HPK; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 398
- Condition
- New
- SKU
- V9783319357935
- ISBN
- 9783319357935
Paperback
Condition: New
€ 205.88
€ 205.88