Science & Technology
Results 15201 - 15220 of 45253
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
€ 127.57
€ 127.57
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
€ 64.15
€ 64.15
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
€ 249.61
€ 249.61
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
€ 364.37
€ 364.37
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
€ 240.81
€ 240.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
€ 259.73
€ 259.73
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
€ 129.19
€ 129.19
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
€ 126.78
€ 126.78
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
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
€ 124.27
€ 124.27
Paperback. Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. Num Pages: 292 pages, Illustrations. BIC Classification: TBC; TJ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 17. Weight in Grams: 500.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 292
- Condition
- New
- SKU
- V9780470876183
- ISBN
- 9780470876183
Paperback
Condition: New
€ 106.05
€ 106.05
Formal Methods for Safety and Security: Case Studies for Aerospace App...
. Ed(S): Nanda, Manju; Jeppu, Yogananda
hardcover. Editor(s): Nanda, Manju; Jeppu, Yogananda. Num Pages: 112 pages, 18 black & white illustrations, 24 colour illustrations, 24 colour tables, biography. BIC Classification: PBKQ; TGPR; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer Singapore
- Edition
- 1st ed. 2018
- Number of pages
- 112
- Condition
- New
- SKU
- V9789811041204
- ISBN
- 9789811041204
Hardback
Condition: New
€ 133.56
€ 133.56
Paperback. Num Pages: 256 pages, 1, black & white illustrations. BIC Classification: JHB; PD. Category: (G) General (US: Trade). Dimension: 234 x 156 x 13. Weight in Grams: 364.
- Format
- Paperback
- Publication date
- 1978
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 256
- Condition
- New
- SKU
- V9783764309718
- ISBN
- 9783764309718
Paperback
Condition: New
€ 80.31€ 67.29
€ 80.31
€ 67.29
Hardcover. Editor(s): Patton, Amy. Num Pages: 182 pages. BIC Classification: MBN; MMGT; PNN. Category: (P) Professional & Vocational. Dimension: 189 x 265 x 17. Weight in Grams: 548.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Nova Science Pub Inc
- Edition
- UK ed.
- Condition
- New
- SKU
- V9781634824125
- ISBN
- 9781634824125
Hardback
Condition: New
€ 241.58€ 181.28
€ 241.58
€ 181.28
Paperback / so. Series: Teubner-Texte Zur Informatik. Num Pages: black & white illustrations, bibliography. BIC Classification: TBC. Category: (G) General (US: Trade). Dimension: 244 x 170 x 11. Weight in Grams: 345.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Vieweg+teubner Verlag Germany
- Condition
- New
- SKU
- V9783815420522
- ISBN
- 9783815420522
Paperback
Condition: New
€ 59.28
€ 59.28
Hardback. Authoritative and accessible, Formalin-Fixed Paraffin-Embedded Tissues: Methods and Protocols presents an area of research that intersects with and integrates diverse disciplines. The book's contributions provide practical guidelines to this complex study. Editor(s): Al-Mulla, Fahd. Series: Methods in Molecular Biology. Num Pages: 312 pages, 13 black & white tables, biography. BIC Classification: MFGC; MMF; PSAK1. Category: (P) Professional & Vocational. Dimension: 257 x 184 x 24. Weight in Grams: 758.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Humana Press Inc. United States
- Number of pages
- 312
- Condition
- New
- SKU
- V9781617790546
- ISBN
- 9781617790546
Hardback
Condition: New
€ 190.96
€ 190.96
paperback. Series: Forschungsberichte Des Landes Nordrhein-Westfalen. Num Pages: 388 pages, black & white illustrations, bibliography. BIC Classification: TBC; TGM; TN. Category: (G) General (US: Trade). Dimension: 244 x 170 x 22. Weight in Grams: 713.
- Format
- Paperback
- Publication date
- 1974
- Publisher
- Vs Verlag Fur Sozialwissenschaften United States
- Edition
- 1974th Edition
- Number of pages
- 388
- Condition
- New
- SKU
- V9783531024424
- ISBN
- 9783531024424
Paperback
Condition: New
€ 82.30
€ 82.30
Paperback. Series: Progress in Colloid and Polymer Science. Num Pages: 303 pages, biography. BIC Classification: PNNP. Category: (P) Professional & Vocational. Dimension: 279 x 210 x 16. Weight in Grams: 753.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Steinkopff Darmstadt Germany
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 303
- Condition
- New
- SKU
- V9783662157046
- ISBN
- 9783662157046
Paperback
Condition: New
€ 65.89
€ 65.89
Paperback. Num Pages: 272 pages, 99 black & white illustrations, biography. BIC Classification: PSF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 427.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Birkhauser Boston Inc United States
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 272
- Condition
- New
- SKU
- V9781489967091
- ISBN
- 9781489967091
Paperback
Condition: New
€ 64.53
€ 64.53
Hardback. Formation Control of Multi-Agent Systems: A Graph Rigidity Approach Marcio de Queiroz, Louisiana State University, USA Xiaoyu Cai, FARO Technologies, USA Matthew Feemster, U.S. Series: Wiley Series in Dynamics and Control of Electromechanical Systems. Num Pages: 220 pages. BIC Classification: TJFM; UT. Category: (P) Professional & Vocational. Dimension: 229 x 152. .
- Format
- Hardback
- Publication date
- 2019
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 220
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781118887448
- ISBN
- 9781118887448
Hardback
Condition: New
€ 126.61
€ 126.61