Business applications
Results 661 - 680 of 1372
Business applications
Paperback. Provides a general presentation of the COMANDOS platform, structured into two parts. The first part provides a user view of the platform and focuses on its functionality, on design choices and innovative aspects. The second part gives an overview of the implementation of the platform. Editor(s): Cahill, Vinny; Balter, Roland; Harris, N. R.; Rousset De Pina, Xavier. Series: Research Reports Esprit / Project 2071. Comandos. Num Pages: 312 pages, 6 black & white illustrations, biography. BIC Classification: UFC; UL; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 312
- Condition
- New
- SKU
- V9783540566601
- ISBN
- 9783540566601
Paperback
Condition: New
€ 64.55
€ 64.55
FME '93: Industrial-Strength Formal Methods: First International Sympo...
. Ed(S): Woodcock, J. C. P.; Larsen, Peter Go...
paperback. The symposium upon which this text is based focuses on the application of industrial-strength formal methods. The papers address the difficulties of scaling techniques up to industrial-sized problems, and their suitability in the workplace. Editor(s): Woodcock, J. C. P.; Larsen, Peter Gorm. Series: Lecture Notes in Computer Science. Num Pages: 695 pages, biography. BIC Classification: UFC; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 36. Weight in Grams: 2170.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer Germany
- Edition
- 1993rd Edition
- Number of pages
- 695
- Condition
- New
- SKU
- V9783540566625
- ISBN
- 9783540566625
Paperback
Condition: New
€ 138.46
€ 138.46
Paperback. This guide is designed to be used in school computer labs or with home computers, running the computer algebra system Maple, or its student version. It supports the interactive Maple worksheets, aiming to address readers who are learning calculus at a pre-university level. Num Pages: 465 pages, 5 black & white illustrations, biography. BIC Classification: PBK; UFM; UY. Category: (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 692.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 465
- Condition
- New
- SKU
- V9783540592846
- ISBN
- 9783540592846
Paperback
Condition: New
€ 65.77
€ 65.77
Paperback / so. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: KJMV3; MBPM; PBT; PDND; TBC; UF. Category: (G) General (US: Trade). Dimension: 203 x 127 x 18. Weight in Grams: 336.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540609322
- ISBN
- 9783540609322
Paperback
Condition: New
€ 68.61
€ 68.61
Paperback / so. Translator(s): Merz, T. Series: Edition Page. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: TBC; UFD; UG. Category: (G) General (US: Trade). Dimension: 203 x 127 x 5. Weight in Grams: 109.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540612025
- ISBN
- 9783540612025
Paperback
Condition: New
€ 57.14
€ 57.14
Paperback. This research report assembles and analyzes reports from real-world applications of advanced techniques for software evolution and reuse in different companies working in different domains and using diverse software development methodologies. Series: Research Reports ESPRIT. Num Pages: 147 pages, 18 black & white illustrations, biography. BIC Classification: UF; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 8. Weight in Grams: 234.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 147
- Condition
- New
- SKU
- V9783540628644
- ISBN
- 9783540628644
Paperback
Condition: New
€ 63.90
€ 63.90
paperback. Num Pages: 376 pages, black & white illustrations, bibliography. BIC Classification: UFM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Germany
- Edition
- 1st Edition
- Number of pages
- 376
- Condition
- New
- SKU
- V9783540661450
- ISBN
- 9783540661450
Paperback
Condition: New
€ 80.49
€ 80.49
Paperback. The refereed proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '99, held in Nice, France, in September 1999. Among the theorem provers evaluated in these 20 revised papers are COQ, HOL, Isabelle, Isabelle/ZF, and OpenMath. Editor(s): Bertot, Yves; Dowek, Gilles; Hirschowitz, Andre; Paulin, Christine; Thery, Laurent. Series: Lecture Notes in Computer Science. Num Pages: 372 pages, biography. BIC Classification: PBW; UFM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 157 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 372
- Condition
- New
- SKU
- V9783540664635
- ISBN
- 9783540664635
Paperback
Condition: New
€ 68.78
€ 68.78
Theoretical and Practical Aspects of Spin Model Checking
. Ed(S): Dams, Dennis; Gerth, Robert; Leue, S...
Paperback. This text constitutes the refereed proceedings of the 5th and 6th International SPIN Workshops on SPIN Model Checking. Papers present up-to-date research results centred around SPIN, as well as valuable surveys and summaries of application experience. Editor(s): Dams, Dennis; Gerth, Robert; Leue, Stefan; Massinek, Mieke. Series: Lecture Notes in Computer Science. Num Pages: 292 pages, biography. BIC Classification: UFM; UGK; UMG. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 15. Weight in Grams: 910.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 292
- Condition
- New
- SKU
- V9783540664994
- ISBN
- 9783540664994
Paperback
Condition: New
€ 67.19
€ 67.19
Hardback. Manipulation of labelled transition systems offers a means of tracing flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically. This textbook gives an introduction into the basics of process algebra and its applications. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 168 pages, 11 black & white tables, biography. BIC Classification: PBF; UF; UK; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 432.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 168
- Condition
- New
- SKU
- V9783540665793
- ISBN
- 9783540665793
Hardback
Condition: New
€ 67.41
€ 67.41
Hardback. Before use, standard ERP systems such as SAP R/3 need to be customized to meet the concrete requirements of the individual enterprise. This book provides an overview of the process models, methods, and tools offered by SAP and its partners to support this complex and time-consuming process. Series: SAP Excellence. Num Pages: 200 pages, 5 black & white tables, biography. BIC Classification: UDB; UF; UKR; UT. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 245 x 165 x 18. Weight in Grams: 452.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 200
- Condition
- New
- SKU
- V9783540668633
- ISBN
- 9783540668633
Hardback
Condition: New
€ 67.93
€ 67.93
Paperback. This text offers a detailed application guide to XploRe - the interactive statistical computing environment - with case studies of real data analysis situations. It should help the beginner in statistical data analysis to learn in gradual steps how XploRe works in real life applications. Num Pages: 525 pages, 70 black & white illustrations, biography. BIC Classification: KFF; PBT; UFM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 525
- Condition
- New
- SKU
- V9783540675457
- ISBN
- 9783540675457
Paperback
Condition: New
€ 124.87
€ 124.87
hardcover. Editor(s): Schutte, Reinhard; Rotthowe, T; Holten, R. Series: Principles and Practice. Num Pages: 356 pages, black & white illustrations, bibliography. BIC Classification: KJM; UB; UF. Category: (P) Professional & Vocational; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 676.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2001st Edition
- Number of pages
- 356
- Condition
- New
- SKU
- V9783540675617
- ISBN
- 9783540675617
Hardback
Condition: New
€ 139.69
€ 139.69
hardcover. Num Pages: 160 pages, black & white illustrations. BIC Classification: UDH; UF; UYD. Category: (G) General (US: Trade). Dimension: 234 x 156 x 11. Weight in Grams: 405.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2009th Edition
- Number of pages
- 160
- Condition
- New
- SKU
- V9783540682233
- ISBN
- 9783540682233
Hardback
Condition: New
€ 69.58
€ 69.58
Paperback / so. Num Pages: black & white illustrations, black & white tables, figures, bibliography. BIC Classification: KJMV5; KJS; KJT; UF. Category: (G) General (US: Trade). Dimension: 234 x 156 x 14. Weight in Grams: 381.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer United States
- Condition
- New
- SKU
- V9783540688433
- ISBN
- 9783540688433
Paperback
Condition: New
€ 50.83
€ 50.83
Hardback. This book introduces all the mathematical tools necessary for solving complex problems in the field of mechanics. It also contains various applications of mathematical and numerical methods for modeling comprehensive mechanical-technical practical problems. Num Pages: 640 pages, 218 black & white illustrations, 17 black & white tables, biography. BIC Classification: PBW; PHD; UFM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 34. Weight in Grams: 1024.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 640
- Condition
- New
- SKU
- V9783540692782
- ISBN
- 9783540692782
Hardback
Condition: New
€ 190.35
€ 190.35
Hardback. Explores the numerical implementation of Finite Element Analysis using the computer program MATLAB. This book contains a tutorial on MATLAB as well as a systematic strategy for the treatment of finite element methods. It provides various examples and exercises from mechanical, civil and aerospace engineering, as well as from materials science. Num Pages: 441 pages, 44 black & white tables, biography. BIC Classification: PBM; UFM; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 165 x 31. Weight in Grams: 780.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2007
- Number of pages
- 441
- Condition
- New
- SKU
- V9783540706977
- ISBN
- 9783540706977
Hardback
Condition: New
€ 194.05
€ 194.05
hardcover. Mit Beitragen zu IT, Branding, Webdesign und Recht" Editor(s): Stoyan, Robert. Num Pages: 391 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: KJMV3; UBW; UF. Category: (G) General (US: Trade). Dimension: 234 x 156 x 24. Weight in Grams: 744.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer Germany
- Edition
- 2., überarb. Aufl. 2007
- Number of pages
- 391
- Condition
- New
- SKU
- V9783540711940
- ISBN
- 9783540711940
Hardback
Condition: New
€ 76.91
€ 76.91
Hardback. Num Pages: 217 pages, black & white illustrations, bibliography. BIC Classification: KJC; KJMV3; UF. Category: (G) General (US: Trade). Dimension: 236 x 160 x 18. Weight in Grams: 476.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer United States
- Number of pages
- 217
- Condition
- New
- SKU
- V9783540719342
- ISBN
- 9783540719342
Hardback
Condition: New
€ 73.25
€ 73.25
Hardback. Num Pages: black & white illustrations, black & white tables, figures, bibliography. BIC Classification: UF; UMX; UMZ. Category: (G) General (US: Trade). Dimension: 239 x 160 x 15. Weight in Grams: 476.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540728696
- ISBN
- 9783540728696
Hardback
Condition: New
€ 53.80
€ 53.80