Mathematical theory of computation
Results 241 - 260 of 366
Mathematical theory of computation
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
Hardback. Series: Texts in Computational Science and Engineering. Num Pages: biography. BIC Classification: PBWH; UYA. Category: (P) Professional & Vocational. Dimension: 254 x 178. .
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2017
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319554556
- ISBN
- 9783319554556
Hardback
Condition: New
€ 74.87
€ 74.87
Paperback. This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions written by his colleagues. The articles cover a range of topics - representing only a fraction of Gurevich's multiple areas of interest. Editor(s): Blass, Andreas; Dershowitz, Nachum; Reisig, Wolfgang. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 627 pages, 49 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 157 x 24. Weight in Grams: 900.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 627
- Condition
- New
- SKU
- V9783642150241
- ISBN
- 9783642150241
Paperback
Condition: New
€ 131.26
€ 131.26
Paperback. This survey of the impact of multicore and co-processor technologies on science as well as on large-scale interdisciplinary applications covers the state of the art in the field. It also points to a number of potentially fruitful areas for future research. Editor(s): Keller, Rainer; Kramer, David; Weiss, Jan-Philipp. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 156 pages, 60 black & white illustrations, biography. BIC Classification: PBKS; TBC; UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 8. Weight in Grams: 264.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 156
- Condition
- New
- SKU
- V9783642162329
- ISBN
- 9783642162329
Paperback
Condition: New
€ 65.93
€ 65.93
Hardback. .
- Publisher
- Springer Verlag, Singapore
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9789811008887
- ISBN
- 9789811008887
Hardback
Condition: New
€ 95.06€ 34.67
€ 95.06
€ 34.67
Paperback. Editor(s): Gaspar-Cunha, Antonio; Henggeler Antunes, Carlos; Coello Coello, Carlos A. Series: Lecture Notes in Computer Science. Num Pages: 471 pages, 156 black & white illustrations, biography. BIC Classification: UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 718.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 471
- Condition
- New
- SKU
- V9783319159331
- ISBN
- 9783319159331
Paperback
Condition: New
€ 65.73
€ 65.73
Paperback. Editor(s): Hao, Jin-Kao; Middendorf, Martin. Series: Lecture Notes in Computer Science. Num Pages: 264 pages, 62 black & white illustrations, biography. BIC Classification: PBU; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 264
- Condition
- New
- SKU
- V9783642291234
- ISBN
- 9783642291234
Paperback
Condition: New
€ 83.42
€ 83.42
paperback. Editor(s): Ochoa, Gabriela; Chicano, Francisco. Series: Lecture Notes in Computer Science. Num Pages: 247 pages, 41 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 2015th Edition
- Number of pages
- 247
- Condition
- New
- SKU
- V9783319164670
- ISBN
- 9783319164670
Paperback
Condition: New
€ 64.07
€ 64.07
Hardback. Genetic algorithms (GA) and evolution strategies (ES) are relatively new stochastic based techniques for solving engineering problems on computers. GA and ES are based on a loose biological analogy: evolutionary theory (mutation, crossover, selection, survival of the fittest). Editor(s): Miettinen, K.; Neittaanmaki, Pekka; Makela, M. M.; Periaux, Jacques. Num Pages: 500 pages, references. BIC Classification: PBWH; TBJ; TGB; UYAM; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 175 x 32. Weight in Grams: 1010.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 500
- Condition
- New
- SKU
- V9780471999027
- ISBN
- 9780471999027
Hardback
Condition: New
€ 298.13
€ 298.13
Paperback. Constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September 2010. Editor(s): D'Ambra, Pasqua; Guarracino, Mario; Talia, Domenico. Series: Lecture Notes in Computer Science. Num Pages: 544 pages, 222 black & white illustrations, biography. BIC Classification: UMB; UYA; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 544
- Condition
- New
- SKU
- V9783642152900
- ISBN
- 9783642152900
Paperback
Condition: New
€ 69.87
€ 69.87
Hardcover. Expert coverage of the design and implementation of state estimation algorithms for tracking and navigation Estimation with Applications to Tracking and Navigation treats the estimation of various quantities from inherently inaccurate remote observations. Num Pages: 584 pages, Ill. BIC Classification: PBT; TBC; TBJ; TJKD; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 238 x 165 x 32. Weight in Grams: 926.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 584
- Condition
- New
- SKU
- V9780471416555
- ISBN
- 9780471416555
Hardback
Condition: New
€ 181.37
€ 181.37
Paperback. Don't miss out on easy marks. Improve your skills and feel confident about the maths you need for your computer science A-level with this essential guide. Series: Essential Maths Skills. Num Pages: 104 pages. BIC Classification: 4KLR; PB; UYAM. Category: (G) General (US: Trade); (J) Children / Juvenile; (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 213 x 299 x 8. Weight in Grams: 308.
- Publisher
- Hodder Education
- Format
- Paperback
- Publication date
- 2016
- Edition
- Illustrated
- Condition
- New
- SKU
- V9781471863578
- ISBN
- 9781471863578
Paperback
Condition: New
€ 17.05
€ 17.05
paperback. Contains programming features (modules, nested lexical scopes, documentation features, and object-oriented support), a solution of differential equations, and plotting features. Num Pages: 297 pages, biography. BIC Classification: UFM; UM; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 254 x 178 x 16. Weight in Grams: 1170.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer/Sci-Tech/Trade United States
- Edition
- 2nd Edition
- Number of pages
- 297
- Condition
- New
- SKU
- V9780387953526
- ISBN
- 9780387953526
Paperback
Condition: New
€ 68.60
€ 68.60
Hardcover. Featuring a problem-solving approach to linear algebra, this work aims to develop the theoretical foundations of vector spaces, linear equations, matrix algebra, eigen vectors, and orthogonality. It also emphasizes applications and connections to fields such as biology, economics, computer graphics, cryptography, and political science. Num Pages: 501 pages, 2 colour illustrations, biography. BIC Classification: PBF; TBJ; UYAM. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 23. Weight in Grams: 852.
- Publisher
- Birkhäuser
- Format
- Hardback
- Publication date
- 2014
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9780817643607
- ISBN
- 9780817643607
Hardback
Condition: New
€ 98.39
€ 98.39
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): Barthe, Gilles; Livshits, Ben; Scandariato, Riccardo. Series: Lecture Notes in Computer Science. Num Pages: 151 pages, 37 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; URY; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 151
- Condition
- New
- SKU
- V9783642281655
- ISBN
- 9783642281655
Paperback
Condition: New
€ 65.58
€ 65.58
Paperback. Editor(s): Caballero, Juan; Bodden, Eric. Series: Lecture Notes in Computer Science. Num Pages: 279 pages, 64 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; URY; UYAM. 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
- SKU
- V9783319308050
- ISBN
- 9783319308050
Paperback
Condition: New
€ 63.70
€ 63.70
Paperback. Series: UNITEXT. Num Pages: 260 pages, biography. BIC Classification: PBT; PHU; TBJ; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 260
- Condition
- New
- SKU
- V9783319072531
- ISBN
- 9783319072531
Paperback
Condition: New
€ 77.97
€ 77.97
Hardback. Focussing on the dynamics of reasoning processes, this book covers both the topics of 'Dynamics of Reasoning', where reasoning is viewed as a process, and 'Reasoning about Dynamics', which must be understood as pertaining to how both designers of, and agents within dynamic systems may reason about these systems. Editor(s): Meyer, J.-J Ch.; Truer, Jan. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 386 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 1610.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 386
- Condition
- New
- SKU
- V9781402001932
- ISBN
- 9781402001932
Hardback
Condition: New
€ 130.60
€ 130.60
Hardback. Proceedings of the 1st International Symposium on Domain Theory Editor(s): Keimel, Klaus; Zhang, Guo-Qiang (Case Western Reserve University, Cleveland, USA); Liu, Ying Ming; Chen, Yixiang (Shanghai Normal University, PR of China). Series: Semantic Structures in Computation S. Num Pages: 273 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 17. Weight in Grams: 586.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 273
- Condition
- New
- SKU
- V9780792371434
- ISBN
- 9780792371434
Hardback
Condition: New
€ 128.69
€ 128.69