Science & Technology
Results 51941 - 51960 of 114868
Science & Technology
Interactive Dynamics of Convention and Solidification
. Ed(S): Davis, S. H.; Huppert, H.E. (Departm...
Hardback. Proceedings of the NATO Advanced Study Institute, Chamonix, France, March 8-13, 1992 Editor(s): Davis, S. H.; Huppert, H.E. (Department of Applied Mathematics and Theoretical Physics, University of Cambridge); Muller, U.; Worster, M.G. Series: NATO Science Series E:. Num Pages: 289 pages, biography. BIC Classification: TGMF3. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 17. Weight in Grams: 592.
- Format
- Hardback
- Publication date
- 1992
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 289
- Condition
- New
- SKU
- V9780792319108
- ISBN
- 9780792319108
Hardback
Condition: New
€ 237.60
€ 237.60
paperback. This volume presents recent developments in the use of fuzzy sets in broadly perceived interactive optimization and mathematical programming. The introductory sections are followed by material with an emphasis on elements of human interaction and information on software packages. Editor(s): Fedrizzi, Mario; Kacprzyk, J.; Roubens, Marc. Series: Lecture Notes in Economics and Mathematical Systems. Num Pages: 229 pages, 13 black & white tables, biography. BIC Classification: PBWX; UM. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 12. Weight in Grams: 407.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 229
- Condition
- New
- SKU
- V9783540545774
- ISBN
- 9783540545774
Paperback
Condition: New
€ 119.19
€ 119.19
Paperback. Num Pages: 310 pages, biography. BIC Classification: AKP; TBC; TBD; WM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1984
- Number of pages
- 310
- Condition
- New
- SKU
- V9789401089586
- ISBN
- 9789401089586
Paperback
Condition: New
€ 62.64
€ 62.64
Paperback. Num Pages: 385 pages, biography. BIC Classification: TBC; TJFM1; UGC. Category: (P) Professional & Vocational. Dimension: 234 x 157 x 22. Weight in Grams: 582.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 403
- Condition
- New
- SKU
- V9781447111306
- ISBN
- 9781447111306
Paperback
Condition: New
€ 182.05
€ 182.05
Paperback. Num Pages: 128 pages. BIC Classification: PBP. Category: (G) General (US: Trade). Dimension: 154 x 230 x 22. Weight in Grams: 316.
- Publisher
- Dover Publications Inc.
- Format
- Paperback
- Publication date
- 2017
- Condition
- New
- SKU
- V9780486804637
- ISBN
- 9780486804637
Paperback
Condition: New
€ 23.99€ 16.03
€ 23.99
€ 16.03
Paperback. Markov chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristics. This monograph is devoted to compositional specification and analysis of Markov chains. Series: Lecture Notes in Computer Science. Num Pages: 229 pages, biography. BIC Classification: PBWL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 337.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 229
- Condition
- New
- SKU
- V9783540442615
- ISBN
- 9783540442615
Paperback
Condition: New
€ 64.53
€ 64.53
Paperback. Series: Springer Theses. Num Pages: 220 pages, 42 black & white illustrations, 10 colour illustrations, biography. BIC Classification: JNC; JNV; PBW; TJK; YQT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 220
- Condition
- New
- SKU
- V9783319384801
- ISBN
- 9783319384801
Paperback
Condition: New
€ 118.46
€ 118.46
Hardback. Series: Springer Theses. Num Pages: 220 pages, biography. BIC Classification: JNC; JNV; PBW; TJK; YQT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 532.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 220
- Condition
- New
- SKU
- V9783319102559
- ISBN
- 9783319102559
Hardback
Condition: New
€ 119.52
€ 119.52
Paperback. Editor(s): Sideman, S.; Beyer, Rafael. Series: Advances in Experimental Medicine and Biology. Num Pages: 444 pages, biography. BIC Classification: PHVN; PST; PSV; PSVD. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 23. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 444
- Condition
- New
- SKU
- V9781461362807
- ISBN
- 9781461362807
Paperback
Condition: New
€ 64.91
€ 64.91
Paperback. Series: Communications and Control Engineering. Num Pages: 377 pages, 29 black & white illustrations, 1 black & white tables, biography. BIC Classification: GPFC; PBKQ; TBD; TBJ; UGC; UK. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 377
- Condition
- New
- SKU
- V9783642486203
- ISBN
- 9783642486203
Paperback
Condition: New
€ 63.16
€ 63.16
Paperback. Editor(s): Blazy, Sandrine; Paulin-Mohring, Christine; Pichardie, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 510 pages, 73 black & white illustrations, biography. BIC Classification: PBCD; UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 777.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 510
- Condition
- New
- SKU
- V9783642396335
- ISBN
- 9783642396335
Paperback
Condition: New
€ 64.37
€ 64.37
Paperback. Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Editor(s): Kaufmann, Matt; Paulson, Lawrence C. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 495 pages, 82 black & white illustrations, biography. BIC Classification: MJCM; PBCD; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 495
- Condition
- New
- SKU
- V9783642140518
- ISBN
- 9783642140518
Paperback
Condition: New
€ 126.58
€ 126.58
Hardcover. Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. It includes a collection of examples and exercises. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 497 pages, 1 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 239 x 163 x 36. Weight in Grams: 912.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 497
- Format
- Hardback
- Publication date
- 2004
- Edition
- 2004th Edition
- Condition
- New
- SKU
- V9783540208549
- ISBN
- 9783540208549
Hardback
Condition: New
€ 138.58
€ 138.58
Paperback. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 472 pages, 1 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 26. Weight in Grams: 748.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 472
- Format
- Paperback
- Publication date
- 2010
- Edition
- Softcover reprint of hardcover 1st ed. 2004
- Condition
- New
- SKU
- V9783642058806
- ISBN
- 9783642058806
Paperback
Condition: New
€ 100.84
€ 100.84
Paperback. Constitutes the refereed proceedings of the 5th European Conference on Interactive Television, EuroITV 2007, held in Amsterdam, The Netherlands, May 2007. This volume covers a wide range of areas such as media studies, audiovisual design, multimedia, HCI, and management. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 249 pages, biography. BIC Classification: TJKV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 364.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 249
- Condition
- New
- SKU
- V9783540725589
- ISBN
- 9783540725589
Paperback
Condition: New
€ 62.54
€ 62.54
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 137 pages, biography. BIC Classification: TTBM; UG; UKN. Category: (G) General (US: Trade). Dimension: 235 x 155 x 8. Weight in Grams: 237.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 137
- Condition
- New
- SKU
- V9781461375784
- ISBN
- 9781461375784
Paperback
Condition: New
€ 180.05
€ 180.05
Interactive Videoconferencing and Collaborative Learning for K-12 Stud...
Panagiotes S. Anastasiades
Hardcover. Num Pages: 353 pages, b/w photos, tables & charts. BIC Classification: JN; TJ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 260 x 190 x 29. Weight in Grams: 964.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 353
- Condition
- New
- SKU
- V9781606921852
- ISBN
- 9781606921852
Hardback
Condition: New
€ 100.45€ 69.24
€ 100.45
€ 69.24
Hardback. This collection of essays honors G.H. von Wright whose contributions have been instrumental in advancing our understanding of the thinking of Ludwig Wittgenstein. The book includes the first English translation of the Frege-Wittgenstein correspondence. Editor(s): Pellegrin, Enzo de. Series: Synthese Library. Num Pages: 208 pages, biography. BIC Classification: HPM; HRAB; PDX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 491.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 208
- Condition
- New
- SKU
- V9781402099083
- ISBN
- 9781402099083
Hardback
Condition: New
€ 119.35
€ 119.35
Paperback. This collection of essays honors G.H. von Wright whose contributions have been instrumental in advancing our understanding of the thinking of Ludwig Wittgenstein. The book includes the first English translation of the Frege-Wittgenstein correspondence. Editor(s): Pellegrin, Enzo de. Series: Synthese Library. Num Pages: 208 pages, biography. BIC Classification: HPC; HPL; HPM; HPN; HRAB; PDX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Netherlands
- Number of pages
- 208
- Condition
- New
- SKU
- V9789400734821
- ISBN
- 9789400734821
Paperback
Condition: New
€ 119.48
€ 119.48
Paperback / so. Series: Isw Forschung Und Praxis. Num Pages: black & white illustrations, bibliography. BIC Classification: TBC. Category: (G) General (US: Trade). Dimension: 210 x 148 x 6. Weight in Grams: 150.
- Format
- Paperback
- Publication date
- 1982
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540115038
- ISBN
- 9783540115038
Paperback
Condition: New
€ 66.08
€ 66.08