.png){kind=logo}
Mathematical theory of computation
Results 193 - 216 of 1825
Mathematical theory of computation
Paperback. The 17 revised papers that constitute this volume are divided into topical sections including: surveys; tabu search and simulated annealing; evolutionary computation (population-based methods); constraint-based methods; graph theory; and practical issues. Editor(s): Carter, Michael; Burke, Edmund. Series: Lecture Notes in Computer Science. Num Pages: 280 pages, biography. BIC Classification: KJMV5; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 413.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 280
- Condition
- New
- SKU
- V9783540649793
- ISBN
- 9783540649793
Paperback
Condition: New
€ 69.98
€ 69.98
Categories and Types in Logic, Language, and Physics
. Ed(S): Casadio, Claudia; Coecke, Bob; Moort...
Paperback. Editor(s): Casadio, Claudia; Coecke, Bob; Moortgat, Michael; Scott, Philip. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 433 pages, 61 black & white illustrations, biography. BIC Classification: UM; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 664.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 433
- Condition
- New
- SKU
- V9783642547881
- ISBN
- 9783642547881
Paperback
Condition: New
€ 67.96
€ 67.96
Computational Processing of the Portuguese Language
. Ed(S): Caseli, Helena; Villavicencio, Aline...
Paperback. Editor(s): Caseli, Helena; Villavicencio, Aline; Teixeira, Antonio; Perdigao, Fernando. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 470 pages, 78 black & white illustrations, biography. BIC Classification: UNF; UNH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 621.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 470
- Condition
- New
- SKU
- V9783642288845
- ISBN
- 9783642288845
Paperback
Condition: New
€ 68.35
€ 68.35
Automated Technology for Verification and Analysis: 12th International...
. Ed(S): Cassez, Franck; Raskin, Jean-Francoi...
paperback. Editor(s): Cassez, Franck; Raskin, Jean-Francois. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 454 pages, 109 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Switzerland
- Edition
- 2014th Edition
- Number of pages
- 454
- Condition
- New
- SKU
- V9783319119359
- ISBN
- 9783319119359
Paperback
Condition: New
€ 68.13
€ 68.13
Paperback. Editor(s): Cazenave, Tristan; Winands, Mark H. M.; Edelkamp, Stefan; Thielscher, Michael; Togelius, Julian. Series: Communications in Computer and Information Science. Num Pages: 191 pages, 51 black & white illustrations, biography. BIC Classification: UKP; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 191
- Condition
- New
- SKU
- V9783319394015
- ISBN
- 9783319394015
Paperback
Condition: New
€ 65.77
€ 65.77
Paperback. Editor(s): Cellier, Peggy; Distel, Felix; Ganter, Bernhard. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 277 pages, 57 black & white illustrations, biography. BIC Classification: PBCD; UNF; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 277
- Condition
- New
- SKU
- V9783642383168
- ISBN
- 9783642383168
Paperback
Condition: New
€ 61.27
€ 61.27
paperback. This text constitutes the refereed proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI. Among the topics addressed are formal specification, specification languages and term rewriting. Editor(s): Cerioli, M.; Reggio, Gianna. Series: Lecture Notes in Computer Science. Num Pages: 358 pages, biography. BIC Classification: PBCD; UMZ; UYAM; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 358
- Condition
- New
- SKU
- V9783540431596
- ISBN
- 9783540431596
Paperback
Condition: New
€ 71.35
€ 71.35
Paperback. Constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. Editor(s): Cerro, Luis Farinas del; Herzig, Andreas; Mengin, Jerome. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 512 pages, 49 black & white illustrations, biography. BIC Classification: UM; UNH; UYA; UYQ; UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 713.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 512
- Condition
- New
- SKU
- V9783642333521
- ISBN
- 9783642333521
Paperback
Condition: New
€ 69.07
€ 69.07
Hardback. Editor(s): Chakraborty, Mihir; Skowron, Andrzej; Maiti, Manoranjan; Kar, Samarjit. Series: Springer Proceedings in Mathematics and Statistics. Num Pages: 357 pages, 18 black & white illustrations, 43 colour illustrations, 60 black & white tables, biograp. BIC Classification: PBW; PDE; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 740.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer, India, Private Ltd India
- Number of pages
- 357
- Condition
- New
- SKU
- V9788132223009
- ISBN
- 9788132223009
Hardback
Condition: New
€ 129.23
€ 129.23
paperback. Editor(s): Chan, T-H. Hubert; Lau, Lap-Chi; Trevisan, Luca. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 371 pages, 37 black & white illustrations, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 524.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 371
- Condition
- New
- SKU
- V9783642382352
- ISBN
- 9783642382352
Paperback
Condition: New
€ 67.69
€ 67.69
Paperback. Editor(s): Chaudhuri, Swarat; Farzan, Azadeh. Series: Lecture Notes in Computer Science. Num Pages: 558 pages, 125 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 29. Weight in Grams: 848.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 558
- Condition
- New
- SKU
- V9783319415277
- ISBN
- 9783319415277
Paperback
Condition: New
€ 69.07
€ 69.07
Paperback. Editor(s): Chaudhuri, Swarat; Farzan, Azadeh. Series: Lecture Notes in Computer Science. Num Pages: 538 pages, 126 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 28. Weight in Grams: 819.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 538
- Condition
- New
- SKU
- V9783319415390
- ISBN
- 9783319415390
Paperback
Condition: New
€ 68.90
€ 68.90
Paperback. Gathering contributions from computer scientists, mathematicians and biologists, this book examines current developments, discusses future directions and goals and presents coherent tools for unraveling the intricacies of complex biological datasets. Editor(s): Chauve, Cedric; El Mabrouk, Nadia; Tannier, Eric. Series: Computational Biology. Num Pages: 340 pages, 41 black & white illustrations, 45 colour illustrations, 14 black & white tables, biograp. BIC Classification: PDE; PSA; PSD; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 2013
- Number of pages
- 340
- Condition
- New
- SKU
- V9781447170167
- ISBN
- 9781447170167
Paperback
Condition: New
€ 127.90
€ 127.90
Hardback. The International Colloquium on Mathematics and Computer Science is a biennial event that first took place at the University of Versailles-St-Quentin in 2000 and was acknowledged a success. The second colloquium was held in September 16-19, 2002, again in Versailles. This book gathers the second colloquium proceedings. Editor(s): Chauvin, B.; Flajolet, Philippe; Gardy, Daniele; Mokkadem, A. Series: Trends in Mathematics. Num Pages: 543 pages, biography. BIC Classification: PBW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 31. Weight in Grams: 2120.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 543
- Condition
- New
- SKU
- V9783764369330
- ISBN
- 9783764369330
Hardback
Condition: New
€ 144.82
€ 144.82
Paperback. Editor(s): Chen, Liqun; Matsuo, Shin'Ichiro. Series: Lecture Notes in Computer Science. Num Pages: 277 pages, 41 colour illustrations, biography. BIC Classification: UKN; UMB; UMZ; URY; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 277
- Condition
- New
- SKU
- V9783319271514
- ISBN
- 9783319271514
Paperback
Condition: New
€ 66.54
€ 66.54
Paperback. Editor(s): Chen, Liqun; Mitchell, Chris. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 267 pages, 34 black & white illustrations, biography. BIC Classification: UKN; UMB; URY; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 267
- Condition
- New
- SKU
- V9783319140537
- ISBN
- 9783319140537
Paperback
Condition: New
€ 66.46
€ 66.46
Numerical Treatment of Multiphase Flows in Porous Media
. Ed(S): Chen, Zhangxin; Ewing, Richard E.; S...
Hardback. This work describes in detail the numerical treatment and simulation of multiphase flows in porous media. Addressing many problems originating from the applied geosciences, the book focuses on their common mathematical and computational aspects. Editor(s): Chen, Zhangxin; Ewing, Richard E.; Shi, Zhong-Ci. Series: Lecture Notes in Physics. Num Pages: 467 pages, biography. BIC Classification: PHDF; PHF; PHVG; TGMF3; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 835.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 467
- Condition
- New
- SKU
- V9783540675662
- ISBN
- 9783540675662
Hardback
Condition: New
€ 136.94
€ 136.94
Numerical Treatment of Multiphase Flows in Porous Media
. Ed(S): Chen, Zhangxin; Ewing, Richard E.; S...
Paperback. Editor(s): Chen, Zhangxin; Ewing, Richard E.; Shi, Zhong-Ci. Series: Lecture Notes in Physics. Num Pages: 467 pages, biography. BIC Classification: PHDF; PHF; PHVG; TGMF3; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 718.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 467
- Condition
- New
- SKU
- V9783642087042
- ISBN
- 9783642087042
Paperback
Condition: New
€ 129.49
€ 129.49
Combinatorial Optimization in Communication Networks
. Ed(S): Cheng, Maggie Xiaoyan; Li, Yingshu; ...
Hardback. Gives a comprehensive presentation of research in communication networks with a combinatorial optimization component. This book intends to advance and promote the theory and applications of combinatorial optimization in communication networks. It deals with theoretical, computational, or applied aspects of combinatorial optimization. Editor(s): Cheng, Maggie Xiaoyan; Li, Yingshu; Du, Ding-Zhu. Series: Combinatorial Optimization. Num Pages: 668 pages, 110 black & white illustrations, 30 black & white tables, biography. BIC Classification: PBKS; TJK; UKN; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 2450.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 668
- Condition
- New
- SKU
- V9780387290256
- ISBN
- 9780387290256
Hardback
Condition: New
€ 205.92
€ 205.92
Combinatorial Optimization in Communication Networks
. Ed(S): Cheng, Maggie Xiaoyan; Li, Yingshu; ...
Paperback. Editor(s): Cheng, Maggie Xiaoyan; Li, Yingshu; Du, Ding-Zhu. Series: Combinatorial Optimization. Num Pages: 668 pages, 110 black & white illustrations, 30 black & white tables, biography. BIC Classification: PBKS; TJK; UKN; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 1015.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2006
- Number of pages
- 668
- Condition
- New
- SKU
- V9781441939685
- ISBN
- 9781441939685
Paperback
Condition: New
€ 197.76
€ 197.76
Evolutionary Computation in Combinatorial Optimization
. Ed(S): Chicano, Francisco; Hu, Bin; Garcia-...
paperback. Editor(s): Chicano, Francisco; Hu, Bin; Garcia-Sanchez, Pablo. Series: Lecture Notes in Computer Science. Num Pages: 279 pages, 58 black & white illustrations, 1 colour illustrations, 1 colour tables, biography. BIC Classification: PBU; UYA. 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
- Edition
- 1st ed. 2016
- SKU
- V9783319306971
- ISBN
- 9783319306971
Paperback
Condition: New
€ 66.54
€ 66.54
Paperback. Editor(s): Chio, Cecilia di; Cagnoni, Stefano; Cotta, Carlos; Ebner, Marc; Ekart, Aniko; Esparcia-Alcazar, Anna I.; Goh, Chi-Keong; Merelo, Juan Julian; Neri, Ferrante; Preus, Mike. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 648 pages, 231 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYA; UYQN; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 33. Weight in Grams: 979.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st Edition. 2nd Printing. 3rd Printing.
- Number of pages
- 648
- Condition
- New
- SKU
- V9783642122385
- ISBN
- 9783642122385
Paperback
Condition: New
€ 131.97
€ 131.97
Paperback. Editor(s): Chrobak, Marek; Fernandez Anta, Antonio; Gasieniec, Leszek; Klasing, Ralf. Series: Lecture Notes in Computer Science. Num Pages: 141 pages, 15 black & white illustrations, biography. BIC Classification: UKN; UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 250.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 141
- Condition
- New
- SKU
- V9783319530574
- ISBN
- 9783319530574
Paperback
Condition: New
€ 65.44
€ 65.44
Theory and Applications of Satisfiability Testing - SAT 2012
. Ed(S): Cimatti, Alessandro; Sebastiani, Rob...
Paperback. Editor(s): Cimatti, Alessandro; Sebastiani, Roberto. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 514 pages, 364 black & white illustrations, biography. BIC Classification: PBW; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 722.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 514
- Condition
- New
- SKU
- V9783642316111
- ISBN
- 9783642316111
Paperback
Condition: New
€ 69.16
€ 69.16