.png){kind=logo}
Mathematical theory of computation
Results 181 - 200 of 1825
Mathematical theory of computation
paperback. Editor(s): Calude, Cristian S.; Freivalds, Rusins; Iwama, Kazuo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 494 pages, 96 black & white illustrations, biography. BIC Classification: UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 753.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 2014th Edition
- Number of pages
- 494
- Condition
- New
- SKU
- V9783319133492
- ISBN
- 9783319133492
Paperback
Condition: New
€ 68.49
€ 68.49
Paperback. Constitutes the refereed proceedings of the 10th International Conference on Unconventional Computation, UC 2011, that was held in Turku, Finland. Editor(s): Calude, Cristian S.; Kari, Jarkko; Petre, Ion; Rozenberg, Grzegorz. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 257 pages, 63 black & white illustrations, 13 colour illustrations, biography. BIC Classification: PSA; UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 257
- Condition
- New
- SKU
- V9783642213403
- ISBN
- 9783642213403
Paperback
Condition: New
€ 66.97
€ 66.97
Statistical Atlases and Computational Models of the Heart - Imaging an...
. Ed(S): Camara, Oscar; Mansi, Tommaso; Pop, ...
Paperback. Editor(s): Camara, Oscar; Mansi, Tommaso; Pop, Mihaela; Rhode, Kawal; Sermesant, Maxime; Young, Alistair. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 308 pages. BIC Classification: MJD; UBH; UGK; UYAM; UYQP; UYT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 308
- Condition
- New
- SKU
- V9783319146775
- ISBN
- 9783319146775
Paperback
Condition: New
€ 66.82
€ 66.82
Statistical Atlases and Computational Models of the Heart. Imaging and...
. Ed(S): Camara, Oscar; Mansi, Tommaso; Pop, ...
Paperback. Editor(s): Camara, Oscar; Mansi, Tommaso; Pop, Mihaela; Rhode, Kawal; Sermesant, Maxime; Young, Alistair. Series: Lecture Notes in Computer Science. Num Pages: 229 pages, 91 black & white illustrations, biography. BIC Classification: MJD; UBH; UGK; UYAM; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 229
- Condition
- New
- SKU
- V9783319287119
- ISBN
- 9783319287119
Paperback
Condition: New
€ 66.13
€ 66.13
Paperback. Editor(s): Camenisch, Jan; Chow, Sherman S. M.; Hui, Lucas C. K.; Yiu, Siu Ming. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 588 pages, 95 black & white illustrations, biography. BIC Classification: UMB; URY; UYAM; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 890.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 588
- Condition
- New
- SKU
- V9783319132563
- ISBN
- 9783319132563
Paperback
Condition: New
€ 69.34
€ 69.34
Paperback. Presents papers from the proceedings of Eurocode 1992, which was held in Udine, Italy at the CISM, October 27-30, 1992. This book is a continuation of the previous colloquia "Trois Journees Sur le Codage" and "Eurocode '90", whose proceedings appeared as "Lecture Notes in Computer Science". Editor(s): Camion, P.; Charpin, Pascale; Harari, S. (University of Toulon and Var, La Garde, France). Series: CISM International Centre for Mechanical Sciences. Num Pages: 414 pages, 2 black & white illustrations, biography. BIC Classification: TJK; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 22. Weight in Grams: 713.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 414
- Condition
- New
- SKU
- V9783211825198
- ISBN
- 9783211825198
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. Editor(s): Campos, Javier; Haverkort, Boudewijn R. Series: Lecture Notes in Computer Science. Num Pages: 345 pages, 99 black & white illustrations, biography. BIC Classification: UGK; UYAM; UYD; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 345
- Condition
- New
- SKU
- V9783319222639
- ISBN
- 9783319222639
Paperback
Condition: New
€ 67.48
€ 67.48
Paperback. Editor(s): Canal, Carlos; Idani, Akram. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 432 pages, 147 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 664.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 432
- Condition
- New
- SKU
- V9783319152004
- ISBN
- 9783319152004
Paperback
Condition: New
€ 67.96
€ 67.96
Paperback. Editor(s): Cariani, Fabrizio; Grossi, Davide; Meheus, Joke; Parent, Xavier. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 285 pages, 29 black & white illustrations, biography. BIC Classification: JPP; PBD; UM; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 285
- Condition
- New
- SKU
- V9783319086149
- ISBN
- 9783319086149
Paperback
Condition: New
€ 66.64
€ 66.64
Hardback. Compressed Sensing & Sparse Filtering Editor(s): Carmi, Avishy Y.; Mihaylova, Lyudmila S.; Godsill, Simon J. Series: Signals and Communication Technology. Num Pages: 514 pages, 135 black & white illustrations, biography. BIC Classification: PBWH; TJF; TTBM; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 167 x 33. Weight in Grams: 882.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 514
- Condition
- New
- SKU
- V9783642383977
- ISBN
- 9783642383977
Hardback
Condition: New
€ 196.96
€ 196.96
Paperback. This book presents fundamental concepts, methods and algorithms able to cope with undersampled data. It introduces the concept of compressive sampling, which is also called compressed sensing. Editor(s): Carmi, Avishy Y.; Mihaylova, Lyudmila S.; Godsill, Simon J. Series: Signals and Communication Technology. Num Pages: 514 pages, 135 black & white illustrations, biography. BIC Classification: GPFC; PBWH; TTBM; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 783.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 514
- Condition
- New
- SKU
- V9783662508947
- ISBN
- 9783662508947
Paperback
Condition: New
€ 195.88
€ 195.88
Multiple Shooting and Time Domain Decomposition Methods
. Ed(S): Carraro, Thomas; Geiger, Michael; Ko...
Hardback. Editor(s): Carraro, Thomas; Geiger, Michael; Korkel, Stefan; Rannacher, Rolf. Series: Contributions in Mathematical and Computational Sciences. Num Pages: 432 pages, biography. BIC Classification: PBKJ; PBKQ; TGMF; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 806.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 432
- Condition
- New
- SKU
- V9783319233208
- ISBN
- 9783319233208
Hardback
Condition: New
€ 129.90
€ 129.90
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