×


 x 

Shopping cart

Science & Technology

Results 15193 - 15216 of 45222

Science & Technology

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.69
€ 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

€ 242.41
€ 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

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

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

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

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

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

Hardcover. Num Pages: 128 pages, tables & charts. BIC Classification: PGK. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 260 x 183 x 14. Weight in Grams: 446.
Format
Hardback
Publication date
2010
Publisher
Nova Science Publishers Inc United States
Number of pages
128
Condition
New
SKU
V9781608764730
ISBN
9781608764730
Hardback
Condition: New

€ 294.70
€ 198.51

Hardback. Series: Advances in Petroleum Engineering. Num Pages: 320 pages. BIC Classification: THFP. Category: (P) Professional & Vocational. Dimension: 235 x 162 x 22. Weight in Grams: 634.
Format
Hardback
Publication date
2015
Publisher
John Wiley & Sons Inc United States
Number of pages
320
Condition
New
Edition
1st Edition
SKU
V9781118925942
ISBN
9781118925942
Hardback
Condition: New

€ 208.24

Subscribe to our newsletter

News on special offers, signed editions & more!