.png){kind=logo}
Mathematical theory of computation
Results 241 - 264 of 1825
Mathematical theory of computation
Verification, Model Checking, and Abstract Interpretation
. Ed(S): D'Souza, Deepak; Lal, Akash; Larsen,...
Paperback. Editor(s): D'Souza, Deepak; Lal, Akash; Larsen, Kim Gulstrand. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 486 pages. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 486
- Condition
- New
- SKU
- V9783662460801
- ISBN
- 9783662460801
Paperback
Condition: New
€ 68.41
€ 68.41
Paperback. This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions. Editor(s): Dal Lago, Ugo; Eekelen, Marko van. Series: Lecture Notes in Computer Science. Num Pages: 136 pages, 30 black & white illustrations, biography. BIC Classification: UGK; UMZ; UNH; UYAM; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 226.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 136
- Condition
- New
- SKU
- V9783319465586
- ISBN
- 9783319465586
Paperback
Condition: New
€ 78.74
€ 78.74
Paperback. Constitutes the proceedings of the 8th International Heinz Nixdorf Symposium, IHNS 2010, held in Paderborn, Germany, during April 21-22, 2010, under the title "Changing Paradigms: Advanced Manufacturing and Sustainable Logistics". Editor(s): Dangelmaier, Wilhelm; Blecken, Alexander; Delius, Robin; Klopfer, Stefan. Series: Lecture Notes in Business Information Processing. Num Pages: 444 pages, 135 black & white illustrations, biography. BIC Classification: KJMV5; KJQ; UGC; UGK; UGN; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 690.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 444
- Condition
- New
- SKU
- V9783642124617
- ISBN
- 9783642124617
Paperback
Condition: New
€ 68.53
€ 68.53
Paperback. Editor(s): Davis, Brian; Kaljurand, Kaarel; Kuhn, Tobias. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 212 pages, 40 black & white illustrations, biography. BIC Classification: UGD; UNH; UYA; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 212
- Condition
- New
- SKU
- V9783319102221
- ISBN
- 9783319102221
Paperback
Condition: New
€ 65.94
€ 65.94
Paperback. This volume addresses different problems of adaptive signal processing - from adaptive source coding to autoregressive spectral estimation. Among other topics covered is the performance of an adaptive linear predictor in a series of theorums, with and without the Gaussian assumption. Editor(s): Davisson, L. D.; Longo, G. Series: CISM International Centre for Mechanical Sciences: Courses & Lectures. Num Pages: 208 pages, 6 black & white illustrations, biography. BIC Classification: PBT; PBWL; UYA; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 11. Weight in Grams: 374.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 208
- Condition
- New
- SKU
- V9783211823330
- ISBN
- 9783211823330
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this title constitutes the proceedings of the 17th International Workshop on Logic, Language, Information and Computation, WoLLIC 2010, held in Brasilia, Brazil, in July 2010. Editor(s): Dawar, Anuj; Queiroz, Ruy de. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 269 pages, 28 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 269
- Condition
- New
- SKU
- V9783642138232
- ISBN
- 9783642138232
Paperback
Condition: New
€ 66.95
€ 66.95
Process Algebra and Probabilistic Methods - Performance Modelling and ...
. Ed(S): de Alfaro, Luca; Gilmore, Stephan
Paperback. This work constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modelling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001. Topics include: model representation; model checking; and refinement. Editor(s): De Alfaro, Luca; Gilmore, Stephan. Series: Lecture Notes in Computer Science. Num Pages: 236 pages, biography. BIC Classification: PBF; PBT; UGK; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 337.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 236
- Condition
- New
- SKU
- V9783540425564
- ISBN
- 9783540425564
Paperback
Condition: New
€ 68.92
€ 68.92
Paperback. Editor(s): De Nicola, Rocco; Hennicker, Rolf. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 708 pages. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1068.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 708
- Condition
- New
- SKU
- V9783319155449
- ISBN
- 9783319155449
Paperback
Condition: New
€ 70.39
€ 70.39
Paperback. Editor(s): De Paiva, Valeria; Queiroz, Ruy de; Moss, Lawrence S.; Leivant, Daniel; Oliveira, Anjolina G. de. Series: Lecture Notes in Computer Science. Num Pages: 221 pages, 14 black & white illustrations, biography. BIC Classification: UMB; UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 221
- Condition
- New
- SKU
- V9783662477083
- ISBN
- 9783662477083
Paperback
Condition: New
€ 55.88
€ 55.88
Paperback. Editor(s): De Werra, Dominique; Parlier, Greg H.; Vitoriano, Begona. Series: Communications in Computer and Information Science. Num Pages: 261 pages, 64 colour illustrations, biography. BIC Classification: KJMV; KJQ; KJT; UB; UNH; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 261
- Condition
- New
- SKU
- V9783319276793
- ISBN
- 9783319276793
Paperback
Condition: New
€ 66.40
€ 66.40
Paperback. Constitutes the refereed proceedings of the 16th IAPR International Conference on Discrete Geometry for Computer Imagery, DGCI 2011. Editor(s): Debled-Rennesson, Isabelle; Domenjoud, Eric; Kerautret, Bertrand; Even, Philippe. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 540 pages, biography. BIC Classification: UGN; UMB; UYA; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 759.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 540
- Condition
- New
- SKU
- V9783642198663
- ISBN
- 9783642198663
Paperback
Condition: New
€ 69.31
€ 69.31
Paperback. Editor(s): Dediu, Adrian Horia; Formenti, Enrico; Martin-Vide, Carlos; Truthe, Bianca. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 769 pages, 140 black & white illustrations, biography. BIC Classification: PBD; UMB; UYAM; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 39. Weight in Grams: 1163.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 769
- Condition
- New
- SKU
- V9783319155784
- ISBN
- 9783319155784
Paperback
Condition: New
€ 71.62
€ 71.62
Paperback. Editor(s): Dediu, Adrian Horia; Martin-Vide, Carlos; Sierra-Rodriguez, Jose-Luis; Truthe, Bianca. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 628 pages, 108 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYAM; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 949.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 628
- Condition
- New
- SKU
- V9783319049205
- ISBN
- 9783319049205
Paperback
Condition: New
€ 69.70
€ 69.70
Paperback. Editor(s): Dediu, Adrian Horia; Martin-Vide, Carlos; Truthe, Bianca. Series: Lecture Notes in Computer Science. Num Pages: 640 pages, 75 colour illustrations, biography. BIC Classification: PBD; UMB; UYA; UYAM; UYQ; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 33. Weight in Grams: 967.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 640
- Condition
- New
- SKU
- V9783319299990
- ISBN
- 9783319299990
Paperback
Condition: New
€ 69.79
€ 69.79
Paperback. Editor(s): Dediu, Adrian Horia; Martin-Vide, Carlos; Truthe, Bianca. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 594 pages, 69 black & white illustrations, biography. BIC Classification: J; UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 825.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 594
- Condition
- New
- SKU
- V9783642370632
- ISBN
- 9783642370632
Paperback
Condition: New
€ 69.94
€ 69.94
Paperback. Editor(s): Dehne, Frank; Sack, Joerg-Ruediger; Stege, Ulrike. Series: Lecture Notes in Computer Science. Num Pages: 659 pages, 125 black & white illustrations, biography. BIC Classification: PBD; UMB; UML; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 997.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 659
- Condition
- New
- SKU
- V9783319218397
- ISBN
- 9783319218397
Paperback
Condition: New
€ 69.96
€ 69.96
hardcover. Editor(s): Dell'Isola, Francesco; Sofonea, Mircea. Series: Advanced Structured Materials. Num Pages: 316 pages, 43 black & white illustrations, 43 colour illustrations, 10 colour tables, biography. BIC Classification: PDE; PHU; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer Verlag, Singapore Singapore
- Edition
- 1st ed. 2017
- Number of pages
- 316
- Condition
- New
- SKU
- V9789811037634
- ISBN
- 9789811037634
Hardback
Condition: New
€ 207.47
€ 207.47
Paperback. Constitutes the refereed proceedings of the 5th International Workshop on Reachability Problems, RP 2011, held in Genoa, Italy, in September 2011. This book includes the papers dealing with reachability problems that appear in algebraic structures, computational models, hybrid systems, logic, and verification. Editor(s): Delzanno, Giorgio; Potapov, Igor. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 257 pages, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 380.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 257
- Condition
- New
- SKU
- V9783642242878
- ISBN
- 9783642242878
Paperback
Condition: New
€ 83.16
€ 83.16
Paperback. Editor(s): Demetrescu, Camil; Halldorsson, Magnus M. Series: Lecture Notes in Computer Science. Num Pages: 832 pages, biography. BIC Classification: PBD; UKN; UMB; UML; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1258.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 832
- Condition
- New
- SKU
- V9783642237188
- ISBN
- 9783642237188
Paperback
Condition: New
€ 134.01
€ 134.01
Paperback. Editor(s): Demri, Stephane; Kapur, Deepak; Weidenbach, Christoph. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 556 pages, 101 black & white illustrations, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 842.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 556
- Condition
- New
- SKU
- V9783319085869
- ISBN
- 9783319085869
Paperback
Condition: New
€ 69.04
€ 69.04
ICAOS '96 12th International Conference on Analysis and Optimization o...
. Ed(S): Deriche, Rachid; Herlin, Isabelle; J...
Paperback. These conference proceedings have been organized according to the following sessions, each session corresponding to a section of the book: active contours; image enhancement and restoration, scale-spaces; wavelets; image segmentation; image restoration; coding; and applications. Editor(s): Deriche, Rachid; Herlin, Isabelle; Jaffre, Jerome; Morel, Jean-Michel. Series: Lecture Notes in Control and Information Sciences. Num Pages: 377 pages, 200 black & white illustrations, 9 colour illustrations, biography. BIC Classification: GPFC; UYAM; UYQV; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 377
- Condition
- New
- SKU
- V9783540760764
- ISBN
- 9783540760764
Paperback
Condition: New
€ 67.79
€ 67.79
Paperback. Contains the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. Editor(s): Derrick, John; Fitzgerald, John S.; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, Michael; Reeves, Steve; Riccobene, Elvinia. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 393 pages, 133 black & white illustrations, biography. BIC Classification: PBD; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 554.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 393
- Condition
- New
- SKU
- V9783642308840
- ISBN
- 9783642308840
Paperback
Condition: New
€ 67.89
€ 67.89
Paperback. Constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. Editor(s): Derrick, John; Gnesi, Stefania; Latella, Diego; Treharne, Helen. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 372 pages, 105 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 524.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 372
- Condition
- New
- SKU
- V9783642307287
- ISBN
- 9783642307287
Paperback
Condition: New
€ 67.69
€ 67.69
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
. Ed(S): Destercke, Sebastien; Denoeux, Thier...
Paperback. Editor(s): Destercke, Sebastien; Denoeux, Thierry. Series: Lecture Notes in Computer Science. Num Pages: 567 pages, 107 black & white illustrations, biography. BIC Classification: UKN; UM; UNH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 860.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 567
- Condition
- New
- SKU
- V9783319208060
- ISBN
- 9783319208060
Paperback
Condition: New
€ 69.16
€ 69.16