Science & Technology
Results 29953 - 29976 of 45149
Science & Technology
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
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. 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
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
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
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
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
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
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. 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
Hardback. Discusses designing computations to be realized by application-specific hardware. It introduces a formal design approach based on a high-level design language called Synchronized Transitions; and the models created enable the designer to perform different kinds of analysis and verification. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 232 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 532.
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 232
- Condition
- New
- SKU
- V9780792394273
- ISBN
- 9780792394273
Hardback
Condition: New
€ 192.00
€ 192.00
Paperback. Explores different applications of Aristotle's hypothesis on the components of form, matter and pyschological states. Editor(s): Lewis, Frank A.; Bolton, Robert. Num Pages: 296 pages, black & white illustrations. BIC Classification: HPCA; PH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 153 x 230 x 21. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 296
- Condition
- New
- SKU
- V9780631200925
- ISBN
- 9780631200925
Paperback
Condition: New
€ 27.95
€ 27.95
Hardcover. Here, in one volume, is all the architect needs to know to participate in the entire process of designing structures. Emphasizing bestselling author Edward Allen's graphical approach, the book enables the reader to quickly determine the desired form of a building or other structure, and easily design it without the need for complex mathematics. Num Pages: 640 pages, Illustrations. BIC Classification: AMC; TN. Category: (P) Professional & Vocational. Dimension: 286 x 218 x 36. Weight in Grams: 1758.
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 640
- Format
- Hardback
- Publication date
- 2009
- Edition
- 1st
- Condition
- New
- SKU
- V9780470174654
- ISBN
- 9780470174654
Hardback
Condition: New
€ 133.96
€ 133.96
Hardback. From James Beard Leadership Award winner Saru Jayaraman, Forked offers an insider's view of the highest-and lowest-scoring restaurants for worker pay and benefits in each sector of the restaurant industry, and with it, a new way of thinking about how and where we eat. Num Pages: 248 pages, illustrations. BIC Classification: 1KBB; JFCV; MBN; TTVC. Category: (G) General (US: Trade). Dimension: 152 x 250 x 27. Weight in Grams: 390.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Oxford University Press Inc United States
- Number of pages
- 248
- Condition
- New
- SKU
- V9780199380473
- ISBN
- 9780199380473
Hardback
Condition: New
€ 34.99€ 29.70
€ 34.99
€ 29.70
Paperback. Scholars and students in political science, public administration, international studies, sociology, and the history of science and technology will find this to be an insightful and indispensable work. Num Pages: 176 pages, 10, 2 black & white halftones, 8 black & white line drawings. BIC Classification: JPA; JPS; PDR. Category: (U) Tertiary Education (US: College). Dimension: 141 x 215 x 11. Weight in Grams: 220.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Johns Hopkins University Press
- Condition
- New
- SKU
- V9781421417264
- ISBN
- 9781421417264
Paperback
Condition: New
€ 26.99€ 23.57
€ 26.99
€ 23.57
Paperback. Forests have been entwined with human development and cultural history for centuries. In this Very Short Introduction Jaboury Ghazoul explores their origins, dynamics, and the range of goods and services they provide to human society, as well as looking at issues of deforestation, reforestation, and the effects of climate change. Series: Very Short Introductions. Num Pages: 168 pages, Approx 20 black and white illustrations. BIC Classification: PDZ; RGBL. Category: (G) General (US: Trade). Dimension: 175 x 112 x 12. Weight in Grams: 132.
- Publisher
- Oxford University Press
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780198706175
- ISBN
- 9780198706175
Paperback
Condition: New
€ 11.99€ 10.81
€ 11.99
€ 10.81
Hardcover. Editor(s): Kolomyts, Erland G.; Rozenberg, Gennadiy S.; Saksonov, Sergey V.; Sharaya, Larisa S. Num Pages: 421 pages, Illustrations, maps. BIC Classification: PSAF. Category: (P) Professional & Vocational. Dimension: 264 x 187 x 29. Weight in Grams: 948.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 421
- Condition
- New
- SKU
- V9781622570232
- ISBN
- 9781622570232
Hardback
Condition: New
€ 253.17€ 170.94
€ 253.17
€ 170.94
hardcover. Provides a review of various themes in forest resource economics. This book shows how neo-classical economic principles can be used to analyze forest policy issues across market economies in the United States, Latin America, and South and Southeast Asia. It is intended for forest economists, forest policy analysts, and graduate students. Editor(s): Sills, Erin O.; Lee Abt, Karen. Series: Forestry Sciences. Num Pages: 392 pages, biography. BIC Classification: KCN; KNAL; TVR. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 297 x 210 x 22. Weight in Grams: 730.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Boston Incorporated United States
- Number of pages
- 392
- Condition
- New
- Edition
- 2003rd Edition
- SKU
- V9781402010286
- ISBN
- 9781402010286
Hardback
Condition: New
€ 247.78
€ 247.78
Hardback. Forest ecosystems grow at the interface between the land and the atmosphere. This book presents an overview of many topics that are of significance at this interface, starting at the scale of intra-leaf organelles, leaves and plants and ranging to higher levels of organization such as communities. Editor(s): Mencuccini, M.; Grace, J.; Moncrieff, J.; McNaughton, K. (University of Edinburgh). Num Pages: 304 pages, Illustrations, maps (some col.), 1 port. BIC Classification: PSAF; RBP; RNC; TQ; TVR. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 172 x 24. Weight in Grams: 830.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- CABI Publishing United Kingdom
- Number of pages
- 304
- Condition
- New
- SKU
- V9780851996776
- ISBN
- 9780851996776
Hardback
Condition: New
€ 272.80
€ 272.80
Paperback. Series Editor(s): Sivaramakrishnan, K. Series: Culture, Place, and Nature. Num Pages: 312 pages, 15 maps, 1 recorded music items, 12 black & white illustrations, 15 black & white tables,. BIC Classification: HBJF; JHMC; TVR. Category: (G) General (US: Trade). Dimension: 230 x 152 x 36. Weight in Grams: 434.
- Publisher
- University of Washington Press
- Format
- Paperback
- Publication date
- 2016
- Condition
- New
- SKU
- V9780295995489
- ISBN
- 9780295995489
Paperback
Condition: New
€ 37.99€ 34.25
€ 37.99
€ 34.25
Hardcover. Series Editor(s): Sivaramakrishnan, K. Series: Culture, Place, and Nature. Num Pages: 312 pages, 15 maps, 1 recorded music items, 12 black & white illustrations, 15 black & white tables,. BIC Classification: 1FM; HBJF; JHMC; TVR. Category: (G) General (US: Trade). Dimension: 5817 x 3887 x 21. Weight in Grams: 590.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- University of Washington Press United States
- Number of pages
- 312
- Condition
- New
- SKU
- V9780295995472
- ISBN
- 9780295995472
Hardback
Condition: New
€ 117.71
€ 117.71
Hardback. Covers such topics as colonization of trees by insects, population dynamics of forest insects, insect natural enemies, the effects of climate change and pollution on forest pests, and spatial variation in the abundance of insects. This book also covers the mineralization of carbon by termites, and the impact of herbivorous insects. Num Pages: 422 pages, biography. BIC Classification: PSVT7. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 23. Weight in Grams: 949.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 422
- Condition
- New
- SKU
- V9780412791109
- ISBN
- 9780412791109
Hardback
Condition: New
€ 252.16
€ 252.16
Hardcover.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- CABI Publishing United Kingdom
- Edition
- First
- Number of pages
- 288
- Condition
- New
- SKU
- V9780851989822
- ISBN
- 9780851989822
Hardback
Condition: New
€ 163.52
€ 163.52
Paperback. .
- Publisher
- CABI Publishing United Kingdom
- Number of pages
- 264
- Format
- Paperback
- Publication date
- 2013
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781780641584
- ISBN
- 9781780641584
Paperback
Condition: New
€ 60.31
€ 60.31