Computer programming / software development
Results 3081 - 3100 of 8560
Computer programming / software development
Formal Techniques in Real-Time and Fault-Tolerant Systems
. Ed(S): Damm, Werner; Olderog, Ernst-Rudiger
Paperback. Compiled from the proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, the 25 papers are organized by topic, including synthesis and scheduling, timed automata, bounded model checking, verification and conformance testing and more. Editor(s): Damm, Werner; Olderog, Ernst-Rudiger. Series: Lecture Notes in Computer Science. Num Pages: 462 pages, biography. BIC Classification: TJF; UM; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 24. Weight in Grams: 657.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 462
- Condition
- New
- SKU
- V9783540441656
- ISBN
- 9783540441656
Paperback
Condition: New
€ 70.19
€ 70.19
Paperback. This volume contains papers from the 5th International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems. They address aspects of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications. Editor(s): Ravn, Anders P.; Rischel, Hans. Series: Lecture Notes in Computer Science. Num Pages: 356 pages, biography. BIC Classification: UMC; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 500.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 356
- Condition
- New
- SKU
- V9783540650034
- ISBN
- 9783540650034
Paperback
Condition: New
€ 68.40
€ 68.40
Paperback. Presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 - organised by COST Action IC0701. Editor(s): Beckert, Bernhard; Damiani, Ferruccio; Gurov, Dilian. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 261 pages, 34 black & white illustrations, biography. BIC Classification: UMX; UMZT; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 375.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 261
- Condition
- New
- SKU
- V9783642317613
- ISBN
- 9783642317613
Paperback
Condition: New
€ 58.70
€ 58.70
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
Paperback. Editor(s): Hogrefe, Dieter. Series: Informatik Aktuell. Num Pages: 228 pages, 22 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 13. Weight in Grams: 420.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 228
- Condition
- New
- SKU
- V9783540555681
- ISBN
- 9783540555681
Paperback
Condition: New
€ 90.56
€ 90.56
Paperback / so. Series: Duv: Datenverarbeitung. Num Pages: black & white illustrations, bibliography. BIC Classification: UM. Category: (G) General (US: Trade). Dimension: 234 x 156 x 16. Weight in Grams: 422.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Deutscher Universit?tsverlag United Kingdom
- Condition
- New
- SKU
- V9783824420315
- ISBN
- 9783824420315
Paperback
Condition: New
€ 69.48
€ 69.48
Hardback. Series: Web-scale Workflow and Analytics. Num Pages: 144 pages, biography. BIC Classification: UMWS; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 391.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 144
- Condition
- New
- SKU
- V9783319246765
- ISBN
- 9783319246765
Hardback
Condition: New
€ 63.35
€ 63.35
Paperback. Constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, in 2002. This book addresses various aspects of formal method for distributed systems and communication protocols, and contains 22 papers, 2 tool papers, and 2 posters. Editor(s): Peled, Doron A.; Vardi, Moshe Y. Series: Lecture Notes in Computer Science. Num Pages: 384 pages, biography. BIC Classification: UM; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 543.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 384
- Condition
- New
- SKU
- V9783540001416
- ISBN
- 9783540001416
Paperback
Condition: New
€ 68.61
€ 68.61
Paperback / so. Series: Programmieren Von Mikrocomputern. Num Pages: black & white illustrations, bibliography. BIC Classification: UMX; UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 9. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 1986
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Condition
- New
- SKU
- V9783528044671
- ISBN
- 9783528044671
Paperback
Condition: New
€ 68.80
€ 68.80
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: PB; UMX. Category: (G) General (US: Trade). Dimension: 244 x 170 x 8. Weight in Grams: 236.
- Format
- Paperback
- Publication date
- 1979
- Publisher
- Vieweg+teubner Verlag United States
- Edition
- 2
- Condition
- New
- SKU
- V9783528140366
- ISBN
- 9783528140366
Paperback
Condition: New
€ 68.31
€ 68.31
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 / so. Num Pages: black & white illustrations, bibliography. BIC Classification: PB; UMX. Category: (G) General (US: Trade). Dimension: 210 x 148 x 7. Weight in Grams: 163.
- Format
- Paperback
- Publisher
- United Kingdom
- Condition
- New
- SKU
- V9783322979087
- ISBN
- 9783322979087
Paperback
Condition: New
€ 67.83
€ 67.83
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: UMX; UMZ. Category: (G) General (US: Trade). Dimension: 297 x 210 x 16. Weight in Grams: 721.
- Format
- Paperback
- Publication date
- 1986
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 3
- Condition
- New
- SKU
- V9783528242572
- ISBN
- 9783528242572
Paperback
Condition: New
€ 71.58
€ 71.58
Paperback. Num Pages: 396 pages, black & white illustrations, bibliography. BIC Classification: UML. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 21. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 396
- Condition
- New
- SKU
- V9783642761362
- ISBN
- 9783642761362
Paperback
Condition: New
€ 70.67
€ 70.67
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