Computer programming / software development
Results 1321 - 1344 of 4079
Computer programming / software development
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
€ 66.76
€ 66.76
Hardback. Deals with the object orientated programming, open distributed systems and formal methods for object oriented systems. This book discusses areas such as: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object oriented methods. Editor(s): Bowman, Howard; Derrick, John. Series: IFIP Advances in Information and Communication Technology. Num Pages: 482 pages, biography. BIC Classification: UMN; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 26. Weight in Grams: 1890.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 482
- Condition
- New
- SKU
- V9780412820403
- ISBN
- 9780412820403
Hardback
Condition: New
€ 256.93
€ 256.93
Formal Methods for Safety and Security: Case Studies for Aerospace App...
. Ed(S): Nanda, Manju; Jeppu, Yogananda
hardcover. Editor(s): Nanda, Manju; Jeppu, Yogananda. Num Pages: 112 pages, 18 black & white illustrations, 24 colour illustrations, 24 colour tables, biography. BIC Classification: PBKQ; TGPR; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer Singapore
- Edition
- 1st ed. 2018
- Number of pages
- 112
- Condition
- New
- SKU
- V9789811041204
- ISBN
- 9789811041204
Hardback
Condition: New
€ 133.56
€ 133.56
Formal Methods: State of the Art and New Directions
. Ed(S): Boca, Paul P.; Bowen, Jonathan P.; S...
Paperback. Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material. Editor(s): Boca, Paul P.; Bowen, Jonathan P.; Siddiqi, Jawed I. Num Pages: 298 pages, 1 black & white tables, biography. BIC Classification: UMX; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 298
- Condition
- New
- SKU
- V9781447157458
- ISBN
- 9781447157458
Paperback
Condition: New
€ 122.39
€ 122.39
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
€ 66.90
€ 66.90
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Umamageswaran, Kothanda; L. Pandey, Sheetansh...
Paperback. Num Pages: 158 pages, biography. BIC Classification: PB; THR; UMX. Category: (G) General (US: Trade). Dimension: 235 x 155 x 9. Weight in Grams: 290.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 158
- Condition
- New
- SKU
- V9781461373315
- ISBN
- 9781461373315
Paperback
Condition: New
€ 120.52
€ 120.52
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Umamageswaran, Kothanda; Pandey, Sheetanshu L...
Hardback. Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provides a mathematical framework for representing VHDL constructs and shows how those constructs can be formally manipulated to reason about VHDL. Num Pages: 158 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 438.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 158
- Condition
- New
- SKU
- V9780792383758
- ISBN
- 9780792383758
Hardback
Condition: New
€ 125.82
€ 125.82
Paperback. Editor(s): Delgado Kloos, Carlos; Breuer, P.T. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 249 pages, biography. BIC Classification: THR; TJFC; UK; UMA. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 14. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 249
- Condition
- New
- SKU
- V9781461359418
- ISBN
- 9781461359418
Paperback
Condition: New
€ 122.21
€ 122.21
hardcover. It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. This book puts forward a cohesive set of semantics for the VHDL language. Editor(s): Delgado Kloos, Carlos; Breuer, Peter T. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 249 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 15. Weight in Grams: 1220.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Springer United States
- Edition
- 1995th Edition
- Number of pages
- 249
- Condition
- New
- SKU
- V9780792395522
- ISBN
- 9780792395522
Hardback
Condition: New
€ 127.18
€ 127.18
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.15€ 58.29
€ 59.15
€ 58.29
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
€ 66.32
€ 66.32
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
€ 111.07
€ 111.07
Paperback. Num Pages: 574 pages, 183 black & white illustrations, biography. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 243 x 191 x 31. Weight in Grams: 1004.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2 Rev ed
- Number of pages
- 574
- Condition
- New
- SKU
- V9781484205853
- ISBN
- 9781484205853
Paperback
Condition: New
€ 62.10
€ 62.10
Paperback. This is an update of Foundation ActionScript 3.0 for the new editions of Flash and Flex. In addition, this edition is version neutral so as to extend the shelf-life since Adobe has no plans at the moment for ActionScript 4.0. Num Pages: 608 pages, biography. BIC Classification: UML. Category: (P) Professional & Vocational. Dimension: 229 x 192 x 33. Weight in Grams: 1050.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- APress United States
- Edition
- 2009th Edition
- Number of pages
- 610
- Condition
- New
- SKU
- V9781430219187
- ISBN
- 9781430219187
Paperback
Condition: New
€ 41.99€ 38.78
€ 41.99
€ 38.78
Paperback. Flash CS4 includes a host of new graphical features, such as native 3D and enhanced video. This book describes how to manipulate those along with many other existing graphical effects using code. It focuses purely on graphical manipulation in Flash. Num Pages: 684 pages, biography. BIC Classification: UML. Category: (P) Professional & Vocational. Dimension: 228 x 192 x 37. Weight in Grams: 976.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- APress United States
- Edition
- 2009th Edition
- Number of pages
- 684
- Condition
- New
- SKU
- V9781430218715
- ISBN
- 9781430218715
Paperback
Condition: New
€ 41.99€ 39.72
€ 41.99
€ 39.72
Foundation Adobe Edge Animate: for HTML5, CSS3, and JavaScript Develop...
Green, Tom, Clawson, Michael
Paperback. Num Pages: 407 pages, biography. BIC Classification: UGN; UMW. Category: (G) General (US: Trade). Dimension: 254 x 178 x 20. Weight in Grams: 704. 368 pages, black & white illustrations. Cateogry: (G) General (US: Trade). BIC Classification: UGN; UMW. Dimension: 236 x 194 x 20. Weight: 704.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- friendsofED
- Edition
- 1st Edition
- Number of pages
- 368
- Condition
- New
- SKU
- V9781430243502
- ISBN
- 9781430243502
Paperback
Condition: New
€ 49.99
€ 49.99
Paperback. Num Pages: 328 pages, biography. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 17. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- APress United States
- Edition
- 1st Edition
- Number of pages
- 332
- Condition
- New
- SKU
- V9781430228080
- ISBN
- 9781430228080
Paperback
Condition: New
€ 41.99€ 35.42
€ 41.99
€ 35.42
Paperback. Silverlight is Microsoft's breakthrough technology for creating rich web experiences. Expression Blend is used for creating these applications. This book details everything needed to know to start developing Silverlight web applications in Blend. Num Pages: 368 pages, biography. BIC Classification: UMPN; UMW. Category: (P) Professional & Vocational. Dimension: 229 x 192 x 24. Weight in Grams: 622.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- friendsofED
- Edition
- 1st Edition
- Number of pages
- 368
- Condition
- New
- SKU
- V9781430219507
- ISBN
- 9781430219507
Paperback
Condition: New
€ 41.99€ 35.98
€ 41.99
€ 35.98
Paperback. Num Pages: 264 pages, biography. BIC Classification: UGN; UMW. Category: (P) Professional & Vocational. Dimension: 229 x 183 x 20. Weight in Grams: 548.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- APress United States
- Edition
- 1st Edition
- Number of pages
- 246
- Condition
- New
- SKU
- V9781430228622
- ISBN
- 9781430228622
Paperback
Condition: New
€ 41.99€ 34.71
€ 41.99
€ 34.71
Paperback. Foundation Flash CS5 For Designers provides both aspiring and experienced Flash designers with a solid grasp of the new features in Flash CS5. Readers will find real-world examples throughout, presented in an accessible, user-friendly tutorial style. Num Pages: 872 pages, biography. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 234 x 191 x 45. Weight in Grams: 1488.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- APress United States
- Edition
- 1st Edition
- Number of pages
- 868
- Condition
- New
- SKU
- V9781430229940
- ISBN
- 9781430229940
Paperback
Condition: New
€ 41.99€ 41.76
€ 41.99
€ 41.76
Paperback.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Apress
- Edition
- 1st ed.
- Condition
- New
- SKU
- V9781590598771
- ISBN
- 9781590598771
Paperback
Condition: New
€ 38.99€ 33.19
€ 38.99
€ 33.19
Paperback. Jacobs explores in detail how to create professional data-centric Flex 2 and Flex 3 applications. This work is for Flex developers who know the basics of building Flex UIs, and want to learn how to connect their applications to data sources. Num Pages: 600 pages, black & white illustrations, black & white tables, figures. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 228 x 193 x 29. Weight in Grams: 974.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- APress United States
- Edition
- 1st Edition
- Number of pages
- 545
- Condition
- New
- SKU
- V9781590598948
- ISBN
- 9781590598948
Paperback
Condition: New
€ 48.99€ 43.42
€ 48.99
€ 43.42
Paperback. "Learn the skills to design any conceivable 2D game using Flash and ActionScript." -- Cover. Num Pages: 698 pages, 1, black & white illustrations. BIC Classification: UMKL. Category: (G) General (US: Trade). Dimension: 234 x 190 x 36. Weight in Grams: 1190. 682 pages, black & white illustrations. Cateogry: (G) General (US: Trade). BIC Classification: UMKL. Dimension: 234 x 190 x 36. Weight: 1190.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- friendsofED
- Edition
- 2nd Edition
- Number of pages
- 682
- Condition
- New
- SKU
- V9781430239932
- ISBN
- 9781430239932
Paperback
Condition: New
€ 51.99€ 46.53
€ 51.99
€ 46.53