×


 x 

Shopping cart

Computer programming / software development

Results 1341 - 1360 of 1982

Computer programming / software development

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Subscribe to our newsletter

News on special offers, signed editions & more!