Mathematical theory of computation
Results 161 - 180 of 366
Mathematical theory of computation
Theory and Applications of Satisfiability Testing - SAT 2010
. Ed(S): Strichman, Ofer; Szeider, Stefan
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Strichman, Ofer; Szeider, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 400 pages, 74 black & white illustrations, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 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
- 400
- Condition
- New
- SKU
- V9783642141850
- ISBN
- 9783642141850
Paperback
Condition: New
€ 68.24
€ 68.24
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
High Performance Computing in Science and Engineering, Garching/Munich
. Ed(S): Wagner, Siegfried; Steinmetz, Matthi...
Hardback. Presents selected project results obtained at the current High-Performance Computer in Bavaria (HLRB II). This title provides an overview of the broad range of applications requiring high-performance computers to solve challenging numerical problems. Editor(s): Wagner, Siegfried; Steinmetz, Matthias; Bode, Arndt; Muller, Markus Michael. Num Pages: 780 pages, biography. BIC Classification: PBKS; PHDF; PHVB; PNRP; UYAM. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 35. Weight in Grams: 1194.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 780
- Condition
- New
- SKU
- V9783642138713
- ISBN
- 9783642138713
Hardback
Condition: New
€ 288.69
€ 288.69
Integration of AI and OR Techniques in Constraint Programming for Comb...
. Ed(S): Lodi, Andrea; Milano, Michela; Toth,...
Paperback. Constitutes the refereed proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2010, held in Bologna, Italy, in June 2010. Editor(s): Lodi, Andrea; Milano, Michela; Toth, Paolo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 369 pages, 70 black & white illustrations, biography. BIC Classification: KJT; PBV; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 20. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 369
- Condition
- New
- SKU
- V9783642135194
- ISBN
- 9783642135194
Paperback
Condition: New
€ 67.95
€ 67.95
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. Constituting the thoroughly refereed post-conference proceedings of the twelfth Advances in Computer Games conference held in Spain in 2009, the 20 revised full papers cover topics from Bayesian modeling to incongruity theory and data assurance. Editor(s): Herik, H. Jaap van den; Spronck, Pieter. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 247 pages, 75 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 13. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 247
- Condition
- New
- SKU
- V9783642129926
- ISBN
- 9783642129926
Paperback
Condition: New
€ 66.70
€ 66.70
Paperback. Published in honor of Willem-Paul de Roever, this Festschrift volume contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. It addresses topics such as model checking, computer science and state machines, ontology and mereology of domains, game theory, and compiler correctness. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 377 pages, 94 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 377
- Condition
- New
- SKU
- V9783642115110
- ISBN
- 9783642115110
Paperback
Condition: New
€ 68.09
€ 68.09
Digital Processing and Reconstruction of Complex Signals
Petrovic, Predrag B.; Stevanovic, Milorad R.
Hardback. This book details methods for analyzing, processing and reconstructing complex signals. It presents a newly developed method for the calculation of basic parameters of the processed voltage and current signals. Num Pages: 123 pages, biography. BIC Classification: GPF; TTBM; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 340.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 123
- Condition
- New
- SKU
- V9783642038426
- ISBN
- 9783642038426
Hardback
Condition: New
€ 127.56
€ 127.56
Paperback. Editor(s): Pardalos, Panos M. Series: Lecture Notes in Computer Science. Num Pages: 542 pages, biography. BIC Classification: PBKS; UKN; UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 542
- Condition
- New
- SKU
- V9783642020254
- ISBN
- 9783642020254
Paperback
Condition: New
€ 163.04
€ 163.04
Paperback. Constitutes the post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. This book organizes the papers in topical sections on algorithms and implementations, numerical methods and applications, cryptology, and computational logic. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 370 pages, biography. BIC Classification: UGK; UKN; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 370
- Condition
- New
- SKU
- V9783540878261
- ISBN
- 9783540878261
Paperback
Condition: New
€ 127.93
€ 127.93
Paperback. Constitutes the proceedings of the 16th Annual European Symposium on Algorithms, ESA 2008, held in Karlsruhe, Germany, in September 2008 in the context of the combined conference ALGO 2008. This title includes the papers that address various subjects in algorithmics reaching from design and analysis issues of algorithms. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 861 pages, biography. BIC Classification: UG; UKN; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 1179.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 861
- Condition
- New
- SKU
- V9783540877431
- ISBN
- 9783540877431
Paperback
Condition: New
€ 220.79
€ 220.79
Paperback. Constitutes the proceedings of the 6th International Conference on Computers and Games, CG 2008, held in Beijing, China, in September/October 2008 co-located with the 13th Computer Olympiad and the 16th World Computer-Chess Championship. This title includes the papers that cover various aspects of artificial intelligence in computer-game playing. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 287 pages, biography. BIC Classification: UGG; UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 287
- Condition
- New
- SKU
- V9783540876076
- ISBN
- 9783540876076
Paperback
Condition: New
€ 115.93
€ 115.93
Paperback. Covers the proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008. This book addresses various aspects of logic in computer science, ranging from foundational and methodological issues to application issues of practical relevance. Series: Lecture Notes in Computer Science. Num Pages: 524 pages, biography. BIC Classification: PBC; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 524
- Condition
- New
- SKU
- V9783540875307
- ISBN
- 9783540875307
Paperback
Condition: New
€ 162.59
€ 162.59
Paperback. Constitutes the refereed proceedings of the 8th International Workshop on Algorithms in Bioinformatics, WABI 2008, held in Karlsruhe, Germany, in September 2008 as part of the ALGO 2008 meeting. This title includes topics that range in biological applicability from genome mapping, to sequence assembly, to microarray quality, to molecular modeling. Series: Lecture Notes in Computer Science. Num Pages: 409 pages, biography. BIC Classification: PSAK1; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 409
- Condition
- New
- SKU
- V9783540873600
- ISBN
- 9783540873600
Paperback
Condition: New
€ 118.07
€ 118.07
Paperback. Constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. This work is grouped in three tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. Series: Lecture Notes in Computer Science. Num Pages: 919 pages, biography. BIC Classification: UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1270.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 919
- Condition
- New
- SKU
- V9783540705741
- ISBN
- 9783540705741
Paperback
Condition: New
€ 232.48
€ 232.48
Paperback. Contains the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008. This title includes 21 papers presented together with the abstracts of 7 tutorials and invited lectures that were reviewed and selected from numerous submissions. Editor(s): Hodges, Wilfrid; Queiroz, Ruy J. G. B. de. Series: Lecture Notes in Computer Science. Num Pages: 321 pages, biography. BIC Classification: HPL; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 156 x 20. Weight in Grams: 482.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 321
- Condition
- New
- SKU
- V9783540699361
- ISBN
- 9783540699361
Paperback
Condition: New
€ 116.23
€ 116.23
Spline and Spline Wavelet Methods with Applications to Signal and Imag...
Averbuch, Amir Z.; Neittaanmaki, Pekka; Zhelu...
Hardback. Spline and Spline Wavelet Methods with Applications to Signal and Image Processing Vol. II Num Pages: 451 pages, 42 black & white illustrations, 87 colour illustrations, biography. BIC Classification: UYA; UYQV; UYS; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 958.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 451
- Condition
- New
- SKU
- V9783319223025
- ISBN
- 9783319223025
Hardback
Condition: New
€ 131.97
€ 131.97
Paperback. Num Pages: 501 pages, 2 colour illustrations, biography. BIC Classification: PBF; PBUD; PBW; TBJ; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Birkhauser Boston Inc United States
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 501
- Condition
- New
- SKU
- V9781493938537
- ISBN
- 9781493938537
Paperback
Condition: New
€ 66.73
€ 66.73
Paperback. Editor(s): Kaltofen, Erich; Watt, Stephen M. BIC Classification: UYAM. Dimension: 235 x 155. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer New York
- Condition
- New
- SKU
- V9780387970196
- ISBN
- 9780387970196
Paperback
Condition: New
€ 123.24
€ 123.24
hardcover. Concerns non-linguistic knowledge required to perform computational natural language understanding (NLU). This book shows that inference-based NLU has the potential for practical large scale applications. Series: Atlantis Thinking Machines. Num Pages: 259 pages, 14 black & white illustrations, 2 colour illustrations, 21 black & white tables, biograph. BIC Classification: UGD; UMA; UYA; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 555.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Atlantis Press (Zeger Karssen) Netherlands
- Edition
- 2012th Edition
- Number of pages
- 259
- Condition
- New
- SKU
- V9789491216527
- ISBN
- 9789491216527
Hardback
Condition: New
€ 125.41
€ 125.41