Computer programming / software development
Results 1341 - 1360 of 1982
Computer programming / software development
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 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
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
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. 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
€ 67.49
€ 67.49
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
€ 222.80
€ 222.80
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.72€ 26.65
€ 70.72
€ 26.65
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
€ 131.97
€ 131.97
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
€ 179.01
€ 179.01
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.86
€ 178.86
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. Editor(s): Barthe, Gilles; Datta, Anupam; Etalle, Sandro. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 279 pages, 51 black & white illustrations, biography. BIC Classification: UMZ; UR. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642294198
- ISBN
- 9783642294198
Paperback
Condition: New
€ 81.33
€ 81.33
Paperback. "Forbidden Lego" deals with computers/software. Num Pages: 192 pages, illustrations. BIC Classification: UMX. Category: (G) General (US: Trade). Dimension: 253 x 215 x 15. Weight in Grams: 718. Build the Models Your Parents Warned You Against!. 186 pages, illustrations. "Forbidden Lego" deals with computers/software. Cateogry: (G) General (US: Trade). BIC Classification: UMX. Dimension: 253 x 215 x 15. Weight: 706.
- Publisher
- No Starch Press
- Number of pages
- 186
- Format
- Paperback
- Publication date
- 2007
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781593271374
- ISBN
- 9781593271374
Paperback
Condition: New
€ 32.99€ 23.49
€ 32.99
€ 23.49
Paperback. The era of ASCII characters on green screens is long gone. Industry leaders such as Apple, HP, IBM, Microsoft, and Oracle have adopted the Unicode Worldwide Character Standard. This book explains information on fonts and typography that software and web developers need to know to get typography and fonts to work properly. Translator(s): Horne, P.Scott. Num Pages: 1016 pages, Illustrations. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 178 x 232 x 51. Weight in Grams: 1654.
- Publisher
- O'Reilly Media, Inc, USA United States
- Number of pages
- 1016
- Format
- Paperback
- Publication date
- 2007
- Condition
- New
- SKU
- V9780596102425
- ISBN
- 9780596102425
Paperback
Condition: New
€ 60.29
€ 60.29
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
€ 68.83
€ 68.83
Mixed media product. .
- Publisher
- Taylor & Francis Inc
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781498719926
- ISBN
- 9781498719926
Paperback
Condition: New
€ 82.55
€ 82.55
Paperback. Num Pages: 72 pages, tables & charts. BIC Classification: UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 6. Weight in Grams: 208.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 72
- Condition
- New
- SKU
- V9781606922613
- ISBN
- 9781606922613
Paperback
Condition: New
€ 62.47€ 44.90
€ 62.47
€ 44.90
Paperback. Revised and updated from the previous edition covering Flex 3, this book is chock-full of examples and goes beyond feature coverage to help readers put Flex to work in real day-to-day tasks. Readers can build on the foundation provided here as the complexity of their projects increases. Num Pages: 640 pages, Illustrations. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 232 x 187 x 33. Weight in Grams: 1066.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Manning Publications United States
- Number of pages
- 640
- Condition
- New
- SKU
- V9781935182429
- ISBN
- 9781935182429
Paperback
Condition: New
€ 63.07
€ 63.07
paperback. Chock full of examples, this easy-to-follow, hands-on tutorial goes beyond feature coverage and helps readers put Flex to work in real day-to-day tasks. Num Pages: 600 pages, black & white illustrations, black & white line drawings, black & white tables, figures. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 236 x 188 x 28. Weight in Grams: 972.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Manning Publications United States
- Edition
- First Edition
- Number of pages
- 600
- Condition
- New
- SKU
- V9781933988740
- ISBN
- 9781933988740
Paperback
Condition: New
€ 62.19
€ 62.19
Paperback. Explains how to use flex and bison to solve your problems quickly - whether you're interpreting code, configuration files, or any other structured format. This book covers the same core functionality vital to Linux and Unix program development, along with several important topics. Num Pages: 271 pages, Illustrations. BIC Classification: UMX. Category: (XV) Technical / Manuals. Dimension: 233 x 172 x 16. Weight in Grams: 410.
- Publisher
- O'Reilly Media
- Number of pages
- 271
- Format
- Paperback
- Publication date
- 2009
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780596155971
- ISBN
- 9780596155971
Paperback
Condition: New
€ 32.99€ 23.69
€ 32.99
€ 23.69
Paperback. Pack pizzazz into your Web sites with Flash! Start with simple animation, or create whole pages in Flash The newest version of Flash offers all sorts of cool options for designing Web sites that stand out from the crowd, and this handy guide makes it easy. Num Pages: 408 pages, black & white illustrations. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 189 x 234 x 22. Weight in Grams: 774.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 408
- Condition
- New
- SKU
- V9780470121009
- ISBN
- 9780470121009
Paperback
Condition: New
€ 33.99€ 26.68
€ 33.99
€ 26.68