Mathematical theory of computation
Results 121 - 144 of 1833
Mathematical theory of computation
Paperback. Editor(s): Blazy, Sandrine; Chechik, Marsha. Series: Lecture Notes in Computer Science. Num Pages: 213 pages, 36 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 213
- Condition
- New
- SKU
- V9783319488684
- ISBN
- 9783319488684
Paperback
Condition: New
€ 63.38
€ 63.38
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, F...
. Ed(S): Blazy, Sandrine; Jensen, Thomas
paperback. Editor(s): Blazy, Sandrine; Jensen, Thomas. Series: Lecture Notes in Computer Science. Num Pages: 349 pages, 90 black & white illustrations, biography. BIC Classification: UMZ; UR; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Germany
- Edition
- 1st ed. 2015
- Number of pages
- 349
- Condition
- New
- SKU
- V9783662482872
- ISBN
- 9783662482872
Paperback
Condition: New
€ 64.50
€ 64.50
Paperback. Editor(s): Blesa, Maria J.; Blum, Christian; Voss, Stefan. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 209 pages, 25 black & white illustrations, biography. BIC Classification: UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 209
- Condition
- New
- SKU
- V9783319076430
- ISBN
- 9783319076430
Paperback
Condition: New
€ 63.36
€ 63.36
Paperback. Editor(s): Bloem, Roderick; Arbel, Eli. Series: Lecture Notes in Computer Science. Num Pages: 227 pages, 60 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 227
- Condition
- New
- SKU
- V9783319490519
- ISBN
- 9783319490519
Paperback
Condition: New
€ 63.51
€ 63.51
Paperback. This volume focuses on the deeper aspects of software and hardware -- the two recognized subdivisions that make up the field of computer science. The text offers classical theoretical computer science concepts such as Unsolvability and Undecidability, among other key topics. Editor(s): Blum, Edward; Aho, Alfred V. Num Pages: 480 pages, biography. BIC Classification: UKN; UMX; UMZ; UN; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 480
- Condition
- New
- SKU
- V9781489994431
- ISBN
- 9781489994431
Paperback
Condition: New
€ 65.96
€ 65.96
Paperback. Editor(s): Bobillo, Fernando; Carvalho, Rommel N.; Costa, Paulo Cesar G. da; d'Amato, Claudia; Fanizzi, Nicola; Laskey, Kathryn B.; Laskey, Kenneth J.; Lukasiewicz, Thomas; Nickles, Matthias; Pool, Michael. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 347 pages, 56 black & white illustrations, biography. BIC Classification: UNF; UNH; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 347
- Condition
- New
- SKU
- V9783319134123
- ISBN
- 9783319134123
Paperback
Condition: New
€ 64.83
€ 64.83
Formal Methods: State of the Art and New Directions
. Ed(S): Boca, Paul P.; Bowen, Jonathan P.; S...
Paperback. Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material. Editor(s): Boca, Paul P.; Bowen, Jonathan P.; Siddiqi, Jawed I. Num Pages: 298 pages, 1 black & white tables, biography. BIC Classification: UMX; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 298
- Condition
- New
- SKU
- V9781447157458
- ISBN
- 9781447157458
Paperback
Condition: New
€ 122.44
€ 122.44
Paperback. Proceedings of the 17th Annual Conference of the Gesellschaft fur Klassifikation e.V., University of Kaiserslautern, March 3 - 5, 1993 Editor(s): Bock, Hans H.; Bock, Hans-Hermann; Lenski, Wolfgang; Richter, M.M. Series: Studies in Classification, Data Analysis, and Knowledge Organization. Num Pages: 479 pages, 31 black & white tables, biography. BIC Classification: PBT; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 24. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 479
- Condition
- New
- SKU
- V9783540580577
- ISBN
- 9783540580577
Paperback
Condition: New
€ 124.67
€ 124.67
Paperback. Proceedings of the 19th Annual Conference of the Gesell- schaft fur Klassifikation e.V. University of Basel, March 8-10, 1995. Editor(s): Bock, Hans-Hermann; Polasek, Wolfgang. Series: Studies in Classification, Data Analysis, and Knowledge Organization. Num Pages: 562 pages, 28 black & white illustrations, 37 black & white tables, biography. BIC Classification: PBT; UYAM. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 29. Weight in Grams: 952.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 562
- Condition
- New
- SKU
- V9783540607748
- ISBN
- 9783540607748
Paperback
Condition: New
€ 125.51
€ 125.51
The Multivariate Algorithmic Revolution and Beyond. Essays Dedicated t...
. Ed(S): Bodlaender, Hans L.; Downey, Rod; Fo...
Paperback. This Festschrift published in honor of Mike Fellows on the occasion of his 60th birthday contains 20 papers that showcase the history of parameterized complexity and also reflects on other parts of his unique and broad range of interests. Editor(s): Bodlaender, Hans L.; Downey, Rod; Fomin, Fedor V.; Marx, Daniel. Series: Lecture Notes in Computer Science. Num Pages: 506 pages, 32 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 233 x 157 x 29. Weight in Grams: 756.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 506
- Condition
- New
- SKU
- V9783642308901
- ISBN
- 9783642308901
Paperback
Condition: New
€ 66.40
€ 66.40
Paperback. Editor(s): Bodlaender, Hans L.; Italiano, Giuseppe F. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 847 pages, 134 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UML; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1276.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 847
- Condition
- New
- SKU
- V9783642404498
- ISBN
- 9783642404498
Paperback
Condition: New
€ 69.39
€ 69.39
Paperback. Editor(s): Boissonnat, Jean-Daniel; Chenin, Patrick; Cohen, Albert; Gout, Christian; Lyche, Tom; Mazure, Marie-Laurence; Schumaker, Larry L. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 758 pages, 355 black & white illustrations, biography. BIC Classification: PBC; UGC; UYAM; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 38. Weight in Grams: 1046.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 758
- Condition
- New
- SKU
- V9783642274121
- ISBN
- 9783642274121
Paperback
Condition: New
€ 126.64
€ 126.64
The Architecture of Scientific Software. IFIP TC2/WG2.5 Working Confer...
. Ed(S): Boisvert, Ronald F.; Tang, Ping Tak ...
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
€ 240.26
€ 240.26
Hardback. Gives particular emphasis to exposing contexts of the signal processing problems so that the impact of algorithms and hardware can be understood.This book brings together the writings of signal processing engineers, computer engineers, and applied linear algebraists in an exchange of problems, theories, and techniques. Editor(s): Bojanczyk, A.; Cybenko, G. Series: The IMA Volumes in Mathematics and its Applications. Num Pages: 200 pages, biography. BIC Classification: PBF; UYA; UYS; UYT. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 234 x 156 x 12. Weight in Grams: 470.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 200
- Condition
- New
- SKU
- V9780387944913
- ISBN
- 9780387944913
Hardback
Condition: New
€ 189.85
€ 189.85
paperback. Editor(s): Bojanczyk, Mikolaj; Potapov, Igor; Lasota, Slawomir. Series: Lecture Notes in Computer Science. Num Pages: 199 pages, 33 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2015
- Number of pages
- 199
- Condition
- New
- SKU
- V9783319245362
- ISBN
- 9783319245362
Paperback
Condition: New
€ 53.72
€ 53.72
Paperback. This Festschrift volume is published in honor of William W. McCune, an accomplished computer scientist who was a fantastic system builder and software engineer. It includes 13 papers that cover automated reasoning and its applications to mathematics. Editor(s): Bonacina, Maria Paola; Stickel, Mark E. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 259 pages, 27 black & white illustrations, biography. BIC Classification: UM; UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 259
- Condition
- New
- SKU
- V9783642366741
- ISBN
- 9783642366741
Paperback
Condition: New
€ 58.90
€ 58.90
Paperback. Editor(s): Bonakdarpour, Borzoo; Smolka, Scott A. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 376 pages, 82 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 376
- Condition
- New
- SKU
- V9783319111636
- ISBN
- 9783319111636
Paperback
Condition: New
€ 64.78
€ 64.78
Hardback. Celebrating Frits Agterberg's half-century of publication activity in geomathematics, this volume's 28 papers, written by his friends and colleagues, treat a variety of subjects of current interest, including: spatial analysis in mineral resource assessment. Editor(s): Bonham-Carter, Graeme; Cheng, Qiuming. Num Pages: 554 pages, 283 black & white illustrations, 25 colour illustrations, 23 black & white tables, biogra. BIC Classification: R; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1116.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 554
- Condition
- New
- SKU
- V9783540694953
- ISBN
- 9783540694953
Hardback
Condition: New
€ 242.90
€ 242.90
Paperback. Editor(s): Boniol, Frederic; Wiels, Virginie; Ait Ameur, Yamine; Schewe, Klaus-Dieter. Series: Communications in Computer and Information Science. Num Pages: 173 pages, 47 black & white illustrations, biography. BIC Classification: UGK; UM; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 278.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 173
- Condition
- New
- SKU
- V9783319075112
- ISBN
- 9783319075112
Paperback
Condition: New
€ 63.06
€ 63.06
The Nature of Computation: Logic, Algorithms, Applications. Proceeding...
. Ed(S): Bonizzoni, Paola; Brattka, Vasco; Lo...
Paperback. Editor(s): Bonizzoni, Paola; Brattka, Vasco; Lowe, Benedikt. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 464 pages, 42 black & white illustrations, biography. BIC Classification: PBC; PBD; UMB; UYAM; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 649.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 464
- Condition
- New
- SKU
- V9783642390524
- ISBN
- 9783642390524
Paperback
Condition: New
€ 65.80
€ 65.80
Scientific Visualization: The Visual Extraction of Knowledge from Data
. Ed(S): Bonneau, Georges-Pierre; Ertl, Thoma...
Paperback. Editor(s): Bonneau, Georges-Pierre; Ertl, Thomas; Nielson, Gregory M. (ASU - Tempe). Series: Mathematics and Visualization. Num Pages: 444 pages, 77 black & white illustrations, 172 colour illustrations, 21 black & white tables, biogra. BIC Classification: PBV; PDA; UGN; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2006
- Number of pages
- 444
- Condition
- New
- SKU
- V9783642065392
- ISBN
- 9783642065392
Paperback
Condition: New
€ 240.15
€ 240.15
Paperback. Editor(s): Bonnevay, Stephane; Legrand, Pierrick; Monmarche, Nicolas; Lutton, Evelyne; Schoenauer, Marc. Series: Lecture Notes in Computer Science. Num Pages: 261 pages, 93 black & white illustrations, biography. BIC Classification: UMB; UNH; UYA; UYQ; UYQP; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 261
- Condition
- New
- SKU
- V9783319314709
- ISBN
- 9783319314709
Paperback
Condition: New
€ 63.81
€ 63.81
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
€ 126.90
€ 126.90
Towards Advanced Data Analysis by Combining Soft Computing and Statist...
. Ed(S): Borgelt, Christian; Angeles Gil, Mar...
Hardback. This book blends the adaptability and speed of soft computing with the rigor and precision of statistics to enhance the robustness and generalizability of data analysis, while preserving the flexibility to solve real-world problems intuitively and efficiently. Editor(s): Borgelt, Christian; Angeles Gil, Maria; Sousa, Joao M. C.; Verleysen, Michel. Series: Studies in Fuzziness and Soft Computing. Num Pages: 388 pages, biography. BIC Classification: UGK; UNF; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 742.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 388
- Condition
- New
- SKU
- V9783642302770
- ISBN
- 9783642302770
Hardback
Condition: New
€ 187.65
€ 187.65