Computing »
Computer science »
Mathematical theory of computation
Mathematical theory of computation
Results 97 - 120 of 1831
Mathematical theory of computation
Analytical and Stochastic Modelling Techniques and Applications
. Ed(S): Remke, Anne; Manini, Daniele; Gribau...
paperback. Editor(s): Remke, Anne; Manini, Daniele; Gribaudo, Marco. Series: Lecture Notes in Computer Science. Num Pages: 227 pages, 98 black & white illustrations, biography. BIC Classification: PBD; UMB; UMZ; UYAM; UYQP; UYT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Edition
- 2015th Edition
- Number of pages
- 227
- Condition
- New
- SKU
- V9783319185781
- ISBN
- 9783319185781
Paperback
Condition: New
€ 63.51
€ 63.51
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
€ 65.22
€ 65.22
Paperback. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 704 pages, biography. BIC Classification: UNF; UNH; UYA; UYQ; UYQL; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 1068.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 704
- Condition
- New
- SKU
- V9783642104381
- ISBN
- 9783642104381
Paperback
Condition: New
€ 126.78
€ 126.78
Paperback. Editor(s): Lane, Saunders Mac; Siefkes, Dirk. Num Pages: 696 pages, biography. BIC Classification: PBC; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 1065.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 696
- Condition
- New
- SKU
- V9781461389309
- ISBN
- 9781461389309
Paperback
Condition: New
€ 68.08
€ 68.08
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 528 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 807.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 528
- Condition
- New
- SKU
- V9783642033582
- ISBN
- 9783642033582
Paperback
Condition: New
€ 66.72
€ 66.72
Paperback. Series: Nonconvex Optimization and Its Applications. Num Pages: 396 pages, biography. BIC Classification: KJT; PBU; PBV; TBC; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- Softcover reprint of the original 1st ed. 1998
- Condition
- New
- SKU
- V9781441947925
- ISBN
- 9781441947925
Paperback
Condition: New
€ 187.36
€ 187.36
Paperback. Editor(s): Potapov, Igor. Series: Lecture Notes in Computer Science. Num Pages: 461 pages, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 706.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 461
- Condition
- New
- SKU
- V9783319214993
- ISBN
- 9783319214993
Paperback
Condition: New
€ 65.53
€ 65.53
Paperback. Editor(s): Siekmann, Jorg; Wrightson, Graham. Series: Symbolic computation. Num Pages: 528 pages, biography. BIC Classification: PBC; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 28. Weight in Grams: 925.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1983
- Number of pages
- 528
- Condition
- New
- SKU
- V9783642819544
- ISBN
- 9783642819544
Paperback
Condition: New
€ 125.45
€ 125.45
Hardback. This volume discusses various aspects of the capacity/achievable data rate of stationary Rayleigh fading channels, studying among other topics the achievable rate with receivers based on synchronized detection and a code-aided channel estimation. Series: Foundations in Signal Processing, Communications and Networking. Num Pages: 310 pages, biography. BIC Classification: TJK; UYAM; UYS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 648.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 310
- Condition
- New
- SKU
- V9783642197796
- ISBN
- 9783642197796
Hardback
Condition: New
€ 123.62
€ 123.62
Hardback. Abduction is central to several areas of applied reasoning, including artificial intelligence, philosophy of science, machine learning, data mining and decision theory, as well as logic itself. This book contains survey papers on the various aspects of Abduction, both logical and numerical approaches. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 442 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 25. Weight in Grams: 807.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 442
- Condition
- New
- SKU
- V9780792365655
- ISBN
- 9780792365655
Hardback
Condition: New
€ 247.83
€ 247.83
Paperback. Editor(s): Joswig, Michael; Takayama, Nobuki. Num Pages: 332 pages, biography. BIC Classification: PBF; PBM; UFM; UMB; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2003
- Number of pages
- 332
- Condition
- New
- SKU
- V9783642055393
- ISBN
- 9783642055393
Paperback
Condition: New
€ 123.42
€ 123.42
Paperback. Editor(s): Bosnacki, Dragan. Series: Lecture Notes in Computer Science. Num Pages: 261 pages, 75 black & white illustrations, biography. BIC Classification: UMZ; UYA. 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
- V9783319325811
- ISBN
- 9783319325811
Paperback
Condition: New
€ 63.81
€ 63.81
Paperback. Series: Signals and Communication Technology. Num Pages: 443 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 688.
- 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
- 443
- Condition
- New
- SKU
- V9783642069789
- ISBN
- 9783642069789
Paperback
Condition: New
€ 187.36
€ 187.36
Paperback. Editor(s): Quimper, Claude-Guy. Series: Lecture Notes in Computer Science. Num Pages: 440 pages, 123 black & white illustrations, biography. BIC Classification: KJT; PBD; UMB; UYA; UYAM; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 440
- Condition
- New
- SKU
- V9783319339535
- ISBN
- 9783319339535
Paperback
Condition: New
€ 65.36
€ 65.36
Novel Developments in Uncertainty Representation and Processing
. Ed(S): Atanassov, Krassimir T.; Castillo, O...
Paperback. Editor(s): Atanassov, Krassimir T.; Castillo, Oscar; Kacprzyk, Janusz; Krawczak, Maciej; Melin, Patricia; Sotirov, Sotir; Sotirova, Evdokia; Szmidt, Eulalia; De Tre, Guy; Zadrozny, Slawomir. Series: Advances in Intelligent Systems and Computing. Num Pages: 400 pages, 68 black & white illustrations, 60 colour illustrations, biography. BIC Classification: UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 629.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 400
- Condition
- New
- SKU
- V9783319262109
- ISBN
- 9783319262109
Paperback
Condition: New
€ 186.98
€ 186.98
Paperback. Editor(s): Italiano, Giuseppe F.; Pighizzini, Giovanni; Sannella, Donald T. Series: Lecture Notes in Computer Science. Num Pages: 485 pages, 51 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 485
- Condition
- New
- SKU
- V9783662480564
- ISBN
- 9783662480564
Paperback
Condition: New
€ 65.65
€ 65.65
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Implementation and Applications of Functional Languages, IFL 2010, held in Alphen aan den Rijn, the Netherlands, in September 2010. Editor(s): Hage, Jurriaan; Morazan, Marco T. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 227 pages, 25 black & white illustrations, 4 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 327.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 227
- Condition
- New
- SKU
- V9783642242755
- ISBN
- 9783642242755
Paperback
Condition: New
€ 79.42
€ 79.42
Paperback. Series: Monographs in Computer Science. Num Pages: 203 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 334.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1988
- Number of pages
- 203
- Condition
- New
- SKU
- V9781461395973
- ISBN
- 9781461395973
Paperback
Condition: New
€ 63.46
€ 63.46
Paperback. Editor(s): Kielanowski, Piotr; Bieliavsky, Pierre; Odzijewicz, Anatol; Schlichenmaier, Martin; Voronov, Theodore. Series: Trends in Mathematics. Num Pages: 335 pages, 10 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBKS; PHQ; PHU; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Birkhauser Verlag AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 335
- Condition
- New
- SKU
- V9783319387451
- ISBN
- 9783319387451
Paperback
Condition: New
€ 122.73
€ 122.73
Logic for Programming, Artificial Intelligence and Reasoning
. Ed(S): Baaz, Matthias; Andrei, Voronkov
Paperback. Compiled from the proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, this volume contains 30 papers. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution and proof planning. Editor(s): Baaz, Matthias; Andrei, Voronkov. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 484 pages, biography. BIC Classification: UM; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 24. Weight in Grams: 673.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 484
- Condition
- New
- SKU
- V9783540000105
- ISBN
- 9783540000105
Paperback
Condition: New
€ 70.75
€ 70.75
Paperback. Editor(s): Rival, Xavier. Series: Lecture Notes in Computer Science. Num Pages: 521 pages, 175 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 795.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 521
- Condition
- New
- SKU
- V9783662534120
- ISBN
- 9783662534120
Paperback
Condition: New
€ 66.40
€ 66.40
Paperback. This overview of non-homogeneous and multidimensional Poisson point processes and their applications features mathematical tools and applications from emission- and transmission-computed tomography to multiple target tracking and distributed sensor detection. Num Pages: 286 pages, biography. BIC Classification: PBT; TTBM; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 286
- Condition
- New
- SKU
- V9781489994493
- ISBN
- 9781489994493
Paperback
Condition: New
€ 186.38
€ 186.38
New Developments in the Visualization and Processing of Tensor Fields
. Ed(S): Laidlaw, David H.; Vilanova, Anna
Hardback. Part of "Dagstuhl" series, this title addresses a range of topics from applications of the analysis of tensor fields to purer research into their mathematical and analytical properties. Editor(s): Laidlaw, David H.; Vilanova, Anna. Series: Mathematics and Visualization. Num Pages: 405 pages, 24 black & white illustrations, 129 colour illustrations, 10 black & white tables, 20 col. BIC Classification: PBKS; UYA; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 771.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 405
- Condition
- New
- SKU
- V9783642273421
- ISBN
- 9783642273421
Hardback
Condition: New
€ 187.85
€ 187.85
Paperback. Editor(s): Dinh, Thang N.; Thai, My T. Series: Lecture Notes in Computer Science. Num Pages: 647 pages, 98 black & white illustrations, biography. BIC Classification: UKN; UMA; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 979.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 647
- Condition
- New
- SKU
- V9783319426334
- ISBN
- 9783319426334
Paperback
Condition: New
€ 67.65
€ 67.65