Computing
Results 4681 - 4700 of 11256
Computing
Hardback. Today distributed systems are increasingly present, for public software applications as well as critical systems, software applications as well as critical systems. Models and Analysis for Distributed Systems explores the state of the art of the formal methods for the analysis of distributed systems. Editor(s): Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. Num Pages: 356 pages, Illustrations. BIC Classification: UYD. Category: (G) General (US: Trade). Dimension: 235 x 168 x 25. Weight in Grams: 666.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 368
- Condition
- New
- SKU
- V9781848213142
- ISBN
- 9781848213142
Hardback
Condition: New
€ 177.55
€ 177.55
Paperback. Molecular modeling is the application of mathematical models to molecules in order to study their structure. The majority of molecular modeling is now performed using computer programs and is a valuable tool for chemists, materials scientist, biochemists and chemical physicists. Series: Wiley Series in Theoretical Chemistry. Num Pages: 354 pages, Ill. BIC Classification: PBWH; PHM; PNRP; PSD; UGK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 229 x 154 x 20. Weight in Grams: 538.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 2nd Edition
- Number of pages
- 354
- Condition
- New
- SKU
- V9780471489931
- ISBN
- 9780471489931
Paperback
Condition: New
€ 131.15
€ 131.15
Hardback. Designed as a course companion, self teaching guide and handbook for basic concepts, these lectures introduce methods, with examples and code computed with open source software, mainly R. Archaeological data is on the book s website, and the book enables readers to construct models by themselves and be sensitive for certain problems. Num Pages: 274 pages, 107 black & white illustrations, 12 colour illustrations, 1 black & white tables, 11 colo. BIC Classification: JHBC; UGK. Category: (G) General (US: Trade). Dimension: 245 x 164 x 21. Weight in Grams: 594.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319295367
- ISBN
- 9783319295367
Hardback
Condition: New
€ 114.20
€ 114.20
Paperback. Constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011. This title features the papers that are organized in topical sections on model execution, model analysis, methodology, model management, model transformation, and variability analysis and ADLs. Editor(s): France, Robert B.; Kuester, Jochen M.; Bordbar, Behzad; Paige, Richard F. (University of York). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 396 pages, 147 black & white illustrations, 65 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 396
- Condition
- New
- SKU
- V9783642214691
- ISBN
- 9783642214691
Paperback
Condition: New
€ 68.03
€ 68.03
Paperback. Constitutes the proceedings of the 6th European Conference on Modelling Foundations and Applications, held in Paris, France, in June 2010. Editor(s): Kuhne, Thomas; Selic, Bran V.; Gervais, Marie-Pierre; Terrier, Francois. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 364 pages, 150 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 364
- Condition
- New
- SKU
- V9783642135941
- ISBN
- 9783642135941
Paperback
Condition: New
€ 67.80
€ 67.80
Hardcover. This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 154 pages, 7 black & white tables, biography. BIC Classification: UYF. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 415.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 154
- Format
- Hardback
- Publication date
- 2007
- Edition
- 2007th Edition
- Condition
- New
- SKU
- V9783540739371
- ISBN
- 9783540739371
Hardback
Condition: New
€ 59.41€ 22.84
€ 59.41
€ 22.84
Paperback. .
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 518
- Format
- Paperback
- Publication date
- 2013
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9781848003217
- ISBN
- 9781848003217
Paperback
Condition: New
€ 83.02
€ 83.02
Hardcover. Part of the "Advances in Learning and Instruction" series, this work describes and explains how we develop an understanding of the physical world around us. Focusing on the discipline of physics, it includes a discussion on computer models which claim to answer questions and accumulate understanding in a similar way to human beings. Editor(s): Kayser, D.; Vosniadou, Stella. Series: Advances in Learning and Instruction. Num Pages: 312 pages, Illustrations. BIC Classification: JMRN; UGK. Category: (P) Professional & Vocational. Dimension: 247 x 171 x 17. Weight in Grams: 732.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Emerald Group Publishing Limited United Kingdom
- Number of pages
- 312
- Condition
- New
- SKU
- V9780080434544
- ISBN
- 9780080434544
Hardback
Condition: New
€ 138.39
€ 138.39
Modelling Autonomic Communication Environments: 5th IEEE International...
. Ed(S): Brennan, Rob; Fleck, Joel, Ii; Meer,...
paperback. Editor(s): Brennan, Rob; Fleck, Joel, II; Meer, Sven van der. Series: Lecture Notes in Computer Science. Num Pages: 125 pages, 46 black & white illustrations, biography. BIC Classification: UKR; UMB; UMX; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 10. Weight in Grams: 218.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 125
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642168352
- ISBN
- 9783642168352
Paperback
Condition: New
€ 65.66
€ 65.66
Paperback. Editor(s): Heisig, Peter; Clarkson, P. John; Vajna, Sandor. Num Pages: 225 pages, biography. BIC Classification: KJ; TBC; TBD; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 225
- Condition
- New
- SKU
- V9781447157175
- ISBN
- 9781447157175
Paperback
Condition: New
€ 185.46
€ 185.46
Paperback / so. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: KC; KJM; UN. Category: (G) General (US: Trade). Dimension: 210 x 148 x 12. Weight in Grams: 277.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Deutscher Universit?tsverlag United Kingdom
- Condition
- New
- SKU
- V9783824473335
- ISBN
- 9783824473335
Paperback
Condition: New
€ 69.52
€ 69.52
Paperback / so. Num Pages: 296 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: THR; TJFM1; UB; UF; UYD; UYQE. Category: (G) General (US: Trade). Dimension: 244 x 170 x 16. Weight in Grams: 549.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Spektrum Akademischer Verlag United States
- Number of pages
- 296
- Condition
- New
- SKU
- V9783827416902
- ISBN
- 9783827416902
Paperback
Condition: New
€ 54.59
€ 54.59
Paperback / so. Series: Wirtschaftsinformatik. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: KFCM; UY. Category: (G) General (US: Trade). Dimension: 216 x 140 x 16. Weight in Grams: 345.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Deutscher Universitatsverlag United States
- Condition
- New
- SKU
- V9783824421770
- ISBN
- 9783824421770
Paperback
Condition: New
€ 92.01
€ 92.01
perfect. Series: Wirtschaftswissenschaftliche Beitrage. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: KJMV3; UF. Category: (G) General (US: Trade). Dimension: 244 x 170 x 17. Weight in Grams: 517.
- Publication date
- 1992
- Publisher
- Physica-Verlag GmbH & Co Germany
- Edition
- 1992nd Edition
- Condition
- New
- SKU
- V9783790806335
- ISBN
- 9783790806335
Paperback
Condition: New
€ 70.66
€ 70.66
Modeling, Verification and Exploration of Task-level Concurrency in Re...
Thoen, Filip; Catthoor, Francky
Hardback. The combination of VLSI process technology and real-time digital signal processing (DSP) has brought a break-through in information technology. This book deals with the modeling, timing verification and analysis, and the automatic synthesis of integrated real-time DSP systems. Num Pages: 438 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 25. Weight in Grams: 1800.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 438
- Condition
- New
- SKU
- V9780792377375
- ISBN
- 9780792377375
Hardback
Condition: New
€ 195.97
€ 195.97
Hardback. Presents a collection of contributions from leading international researchers in the fields of dynamic systems, control theory, and modeling. This work features papers that include research topics such as: modeling of complex systems, power control in ad hoc wireless networks, adaptive control using multiple models, discrete events, and more. Editor(s): Gong, Weibo; Shi, Leyuan. Series: The International Series on Discrete Event Dynamic Systems. Num Pages: 304 pages, biography. BIC Classification: GPFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 1390.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 304
- Condition
- New
- SKU
- V9781402072086
- ISBN
- 9781402072086
Hardback
Condition: New
€ 129.33
€ 129.33
Hardback. Num Pages: 281 pages, 172 black & white illustrations, 3 colour illustrations, biography. BIC Classification: KJQ; UMX; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 608.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319339320
- ISBN
- 9783319339320
Hardback
Condition: New
€ 98.25
€ 98.25
Hardback. Explains how to execute computationally intensive analysis on very large data sets. This book shows readers how to determine some of the best methods for solving a variety of different problems, how to create and debug statistical models, and how to run an analysis and evaluate the results. Num Pages: 472 pages, 35 line illus. 16 tables. BIC Classification: GPH; UFM; UMT; UNA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 267 x 186 x 31. Weight in Grams: 1138.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Princeton University Press United States
- Number of pages
- 472
- Condition
- New
- SKU
- V9780691133140
- ISBN
- 9780691133140
Hardback
Condition: New
€ 109.33€ 82.87
€ 109.33
€ 82.87
Hardcover. Despite its haphazard growth, the Web hides powerful underlying regularities -- from the organization of its links to the patterns found in its use by millions of users. Probabilistic modelling allows many of these regularities to be predicted on the basis of theoretical models based on statistical methodology. Num Pages: 306 pages, Illustrations. BIC Classification: PBWH; UDB. Category: (P) Professional & Vocational. Dimension: 239 x 163 x 16. Weight in Grams: 588.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 306
- Condition
- New
- SKU
- V9780470849064
- ISBN
- 9780470849064
Hardback
Condition: New
€ 111.45
€ 111.45
Paperback. Structured finance and securitization deals are becoming more commonplace on Wall Street. Up until now, however, market participants have had to create their own models to analyze these deals, and new entrants have had to learn as they go. Series: Wiley Finance Series. Num Pages: 224 pages, Illustrations. BIC Classification: KJMV1; UFCE. Category: (P) Professional & Vocational. Dimension: 234 x 189 x 12. Weight in Grams: 416.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- John Wiley & Sons Inc United Kingdom
- Number of pages
- 224
- Condition
- New
- SKU
- V9780470042908
- ISBN
- 9780470042908
Paperback
Condition: New
€ 86.75€ 72.52
€ 86.75
€ 72.52