×


 x 

Shopping cart

Computing

Results 3181 - 3200 of 9385

Computing

Hardcover. The book examines how Fog will change the information technology industry in the next decade. Fog distributes the services of computation, communication, control and storage closer to the edge, access and users. As a computing and networking architecture, Fog enables key applications in wireless 5G, the Internet of Things, and big data. Series: Information and Communication Technology Series. Num Pages: 288 pages. BIC Classification: TJKW; UTW. Category: (G) General (US: Trade). Weight in Grams: 666.
Format
Hardback
Publication date
2017
Publisher
John Wiley & Sons Inc United States
Number of pages
288
Condition
New
Edition
1st Edition
SKU
V9781119187134
ISBN
9781119187134
Hardback
Condition: New

€ 135.61

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

Paperback. Series: Force Drawing Series. Num Pages: 331 pages, 278 colour illustrations. BIC Classification: UGN. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 256 x 192 x 25. Weight in Grams: 756.
Publisher
Taylor & Francis Ltd
Format
Paperback
Publication date
2016
Edition
1st Edition
Condition
New
SKU
V9780415733977
ISBN
9780415733977
Paperback
Condition: New

€ 50.17

Paperback. .
Publisher
Taylor & Francis Ltd
Format
Paperback
Publication date
2017
Edition
3rd Edition
Condition
New
SKU
V9781138919570
ISBN
9781138919570
Paperback
Condition: New

€ 62.87

Hardback. Series: Force Drawing Series. Num Pages: 233 pages, 1 colour illustrations, 105 black & white line drawings, 83 colour line drawings. BIC Classification: UGN. Category: (G) General (US: Trade). Dimension: 279 x 216. .
Format
Hardback
Publication date
2017
Publisher
Taylor & Francis Ltd United Kingdom
Edition
3rd Edition
Number of pages
233
Condition
New
SKU
V9781138735170
ISBN
9781138735170
Hardback
Condition: New

€ 126.74

Paperback.
Format
Paperback
Publication date
2011
Publisher
APress United States
Edition
1st Edition
Number of pages
296
Condition
New
SKU
V9781430242932
ISBN
9781430242932
Paperback
Condition: New

€ 62.15

Hardback. Discusses designing computations to be realized by application-specific hardware. It introduces a formal design approach based on a high-level design language called Synchronized Transitions; and the models created enable the designer to perform different kinds of analysis and verification. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 232 pages, biography. BIC Classification: T; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 532.
Format
Hardback
Publication date
1994
Publisher
Kluwer Academic Publishers United States
Number of pages
232
Condition
New
SKU
V9780792394273
ISBN
9780792394273
Hardback
Condition: New

€ 198.88

Hardback. Features a selection of papers from The First International and Interdisciplinary Conference on Modelling and Using Context, Rio de Janeiro, January 1997. Several chapters in this volume deal with contextualisation in the setting of natural language, while others seek to develop general models of wider applicability. Editor(s): Bonzon, Pierre; Cavalcanti, Marcos; Nossum, Rolf. Series: Applied Logic Series. Num Pages: 216 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 504.
Format
Hardback
Publication date
2000
Publisher
Kluwer Academic Publishers United States
Number of pages
216
Condition
New
SKU
V9780792363507
ISBN
9780792363507
Hardback
Condition: New

€ 132.10

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

€ 86.80

Hardback. Covers the topics of logic equivalence checking and design debugging in design verification. This book reviews the design problems that require logic equivalence checking and describes the underlying technologies that are used to solve them. It also gives a survey of the literature on design error diagnosis and design error correction. Series: Frontiers in Electronic Testing. Num Pages: 247 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 1170.
Format
Hardback
Publication date
1998
Publisher
Kluwer Academic Publishers United States
Number of pages
247
Condition
New
SKU
V9780792381846
ISBN
9780792381846
Hardback
Condition: New

€ 231.99

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

€ 180.21

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

€ 180.21

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

€ 138.71

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

€ 226.07

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

€ 70.86

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

€ 70.77

Hardback. Addresses Formal Methods (FMs) applicable to the specification, verification, implementation, and testing of complex distributed systems and communication protocols. This book covers the topics: model checking theory and applications; verification and theorem proving; testing theory and applications; and multicast protocol analysis and simulation. Editor(s): Bolognesi, Tommaso; Latella, Diego. Series: IFIP Advances in Information and Communication Technology. Num Pages: 423 pages, biography. BIC Classification: UY. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 1710.
Format
Hardback
Publication date
2000
Publisher
Kluwer Academic Publishers United States
Number of pages
423
Condition
New
SKU
V9780792379683
ISBN
9780792379683
Hardback
Condition: New

€ 257.67

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

€ 70.08

Hardback. Brings together research in three important and related fields: Formal methods; Distributed systems; and Object-based technology. This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) held in Enschede, The Netherlands in March 2002. Editor(s): Jacobs, Bart (University of Nijmegen, Netherlands); Rensink, Arendt (University of Twente, Enschede, Netherlands). Series: IFIP Advances in Information and Communication Technology. Num Pages: 290 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 413.
Format
Hardback
Publication date
2002
Publisher
Kluwer Academic Publishers United States
Edition
annotated ed
Number of pages
290
Condition
New
SKU
V9780792376835
ISBN
9780792376835
Hardback
Condition: New

€ 130.79

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

€ 70.23

Subscribe to our newsletter

News on special offers, signed editions & more!