Science & Technology
Results 32661 - 32680 of 98332
Science & Technology
Hardback. Features a selection of papers from The First International and Interdisciplinary Conference on Modelling and Using Context, Rio de Janeiro, January 1997. Several chapters in this volume deal with contextualisation in the setting of natural language, while others seek to develop general models of wider applicability. Editor(s): Bonzon, Pierre; Cavalcanti, Marcos; Nossum, Rolf. Series: Applied Logic Series. Num Pages: 216 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 216
- Condition
- New
- SKU
- V9780792363507
- ISBN
- 9780792363507
Hardback
Condition: New
€ 123.18
€ 123.18
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
€ 119.13
€ 119.13
Paperback. Series: Universitext. Num Pages: 969 pages, biography. BIC Classification: PBK; PBKJ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 49. Weight in Grams: 1460.
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 969
- Format
- Paperback
- Publication date
- 2014
- Edition
- 1979th Edition
- Condition
- New
- SKU
- V9780387904313
- ISBN
- 9780387904313
Paperback
Condition: New
€ 69.02
€ 69.02
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
€ 62.62
€ 62.62
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
€ 62.36
€ 62.36
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
€ 62.76
€ 62.76
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
€ 57.25
€ 57.25
Hardback. Contains the research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. Editor(s): Bochmann, Gregor von; Rafiq, Omar; Dssouli, Rachida. Series: IFIP Advances in Information and Communication Technology. Num Pages: 466 pages, biography. BIC Classification: PHDS; UTP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 1850.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 466
- Condition
- New
- SKU
- V9780412732706
- ISBN
- 9780412732706
Hardback
Condition: New
€ 240.91
€ 240.91
Hardback. Combines the proceedings of the IFIP Formal Description Techniques (FDTs) and "Protocol Specification, Testing and Verification" (PSTV) series. This book addresses FDTs applicable to communication protocols and distributed systems, with emphasis on standardised FDTs. Editor(s): Gotzhein, Reinhard; Bredereke, Jan. Series: IFIP Advances in Information and Communication Technology. Num Pages: 528 pages, biography. BIC Classification: PHDS; UTP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 923.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 528
- Condition
- New
- SKU
- V9780412794902
- ISBN
- 9780412794902
Hardback
Condition: New
€ 355.27
€ 355.27
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
€ 235.81
€ 235.81
Formal Description Techniques for Distribution Systems and Communicati...
. Ed(S): Hogrefe, Dieter; Leue, S.
Hardback. Presents the research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques. Editor(s): Hogrefe, Dieter; Leue, S. Series: IFIP Advances in Information and Communication Technology. Num Pages: 536 pages, black & white illustrations. BIC Classification: PHDS; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 2050.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 536
- Condition
- New
- SKU
- V9780412644504
- ISBN
- 9780412644504
Hardback
Condition: New
€ 250.77
€ 250.77
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
€ 124.89
€ 124.89
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
€ 122.56
€ 122.56
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
€ 170.96
€ 170.96
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
€ 211.34
€ 211.34
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
€ 108.59
€ 108.59
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
€ 122.37
€ 122.37
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
€ 203.92
€ 203.92
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
€ 212.66
€ 212.66
Paperback. In this text and CD-ROM, the major techniques for formally supported specification, design and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. Editor(s): Abrial, J-.R.; Borger, E.; Langmaack, Hans. Series: Lecture Notes in Computer Science. Num Pages: 532 pages, biography. BIC Classification: KN; TGBN1; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 738.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 532
- Condition
- New
- SKU
- V9783540619291
- ISBN
- 9783540619291
Paperback
Condition: New
€ 121.23
€ 121.23