×


 x 

Shopping cart

Computing

Results 3793 - 3816 of 11029

Computing

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

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

€ 126.68

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.32
€ 58.29

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

€ 66.76

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

€ 67.44

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

Paperback / so. Num Pages: 139 pages, black & white tables, bibliography. BIC Classification: UTN; UY. Category: (G) General (US: Trade). Weight in Grams: 233.
Format
Paperback
Publication date
2006
Publisher
Deutscher Universitatsverlag United States
Number of pages
139
Condition
New
SKU
V9783835004986
ISBN
9783835004986
Paperback
Condition: New

€ 54.04

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.99

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

€ 126.61

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

€ 67.67

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.76

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

hardcover. Computers/Software Num Pages: 584 pages, biography. BIC Classification: UGK. Category: (G) General (US: Trade). Dimension: 229 x 191 x 34. Weight in Grams: 1132.
Format
Hardback
Publication date
2006
Publisher
Apress United States
Edition
1st Corrected ed., Corr. 2nd printing
Number of pages
584
Condition
New
SKU
V9781590595572
ISBN
9781590595572
Hardback
Condition: New

€ 70.00

Paperback. This is the first definitive and authoritative book available on ActionScript 3 animation techniques. It is an update to Keith Peter's best-selling ActionScript animation book. It supports Flash 9, Flex Builder 2, or the Flex SDK. Num Pages: 568 pages, biography. BIC Classification: UGN. Category: (G) General (US: Trade). Dimension: 229 x 192 x 30. Weight in Grams: 782. Making Things Move!. 542 pages, illustrations. "Foundation Actionscript 3 Animation: Making Things Move!" deals with computers/software. Cateogry: (G) General (US: Trade). BIC Classification: UGN. Dimension: 229 x 192 x 30. Weight: 782.
Format
Paperback
Publication date
2008
Publisher
friendsofED
Edition
1st ed. 2007. 2nd printing 2008
Number of pages
542
Condition
New
SKU
V9781590597910
ISBN
9781590597910
Paperback
Condition: New

€ 51.99
€ 46.20

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

€ 42.99
€ 39.45

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

€ 42.99
€ 40.41

Paperback.
Format
Paperback
Publication date
2005
Publisher
APress United States
Edition
1st Edition
Number of pages
446
Condition
New
SKU
V9781590595183
ISBN
9781590595183
Paperback
Condition: New

€ 42.99
€ 38.22

Paperback. friends of ED Num Pages: 488 pages, biography. BIC Classification: UF. Category: (G) General (US: Trade). Dimension: 235 x 190 x 27. Weight in Grams: 858.
Format
Paperback
Publication date
2004
Publisher
APress United States
Number of pages
440
Condition
New
SKU
V9781590593059
ISBN
9781590593059
Paperback
Condition: New

€ 36.99
€ 34.25

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

€ 50.87

Paperback. Blender is a popular open source modeling, animation, and rendering tool. This book shows how Blender can be used to create video effects in post-production. Num Pages: 496 pages, biography. BIC Classification: UGK. Category: (G) General (US: Trade). Dimension: 229 x 192 x 32. Weight in Grams: 1024.
Format
Paperback
Publication date
2009
Publisher
APress United States
Edition
1st Edition
Number of pages
467
Condition
New
SKU
V9781430219767
ISBN
9781430219767
Paperback
Condition: New

€ 51.99
€ 45.62

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

€ 23.99
€ 16.58

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

€ 42.99
€ 35.58

Paperback. In this book, Gaudioso explains how to set up a WPF/Blend environment and teaches the basics of WPF. He covers everything from the first install of Blend and Silverlight up to creating first designs and showing professionals how to start developing in WPF/Blend with real world examples. Num Pages: 350 pages, black & white illustrations, figures. BIC Classification: UGB. Category: (P) Professional & Vocational. Dimension: 228 x 192 x 24. Weight in Grams: 608.
Format
Paperback
Publication date
2008
Publisher
friendsofED
Edition
1st Edition
Number of pages
349
Condition
New
SKU
V9781590599761
ISBN
9781590599761
Paperback
Condition: New

€ 42.99
€ 36.94

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

€ 42.99
€ 36.59

Subscribe to our newsletter

News on special offers, signed editions & more!