Computer science
Results 2101 - 2120 of 3256
Computer science
Hardback. The advent of Open Object-based Distributed Systems (OODS) brings challenges and opportunities for the use and development of formal methods. This book presents the research in several related fields, and the exchange of ideas and experiences in a number of topics. Editor(s): Najm, E.; Stefani, Jean-Bernard. Series: IFIP Advances in Information and Communication Technology. Num Pages: 422 pages, biography. BIC Classification: UT; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 774.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 422
- Condition
- New
- SKU
- V9780412797705
- ISBN
- 9780412797705
Hardback
Condition: New
€ 259.84
€ 259.84
Hardback. Addresses Formal Methods (FMs) applicable to the specification, verification, implementation, and testing of complex distributed systems and communication protocols. This book covers the topics: model checking theory and applications; verification and theorem proving; testing theory and applications; and multicast protocol analysis and simulation. Editor(s): Bolognesi, Tommaso; Latella, Diego. Series: IFIP Advances in Information and Communication Technology. Num Pages: 423 pages, biography. BIC Classification: UY. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 1710.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 423
- Condition
- New
- SKU
- V9780792379683
- ISBN
- 9780792379683
Hardback
Condition: New
€ 257.67
€ 257.67
Hardback. Num Pages: 246 pages, black & white illustrations. BIC Classification: UM; UYF. Category: (P) Professional & Vocational. Dimension: 240 x 158 x 20. Weight in Grams: 572.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 246
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781848217881
- ISBN
- 9781848217881
Hardback
Condition: New
€ 178.06
€ 178.06
Hardback. Series: ISTE. Num Pages: 338 pages, black & white illustrations. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 241 x 158 x 24. Weight in Grams: 644.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 338
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781848216150
- ISBN
- 9781848216150
Hardback
Condition: New
€ 178.06
€ 178.06
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
€ 271.23
€ 271.23
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
€ 132.10
€ 132.10
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
€ 198.88
€ 198.88
Hardcover. Editor(s): Islam, Rafiq. Num Pages: 300 pages, Illustrations. BIC Classification: KJQ; UY. Category: (G) General (US: Trade). Dimension: 259 x 187 x 22. Weight in Grams: 752.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 300
- Condition
- New
- SKU
- V9781612099798
- ISBN
- 9781612099798
Hardback
Condition: New
€ 239.59€ 162.79
€ 239.59
€ 162.79
Hardcover. Editor(s): Li, Lei. Num Pages: 213 pages, tables & charts. BIC Classification: PSAN; UYQN. Category: (P) Professional & Vocational. Dimension: 262 x 185 x 21. Weight in Grams: 672.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 213
- Condition
- New
- SKU
- V9781590339152
- ISBN
- 9781590339152
Hardback
Condition: New
€ 136.23€ 103.00
€ 136.23
€ 103.00
Paperback. Constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, that was held in Limerick, Ireland. Editor(s): Butler, Michael; Schulte, Wolfram. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 450 pages, 83 black & white illustrations, 27 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642214363
- ISBN
- 9783642214363
Paperback
Condition: New
€ 72.26
€ 72.26
Hardback. Num Pages: 275 pages, 22 black & white illustrations. BIC Classification: UGK; UYM. Category: (G) General (US: Trade). Dimension: 162 x 236 x 23. Weight in Grams: 558.
- Publisher
- Apple Academic Press Inc.
- Format
- Hardback
- Publication date
- 2015
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9781482232837
- ISBN
- 9781482232837
Hardback
Condition: New
€ 102.54
€ 102.54
Paperback. Puts theory into practice with ready-made answers to common Flash development questions. This practical toolkit is the useful resource for Flash developers, as well as designers who are ready to start doing development work. It offers 280 recipes that include an explanation of how and why the solution works. Num Pages: 536 pages, 1, black & white illustrations. BIC Classification: UG; UYT. Category: (P) Professional & Vocational. Dimension: 233 x 178 x 27. Weight in Grams: 845.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- O'Reilly Media, Inc, USA United States
- Edition
- 1st Edition
- Number of pages
- 536
- Condition
- New
- SKU
- V9780596102401
- ISBN
- 9780596102401
Paperback
Condition: New
€ 47.99€ 46.04
€ 47.99
€ 46.04
Paperback. .
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319556260
- ISBN
- 9783319556260
Paperback
Condition: New
€ 77.34
€ 77.34
Paperback. Constitutes the refereed proceedings of the 8th International Workshop on the Finite-State-Methods and Natural Language Processing, FSMNLP 2009. The workshop was held at the University of Pretoria, South Africa on July 2009. Series: Lecture Notes in Computer Science. Num Pages: 147 pages, 44 black & white illustrations, biography. BIC Classification: UMB; UMX; UND; UYQL. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 10. Weight in Grams: 249.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 147
- Condition
- New
- SKU
- V9783642146831
- ISBN
- 9783642146831
Paperback
Condition: New
€ 69.15
€ 69.15
Hardback. This book covers theoretical and computational aspects of non-linear shells. Several advanced topics of shell equations and finite elements - not included in standard textbooks on finite elements - are addressed, and the book includes an extensive bibliography. Series: Lecture Notes on Numerical Methods in Engineering and Sciences. Num Pages: 497 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 975.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 497
- Condition
- New
- SKU
- V9789048187607
- ISBN
- 9789048187607
Hardback
Condition: New
€ 205.80
€ 205.80
hardcover. Here is a comprehensive, systematic study of finite frame theory and applications. Coverage includes frame constructions, group frames, fusion frames, pseudo-frames, frames and algebraic geometry, and robustness against erasures. Editor(s): Casazza, Peter G.; Kutyniok, Gitta. Series: Applied and Numerical Harmonic Analysis. Num Pages: 501 pages, 15 black & white illustrations, 20 colour illustrations, biography. BIC Classification: PBKF; PBW; UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 913.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Birkhäuser United States
- Edition
- 2013th Edition
- Number of pages
- 501
- Condition
- New
- SKU
- V9780817683726
- ISBN
- 9780817683726
Hardback
Condition: New
€ 230.31
€ 230.31
Hardback. Covers two-dimensional analysis, emphasizing the use of finite elements to perform the common calculations required of machine designers and analysts. This book explains what is inside a finite element program, and how the finite element method can be used to determine the behavior of electrical machines. Series: Power Electronics and Power Systems. Num Pages: 258 pages, biography. BIC Classification: TH; TJF; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 15. Weight in Grams: 548.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 258
- Condition
- New
- SKU
- V9780792395942
- ISBN
- 9780792395942
Hardback
Condition: New
€ 200.77
€ 200.77
Hardcover. The modern financial industry has been required to deal with large and diverse portfolios in a variety of asset classes often with limited market data available. Editor(s): Akansu, Ali N.; Kulkarni, Sanjeev R.; Malioutov, Dmitry M.; Pollak, Ilya. Series: Wiley - IEEE. Num Pages: 320 pages, illustrations. BIC Classification: TJK; UYQM; UYS. Category: (P) Professional & Vocational. Dimension: 178 x 251 x 19. Weight in Grams: 626.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 320
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781118745670
- ISBN
- 9781118745670
Hardback
Condition: New
€ 113.86
€ 113.86
Hardcover. This book is a valuable companion for everyone who is interested in the historical context of the co-evolution of financial markets and information technologies in the last 30 years. The contributors analyze system architectures and solution technologies in banking and finance by focusing on the particularities of certain practices and risks. Editor(s): Kyrtsis, Alexandros-Andreas. Series: Palgrave Macmillan Studies in Banking and Financial Institutions. Num Pages: 263 pages, biography. BIC Classification: KFFH; KFFK; UY. Category: (P) Professional & Vocational. Dimension: 216 x 140 x 15. Weight in Grams: 430.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Palgrave Macmillan
- Number of pages
- 264
- Condition
- New
- SKU
- V9780230234055
- ISBN
- 9780230234055
Hardback
Condition: New
€ 127.78
€ 127.78
Hardback. Focuses on filtering for linear processes and provides structural study of powerful tools such as Riccati equations, linear matrix inequalities, and quadratic matrix inequalities. This book is suitable for practicing engineers, graduate students, and researchers in filtering, signal processing, and control. Series: Systems & Control: Foundations and Applications. Num Pages: 737 pages, biography. BIC Classification: PBW; TJFC; TJFM; TJK; UGC; UYS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 39. Weight in Grams: 2660.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 737
- Condition
- New
- SKU
- V9780817643010
- ISBN
- 9780817643010
Hardback
Condition: New
€ 207.65
€ 207.65