Business applications
Results 1261 - 1280 of 1372
Business applications
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
Theoretical Aspects of Computer Software: 4th International Symposium,...
. Ed(S): Kobayashi, Naoki; Pierce, Benjamin C...
paperback. This text constitutes the proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software, TACS 2001, presenting 21 revised papers, six invited papers and an open lecture. Topics addressed include: automata theory, control-flow analysis and program logic. Editor(s): Kobayashi, Naoki; Pierce, Benjamin C. Series: Lecture Notes in Computer Science. Num Pages: 576 pages, biography. BIC Classification: UF; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 30. Weight in Grams: 808.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer Germany
- Edition
- 2001st Edition
- Number of pages
- 576
- Condition
- New
- SKU
- V9783540427360
- ISBN
- 9783540427360
Paperback
Condition: New
€ 72.25
€ 72.25
Paperback. Editor(s): Matsui, Tomoko. Series: SpringerBriefs in Statistics. Num Pages: 115 pages, 11 black & white illustrations, 5 colour illustrations, 3 black & white tables, 5 colour. BIC Classification: PBT; PBWH; UFM. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Publisher
- Springer Verlag, Japan Japan
- Number of pages
- 115
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st ed. 2015
- Condition
- New
- SKU
- V9784431553359
- ISBN
- 9784431553359
Paperback
Condition: New
€ 75.25
€ 75.25
paperback. Intended for both researchers and practitioners, this book will be a valuable resource for studying and applying recent robust statistical methods. It contains up-to-date research results in the theory of robust statistics Treats computational aspects and algorithms and shows interesting and new applications. Editor(s): Hubert, Mia; Pison, Greet; Struyf, Anja; Van, Aelst Stefan. Series: Statistics for Industry and Technology. Num Pages: 411 pages, biography. BIC Classification: PBT; UFM; UY. Category: (G) General (US: Trade). Dimension: 254 x 178 x 21. Weight in Grams: 787.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Basel Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 411
- Condition
- New
- SKU
- V9783034896368
- ISBN
- 9783034896368
Paperback
Condition: New
€ 124.04
€ 124.04
Hardback. This introductory text walks readers from the fundamental mechanics of lift to the stage of being able to make practical calculations and predictions of the coefficient of lift for realistic wing profile and platform geometries. Series: Aerospace Series. Num Pages: 342 pages, Illustrations. BIC Classification: TRP; UFM. Category: (P) Professional & Vocational. Dimension: 249 x 173 x 21. Weight in Grams: 678.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 342
- Condition
- New
- SKU
- V9781119952282
- ISBN
- 9781119952282
Hardback
Condition: New
€ 105.22
€ 105.22
Paperback. If you have a TI-83 Plus graphing calculator, you have a veritable feast of features and functions at your fingertips, but chances are you don't take full advantage of them. This book helps you explore your TI-83 Plus Graphing Calculator. It also helps you to discover how your TI-83 Plus Graphing Calculator can solve various kinds of problems. Num Pages: 288 pages, Illustrations. BIC Classification: PB; UFM. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 232 x 158 x 17. Weight in Grams: 384.
- Publisher
- John Wiley & Sons Inc
- Number of pages
- 288
- Format
- Paperback
- Publication date
- 2003
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780764549700
- ISBN
- 9780764549700
Paperback
Condition: New
€ 20.99€ 18.34
€ 20.99
€ 18.34
Paperback. The updated guide to the newest graphing calculator from Texas Instruments The TI-Nspire graphing calculator is popular among high school and college students as a valuable tool for calculus, AP calculus, and college-level algebra courses. Its use is allowed on the major college entrance exams. Num Pages: 384 pages, Illustrations. BIC Classification: UFM. Category: (P) Professional & Vocational. Dimension: 233 x 189 x 21. Weight in Grams: 532.
- Publisher
- John Wiley & Sons Inc
- Number of pages
- 384
- Format
- Paperback
- Publication date
- 2011
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781118004661
- ISBN
- 9781118004661
Paperback
Condition: New
€ 25.99€ 21.24
€ 25.99
€ 21.24
Paperback. Time Is Money not only shows developers how to create a business case that they can present to a non-technical audience, but also helps executives understand the ROI of investing in faster web performance. Num Pages: 100 pages. BIC Classification: KJQ; UFP; UGB; UMW. Category: (P) Professional & Vocational. Dimension: 250 x 150 x 15. Weight in Grams: 666.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- O´Reilly Media
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781491928745
- ISBN
- 9781491928745
Paperback
Condition: New
€ 22.10
€ 22.10
Paperback. Series: SpringerBriefs in Statistics. Num Pages: 128 pages, 63 black & white illustrations, 14 colour illustrations, 8 black & white tables, biograph. BIC Classification: PBT; TRLN; UFM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 7. Weight in Grams: 236.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Verlag, Japan Japan
- Number of pages
- 128
- Condition
- New
- SKU
- V9784431553021
- ISBN
- 9784431553021
Paperback
Condition: New
€ 62.15
€ 62.15
Hardcover. Series: X.Media.Press. Num Pages: black & white illustrations, bibliography. BIC Classification: UB; UF; UG; UY. Category: (G) General (US: Trade). Dimension: 234 x 163 x 23. Weight in Grams: 739.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer
- Edition
- 2008th Edition
- Condition
- New
- SKU
- V9783540718697
- ISBN
- 9783540718697
Hardback
Condition: New
€ 86.69
€ 86.69
Paperback / so. Series: Xpert.Press. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: KCCD; KJE; UB; UDB; UFD; UGD; UNH. Category: (G) General (US: Trade). Dimension: 234 x 156 x 24. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer United States
- Condition
- New
- SKU
- V9783642625947
- ISBN
- 9783642625947
Paperback
Condition: New
€ 76.06
€ 76.06
Topics on Methodological and Applied Statistical Inference
. Ed(S): Di Battista, Tonio; Moreno, Elias; R...
Hardback. Editor(s): Di Battista, Tonio; Moreno, Elias; Racugno, Walter. Series: Studies in Theoretical and Applied Statistics. Num Pages: 230 pages, 18 black & white illustrations, 37 colour illustrations, biography. BIC Classification: JHBC; JHBD; PBT; UFM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 230
- Condition
- New
- SKU
- V9783319440927
- ISBN
- 9783319440927
Hardback
Condition: New
€ 185.56
€ 185.56
Paperback. Editor(s): Monteiro, Joao L.; Swatman, Paula M. C.; Tavares, L.Valadares. Series: IFIP Advances in Information and Communication Technology. Num Pages: 765 pages, biography. BIC Classification: UB; UF; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 279 x 210 x 39. Weight in Grams: 1861.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 765
- Condition
- New
- SKU
- V9781475768619
- ISBN
- 9781475768619
Paperback
Condition: New
€ 247.97
€ 247.97
Hardcover. Writing in the digital age has been as messy as the inky rags in Gutenberg's shop or the molten lead of a Linotype machine. Matthew Kirschenbaum examines how creative authorship came to coexist with the computer revolution. Who were the early adopters, and what made others anxious? Was word processing just a better typewriter, or something more? Num Pages: 340 pages. BIC Classification: TBX; U; UFD. Category: (G) General (US: Trade). Dimension: 235 x 156. .
- Publisher
- Belknap Press
- Format
- Hardback
- Publication date
- 2016
- Condition
- New
- SKU
- V9780674417076
- ISBN
- 9780674417076
Hardback
Condition: New
€ 33.99€ 28.80
€ 33.99
€ 28.80
Paperback. Contains case studies which illustrate the implementational, organizational and commercial consequences of using Lotus Notes. The case studies in this volume have been chosen for their international appeal, and focus on the benefits and value of Lotus Notes rather than technical aspects. Editor(s): Lloyd, Peter; Whitehead, Roger Gordon. Series: Computer Supported Cooperative Work. Num Pages: 198 pages, 18 black & white illustrations, biography. BIC Classification: KJ; UFC; UG; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 11. Weight in Grams: 310.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 198
- Condition
- New
- SKU
- V9783540199618
- ISBN
- 9783540199618
Paperback
Condition: New
€ 121.08
€ 121.08
Paperback. Editor(s): Marwan, Norbert; Giuliani, Alessandro. Series: Springer Proceedings in Mathematics and Statistics. Num Pages: 238 pages, 26 black & white illustrations, 67 colour illustrations, biography. BIC Classification: PBV; PDE; PHU; UFM; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 373.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 238
- Condition
- New
- SKU
- V9783319350059
- ISBN
- 9783319350059
Paperback
Condition: New
€ 121.28
€ 121.28
Hardback. Editor(s): Marwan, Norbert; Riley, Michael; Giuliani, Alessandro; Webber Jr., Charles L. Series: Springer Proceedings in Mathematics and Statistics. Num Pages: 238 pages, 26 black & white illustrations, 67 colour illustrations, biography. BIC Classification: PBV; PDE; PHU; UFM; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 526.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 238
- Condition
- New
- SKU
- V9783319095301
- ISBN
- 9783319095301
Hardback
Condition: New
€ 122.36
€ 122.36
Paperback. Num Pages: 328 pages, 1828 black & white illustrations, biography. BIC Classification: KJMV9; UFLS. Category: (G) General (US: Trade). Dimension: 235 x 191 x 18. Weight in Grams: 616.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Format
- Paperback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781430260257
- ISBN
- 9781430260257
Paperback
Condition: New
€ 64.89
€ 64.89
Hardcover. We are facing a future of unbounded complexity. Whether that complexity is harnessed to build a world that is safe, pleasant, humane and profitable, or whether it causes us to careen off a cliff into an abyss of mind-numbing junk is an open question. Num Pages: 252 pages, Illustrations. BIC Classification: KJM; UF. Category: (P) Professional & Vocational. Dimension: 260 x 187 x 23. Weight in Grams: 748.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 252
- Condition
- New
- SKU
- V9781118176078
- ISBN
- 9781118176078
Hardback
Condition: New
€ 35.99€ 28.56
€ 35.99
€ 28.56