Computing
Results 2301 - 2320 of 6762
Computing
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
€ 174.94
€ 174.94
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
€ 174.90
€ 174.90
Formal Methods and Software Engineering: 12th International Conference...
. Ed(S): Dong, Jin Song; Zhu, Huibiao
paperback. Editor(s): Dong, Jin Song; Zhu, Huibiao. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 712 pages, 202 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1016.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 712
- Condition
- New
- SKU
- V9783642169007
- ISBN
- 9783642169007
Paperback
Condition: New
€ 128.13
€ 128.13
Paperback. .
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319478456
- ISBN
- 9783319478456
Paperback
Condition: New
€ 70.55€ 26.65
€ 70.55
€ 26.65
Formal Methods Applied to Complex Systems: Implementation of the B Met...
Jean-Louis Boulanger (Ed.)
Hardback. Editor(s): Boulanger, Jean-Louis. Num Pages: 496 pages, illustrations (black and white). BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 32. Weight in Grams: 884.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 496
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781848217096
- ISBN
- 9781848217096
Hardback
Condition: New
€ 219.73
€ 219.73
Paperback. All modern industries rely on large and complex software systems. This survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009. Editor(s): Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University); Hallerstede, Stefan; Leuschel, Michael. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 339 pages, 56 black & white illustrations, 55 colour illustrations, biography. BIC Classification: UL; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 499.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 339
- Condition
- New
- SKU
- V9783642170706
- ISBN
- 9783642170706
Paperback
Condition: New
€ 65.58
€ 65.58
Paperback. This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. It contains 20 revised contributions submitted after the symposium by the speakers. Editor(s): Aichernig, Bernhard K.; Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 393 pages, 145 black & white illustrations, biography. BIC Classification: UL; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 393
- Condition
- New
- SKU
- V9783642252709
- ISBN
- 9783642252709
Paperback
Condition: New
€ 66.33
€ 66.33
Paperback. Constitutes the proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2010 held in Antwerp, Belgium, in September 2010 - co-located with ASE 2010, the 25th IEEE/ACM International Conference on Automated Software Engineering. Editor(s): Kowalewski, Stefan; Roveri, Marco. Series: Lecture Notes in Computer Science. Num Pages: 231 pages, 82 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 231
- Condition
- New
- SKU
- V9783642158971
- ISBN
- 9783642158971
Paperback
Condition: New
€ 64.86
€ 64.86
Formal Modeling and Analysis of Timed Systems: 8th International Confe...
. Ed(S): Chatterjee, Krishnendu; Henzinger, T...
paperback. Constitutes the proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010, held in Klosterneuburg, Austria in September 2010. This title includes 14 papers that were presented are carefully reviewed and selected from 31 submissions. It contains three invited talks and two invited tutorials. Editor(s): Chatterjee, Krishnendu; Henzinger, Thomas A. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 257 pages, 55 black & white illustrations, biography. BIC Classification: GPFC; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 257
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642152962
- ISBN
- 9783642152962
Paperback
Condition: New
€ 65.01
€ 65.01
Hardcover. .
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783662504161
- ISBN
- 9783662504161
Hardback
Condition: New
€ 59.56
€ 59.56
Paperback. Constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2010, and the 30th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2010, held in Amsterdam, The Netherlands, in June 2010. Editor(s): Hatcliff, John; Zucca, Elena. Series: Lecture Notes in Computer Science. Num Pages: 233 pages, 40 black & white illustrations, biography. BIC Classification: UTR. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 233
- Condition
- New
- SKU
- V9783642134630
- ISBN
- 9783642134630
Paperback
Condition: New
€ 64.86
€ 64.86
Paperback. Constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. Editor(s): Bruni, Roberto; Dingel, Juergen. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 349 pages, 40 black & white illustrations, 16 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 349
- Condition
- New
- SKU
- V9783642214608
- ISBN
- 9783642214608
Paperback
Condition: New
€ 65.88
€ 65.88
Paperback. Editor(s): Beckert, Bernhard; Marche, Claude. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 199 pages, 44 black & white illustrations, 1 colour illustrations, biography. BIC Classification: UMN; UMZT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 199
- Condition
- New
- SKU
- V9783642180699
- ISBN
- 9783642180699
Paperback
Condition: New
€ 64.43
€ 64.43
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
€ 125.02
€ 125.02
Paperback. Explains how to design forms for the web. This work helps readers learn how to define requirements, how to write questions that users will understand and want to answer, and how to deal with instructions, progress indicators and errors. It includes examples - from nitty-gritty details (mandatory fields) to visual designs (creating good grids). Series: Interactive Technologies. Num Pages: 288 pages, Approx. 230 illustrations (250 in full color). BIC Classification: UGB; UYZG. Category: (P) Professional & Vocational. Dimension: 233 x 191 x 13. Weight in Grams: 480.
- Publisher
- Elsevier Science & Technology United States
- Number of pages
- 288
- Format
- Paperback
- Publication date
- 2008
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781558607101
- ISBN
- 9781558607101
Paperback
Condition: New
€ 68.20
€ 68.20
Paperback. Five-step problem solving process. A five-step methodology for solving problems is used throughout the text. Each step is clearly identified to help students focus on the process of breaking a problem into smaller components and then addressing the smaller components throughout the text. The five steps are: State the problem clearly. Num Pages: 288 pages, black & white illustrations. BIC Classification: TJ; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 279 x 211 x 17. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 288
- Condition
- New
- SKU
- V9780471364269
- ISBN
- 9780471364269
Paperback
Condition: New
€ 109.55
€ 109.55
Paperback. A course book on successfully shooting landscapes. Part of a series of tutorials that explain the basic skills and techniques of photography in relation to a specific subject area, it includes structured lessons and projects to help track progress. It is divided into six main sections: Basics, Lessons, Revision, Project, Analysis and Progress. Series: Foundation Course. Num Pages: 176 pages, full colour throughout, includes 200 photographs. BIC Classification: AJG; UDP. Category: (G) General (US: Trade). Dimension: 212 x 235 x 10. Weight in Grams: 608.
- Publisher
- GMC Publications
- Format
- Paperback
- Publication date
- 2015
- Condition
- New
- SKU
- V9781781450888
- ISBN
- 9781781450888
Paperback
Condition: New
€ 21.99€ 16.45
€ 21.99
€ 16.45
Paperback. A complete entry level mathematics book based on the phenomenally successful approach of the bestselling Engineering Mathematics by the same authors. This book is designed to help students embarking on a wide range of higer education courses to improve their mathematics to the required standard. Num Pages: 752 pages, 2 graphs, 56 figures. BIC Classification: KJQ; PB; UYAM. Category: (UA) A / AS level; (UU) Undergraduate. Dimension: 246 x 191 x 41. Weight in Grams: 1456.
- Publisher
- Bloomsbury Publishing PLC
- Number of pages
- 752
- Format
- Paperback
- Publication date
- 2009
- Edition
- 2009th Edition
- Condition
- New
- SKU
- V9780230579071
- ISBN
- 9780230579071
Paperback
Condition: New
€ 70.55€ 64.06
€ 70.55
€ 64.06
Foundational and Practical Aspects of Resource Analysis: First Interna...
. Ed(S): Eekelen, Marko Van; Shkaravska, Olha
paperback. Constitutes the refereed proceedings of the First International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, held at the 16th International Symposium on Formal Methods, FM 2009, in Eindhoven, The Netherlands, in November 2009. Editor(s): Eekelen, Marko van; Shkaravska, Olha. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 170 pages, 35 black & white illustrations, biography. BIC Classification: UKN; UMB; UMG; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 10. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 170
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642153303
- ISBN
- 9783642153303
Paperback
Condition: New
€ 64.15
€ 64.15
Paperback. This practical guide shows ambitious non-programmers how to automate and scale data processing and analysis of different data formats with Python, using business-relevant examples with complete, easy-to-read code. Num Pages: 300 pages. BIC Classification: UMW. Category: (XV) Technical / Manuals. Dimension: 250 x 150 x 15. Weight in Grams: 666.
- Publisher
- O´Reilly Media
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781491922538
- ISBN
- 9781491922538
Paperback
Condition: New
€ 47.99€ 44.86
€ 47.99
€ 44.86