Mathematical theory of computation
Results 97 - 120 of 190
Mathematical theory of computation
Paperback. Presents foundational and practical issues in programming languages and systems and features in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, and safety. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 440 pages, 48 black & white illustrations, biography. BIC Classification: UMX; UMZ; UR; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 699.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783642171635
- ISBN
- 9783642171635
Paperback
Condition: New
€ 68.80
€ 68.80
Paperback. Constitutes the refereed best selected papers of the 5th International Symposium on Parameterized and Exact Computation, IPEC 2010, held in Chennai, India, in December 2010. Editor(s): Raman, Venkatesh; Saurabh, Saket. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 239 pages, 18 black & white illustrations, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 239
- Condition
- New
- SKU
- V9783642174926
- ISBN
- 9783642174926
Paperback
Condition: New
€ 66.70
€ 66.70
Database Theory and Application, Bio-Science and Bio-Technology
. Ed(S): Zhang, Yanchun; Cuzzocrea, Alfredo; ...
Paperback. Constitutes the refereed proceedings of the International Conference on Database Theory and Application, DTA 2010, and the International Conference on Bio-Science and Bio-Technology, BSBT 2010, both held as part of the Future Generation Information Technology Conference, FGIT 2010, in Jeju Island, Korea, in December 2010. Editor(s): Zhang, Yanchun; Cuzzocrea, Alfredo; Ma, Jianhua; Chung, Kyo-Il; Arslan, Tughrul; Song, Xiaofeng. Series: Communications in Computer and Information Science. Num Pages: 310 pages, 164 black & white illustrations, biography. BIC Classification: UGK; UMB; UN; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 152 x 20. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 310
- Condition
- New
- SKU
- V9783642176210
- ISBN
- 9783642176210
Paperback
Condition: New
€ 67.35
€ 67.35
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
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
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. 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. Presents the research that intends to gain an understanding of what computation is, to find better models of computation, and to look for various computing devices inspired by the structure and/or functioning of natural or societal systems. Editor(s): Kelemen, Jozef; Kelemenova, Alica. Series: Lecture Notes in Computer Science. Num Pages: 217 pages, 13 black & white illustrations, biography. BIC Classification: PBD; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 156 x 237 x 13. Weight in Grams: 360.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 217
- Condition
- New
- SKU
- V9783642199998
- ISBN
- 9783642199998
Paperback
Condition: New
€ 64.73
€ 64.73
Paperback. Constitutes the refereed post-workshop proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2008, that was held in Shanghai, China in September 2008. Editor(s): Sturm, Thomas; Zengler, Christoph. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 225 pages, 46 black & white illustrations, 22 colour illustrations, biography. BIC Classification: PBMW; UG; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 225
- Condition
- New
- SKU
- V9783642210457
- ISBN
- 9783642210457
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
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 refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, that was held in Edinburgh, UK. Editor(s): Romanovsky, Alexander; Vardanega, Tullio. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 227 pages, 27 black & white illustrations, 28 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 227
- Condition
- New
- SKU
- V9783642213373
- ISBN
- 9783642213373
Paperback
Condition: New
€ 64.86
€ 64.86
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. 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. Includes various rough set generalizations in combination with formal concept analysis, lattice theory, fuzzy sets and belief functions, rough and fuzzy clustering techniques, as well as applications to gene selection, web page recommendation systems, facial recognition, and temporal pattern detection. Editor(s): Sakai, Hiroshi; Chakraborty, Mihir; Slezak, Dominik; Hassanien, Aboul-Ella; Zhu, William. Series: Lecture Notes in Computer Science. Num Pages: 235 pages, black & white illustrations, colour illustrations, black & white tables, figures, bibliog. BIC Classification: UYA; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 235
- Condition
- New
- SKU
- V9783642215629
- ISBN
- 9783642215629
Paperback
Condition: New
€ 64.58
€ 64.58
Mathematical Morphology and its Applications to Image and Signal Proce...
. Ed(S): Soille, Pierre; Pesaresi, Martino; O...
Paperback. Contains the refereed proceedings of the 10th International Symposium on Mathematical Morphology, ISMM 2011 held in Verbania-Intra, Italy in July 2011. This book features the papers that are organized in thematic sections on theory, lattices and order, connectivity, image analysis, processing and segmentation, and adaptive morphology. Editor(s): Soille, Pierre; Pesaresi, Martino; Ouzounis, Georgios. Series: Lecture Notes in Computer Science. Num Pages: 484 pages, 115 black & white illustrations, 95 colour illustrations, biography. BIC Classification: PBD; PSA; UMB; UYAM; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 484
- Condition
- New
- SKU
- V9783642215681
- ISBN
- 9783642215681
Paperback
Condition: New
€ 68.53
€ 68.53
Paperback. Constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, that was held in Ann Arbor, MI, USA. Editor(s): Sakallah, Karem A.; Simon, Laurent. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 371 pages, 35 black & white illustrations, 28 colour illustrations, biography. BIC Classification: UMB; UYA; UYF; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783642215803
- ISBN
- 9783642215803
Paperback
Condition: New
€ 68.24
€ 68.24
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
Application and Theory of Petri Nets: 32nd International Conference, P...
. Ed(S): Kristensen, Lars Lyngsgaard Fjord; P...
paperback. Constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in June 2011. This book addresses issues on research and development in the area of Petri nets and related models of concurrent systems. Editor(s): Kristensen, Lars Lyngsgaard Fjord; Petrucci, L. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 349 pages, 107 black & white illustrations, 23 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 349
- Condition
- New
- SKU
- V9783642218330
- ISBN
- 9783642218330
Paperback
Condition: New
€ 65.88
€ 65.88
Paperback. Constitutes the reviewed post-proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems, ArgMas 2010, held in Toronto, Canada in May 2010 as a satellite workshop of AAMAS 2010. This title features the papers that give a representative overview on research on argumentation in multi-agent systems. Editor(s): McBurney, Peter; Rahwan, Iyad; Parsons, Simon. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 327 pages, 48 black & white illustrations, 11 colour illustrations, biography. BIC Classification: UKN; UNH; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 327
- Condition
- New
- SKU
- V9783642219399
- ISBN
- 9783642219399
Paperback
Condition: New
€ 65.73
€ 65.73
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
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 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 proceedings of the 11th International Conference on Parallel Computing Technologies, PaCT 2011, held in Kazan, Russia on September 19-23, 2011. In this title, the papers are organized in topical sections on models and languages, cellular automata, parallel programming tools and support, and applications. Editor(s): Malyshkin, Victor. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 500 pages, 145 black & white illustrations, 46 colour illustrations, biography. BIC Classification: UGK; UMB; UMZ; UT; UYA; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 726.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 500
- Condition
- New
- SKU
- V9783642231773
- ISBN
- 9783642231773
Paperback
Condition: New
€ 67.03
€ 67.03