Science & Technology
Results 68801 - 68820 of 104485
Science & Technology
Hardback. Series: Studies in Systems, Decision and Control. Num Pages: 284 pages, 54 black & white illustrations, 39 colour illustrations, biography. BIC Classification: GPFC; TJFM; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 284
- Condition
- New
- SKU
- V9783319507620
- ISBN
- 9783319507620
Hardback
Condition: New
€ 218.44
€ 218.44
Hardback. A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. Editor(s): Boulanger, Jean-Louis. Num Pages: 480 pages, illustrations (black and white). BIC Classification: TBJ. Category: (P) Professional & Vocational. Dimension: 165 x 241 x 30. Weight in Grams: 848.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 480
- Condition
- New
- SKU
- V9781848216327
- ISBN
- 9781848216327
Hardback
Condition: New
€ 207.23
€ 207.23
Hardback. Series: Synthese Library. Num Pages: 170 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 444.
- Format
- Hardback
- Publication date
- 1970
- Publisher
- Springer Netherlands
- Number of pages
- 170
- Condition
- New
- SKU
- V9789027700698
- ISBN
- 9789027700698
Hardback
Condition: New
€ 125.66
€ 125.66
Hardback. Series: Algebra and Applications. Num Pages: 156 pages, biography. BIC Classification: PBC; PBF; PBPD. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 156
- Condition
- New
- SKU
- V9783319539065
- ISBN
- 9783319539065
Hardback
Condition: New
€ 111.69
€ 111.69
Paperback. Editor(s): Martin-Vide, Carlos; Mitrana, Victor; Paun, Gheorghe. Series: Studies in Fuzziness and Soft Computing. Num Pages: 620 pages, biography. BIC Classification: PBC; TBJ; UYQ; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 955.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 620
- Condition
- New
- SKU
- V9783642535543
- ISBN
- 9783642535543
Paperback
Condition: New
€ 241.02
€ 241.02
Paperback. Series: Frontiers in Electronic Testing. Num Pages: 247 pages, biography. BIC Classification: THR; TJFC; UGC; UMA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 391.
- 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
- 247
- Condition
- New
- SKU
- V9781461376064
- ISBN
- 9781461376064
Paperback
Condition: New
€ 215.68
€ 215.68
Hardback. This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. Using the formal methods described in this book produces results that are more reliable and will have higher performance. Num Pages: 219 pages, 9 black & white tables, biography. BIC Classification: TBD; TJFC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 517.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 219
- Condition
- New
- SKU
- V9781441997357
- ISBN
- 9781441997357
Hardback
Condition: New
€ 175.60
€ 175.60
Paperback. Proceedings of the NATO Advanced Research Workshop, held in Manoa, Hawaii, U.S.A., 2-6 October 2002 Editor(s): Nation, James (Department of Mathematics, University of Hawaii, Honolulu, USA); Trofimova, Irina (Collective Intelligence Lab, McMaster University, Hamilton, Canada); Rand, John D. (Department of Mathematics, University of Hawaii, Honolulu, USA); Sulis, William (Department of Psychiatry and Behavioural Neurosciences, McMaster University, Hamilton, Canada). Series: NATO Science Series II. Num Pages: 306 pages, biography. BIC Classification: PDE; PS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 160 x 17. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 306
- Condition
- New
- SKU
- V9781402015687
- ISBN
- 9781402015687
Paperback
Condition: New
€ 125.51
€ 125.51
hardcover. Proceedings of the NATO Advanced Research Workshop, held in Manoa, Hawaii, U.S.A., 2-6 October 2002 Editor(s): Nation, James (Department of Mathematics, University of Hawaii, Honolulu, USA); Trofimova, Irina (Collective Intelligence Lab, McMaster University, Hamilton, Canada); Rand, John D. (Department of Mathematics, University of Hawaii, Honolulu, USA); Sulis, William (Department of Psychiatry and Behavioural Neurosciences, McMaster University, Hamilton, Canada). Series: NATO Science Series II. Num Pages: 306 pages, biography. BIC Classification: PDE; PS. Category: (G) General (US: Trade); (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 631.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 306
- Condition
- New
- Edition
- 2003rd Edition
- SKU
- V9781402015670
- ISBN
- 9781402015670
Hardback
Condition: New
€ 127.89
€ 127.89
Formal Description Techniques and Protocol Specification, Testing and ...
Togashi, Atsushi; Mizuno, Tadanori; Shiratori...
Paperback. Series: IFIP Advances in Information and Communication Technology. Num Pages: 561 pages, biography. BIC Classification: TTBM; UKN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 860.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 561
- Condition
- New
- SKU
- V9781475752601
- ISBN
- 9781475752601
Paperback
Condition: New
€ 239.66
€ 239.66
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
€ 58.56
€ 58.56
Paperback. Editor(s): Domenach, Florent; Ignatov, Dmitry I.; Poelmans, Jonas. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 321 pages, 75 black & white illustrations, biography. BIC Classification: PBD; PBF; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 465.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 321
- Condition
- New
- SKU
- V9783642298912
- ISBN
- 9783642298912
Paperback
Condition: New
€ 64.51
€ 64.51
Paperback. Constitutes the refereed proceedings of the 9th International Conference on Formal Concept Analysis, ICFCA 2011, that was held in Nicosia, Cyprus. Editor(s): Valtchev, Petko; Jaschke, Robert. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 279 pages, biography. BIC Classification: PBF; UMX; UMZ; UNF; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 406.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642205132
- ISBN
- 9783642205132
Paperback
Condition: New
€ 63.73
€ 63.73
Paperback. Editor(s): Baixeries, Jaume; Sacarea, Christian; Ojeda-Aciego, Manuel. Series: Lecture Notes in Computer Science. Num Pages: 331 pages, 57 black & white illustrations, biography. BIC Classification: PBD; PBF; UMZ; UNF; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 331
- Condition
- New
- SKU
- V9783319195445
- ISBN
- 9783319195445
Paperback
Condition: New
€ 63.86
€ 63.86
Paperback. Editor(s): Bonzon, Pierre; Cavalcanti, Marcos; Nossum, Rolf. Series: Applied Logic Series. Num Pages: 216 pages, biography. BIC Classification: HPL; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 216
- Condition
- New
- SKU
- V9789048154722
- ISBN
- 9789048154722
Paperback
Condition: New
€ 121.92
€ 121.92
Formal Aspects of Component Software: 12th International Conference, F...
. Ed(S): Braga, Christiano; Olveczky, Peter C...
paperback. Editor(s): Braga, Christiano; Olveczky, Peter Csaba. Series: Lecture Notes in Computer Science. Num Pages: 331 pages, 118 colour illustrations, biography. BIC Classification: PBCD; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 331
- Condition
- New
- SKU
- V9783319289335
- ISBN
- 9783319289335
Paperback
Condition: New
€ 64.34
€ 64.34
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 303 pages, biography. Category: (G) General (US: Trade). Dimension: 233 x 155 x 16. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 303
- Condition
- New
- SKU
- V9783540406655
- ISBN
- 9783540406655
Paperback
Condition: New
€ 67.21
€ 67.21
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 232 pages, biography. BIC Classification: THR; TJFC; UGC; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 13. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 232
- Condition
- New
- SKU
- V9781461361930
- ISBN
- 9781461361930
Paperback
Condition: New
€ 185.48
€ 185.48
Paperback. Series: SpringerBriefs in Food, Health, and Nutrition. Num Pages: 145 pages, 8 black & white illustrations, 1 colour illustrations, biography. BIC Classification: KCP; TDCT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 284.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 145
- Condition
- New
- SKU
- V9783319049656
- ISBN
- 9783319049656
Paperback
Condition: New
€ 63.11
€ 63.11
Paperback. Series: Lecture Notes in Mathematics. Num Pages: 291 pages, 3 black & white illustrations, 3 colour illustrations, biography. BIC Classification: PBF; PBKJ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 291
- Condition
- New
- SKU
- V9783319114446
- ISBN
- 9783319114446
Paperback
Condition: New
€ 64.05
€ 64.05