×


 x 

Shopping cart

Computing

Results 461 - 480 of 11029

Computing

Hardback. The IEEE 1364-2001 standard, nicknamed 'Verilog-2001', is the first update to the Verilog language since its inception in 1984. This book presents 45 enhancements contained in Verilog-2001 standard. It describes ANSI C style port declarations for modules, primitives, tasks and functions; and, automatic tasks and functions. Editor(s): Sutherland, Stuart. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 135 pages, biography. BIC Classification: UMX. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 9. Weight in Grams: 870.
Format
Hardback
Publication date
2001
Publisher
Kluwer Academic Publishers United States
Number of pages
135
Condition
New
SKU
V9780792375685
ISBN
9780792375685
Hardback
Condition: New

€ 126.03

Hardback. Suitable for those who are new to the field and wanted to know what "all this Verilog stuff is about." This work is easy to read, and it serves as a desktop reference. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 356 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 764.
Format
Hardback
Publication date
2002
Publisher
Kluwer Academic Publishers United States
Edition
3 Rev ed
Number of pages
356
Condition
New
SKU
V9780792376729
ISBN
9780792376729
Hardback
Condition: New

€ 187.07

Hardcover. Verilog is a Hardware Description Language (HDL) used to design and document electronic systems. Verilog HDL allows designers to virtually design systems without expending time or resources on physical models. It is the most widely used HDL with a user community of more than 50,000 active designers. Num Pages: 336 pages, Illustrations. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 22. Weight in Grams: 588.
Format
Hardback
Publication date
2003
Publisher
John Wiley and Sons Ltd United States
Edition
1st Edition
Number of pages
336
Condition
New
SKU
V9780471429760
ISBN
9780471429760
Hardback
Condition: New

€ 170.01

Paperback. Num Pages: 306 pages, biography. BIC Classification: THR; TJFC; UGC; UK. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 510.
Publisher
Springer-Verlag New York Inc.
Format
Paperback
Publication date
2013
Edition
Softcover reprint of the original 1st ed. 1997
Condition
New
SKU
V9781461378013
ISBN
9781461378013
Paperback
Condition: New

€ 65.50

Paperback. Editor(s): Joshi, Rajeev; Muller, Peter; Podelski, Andreas. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 326 pages, 41 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 522.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
326
Condition
New
SKU
V9783642277047
ISBN
9783642277047
Paperback
Condition: New

€ 67.29

Paperback. Contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK, in August 2010. This book features the papers that represent work on verification techniques, specification languages, formal calculi, verification tools, solutions to challenge problems, and more. Editor(s): Leavens, Gary T.; O'Hearn, Peter W.; Rajamani, Sriram K. (Microsoft Research). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 217 pages, 68 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZT; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 386.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
217
Condition
New
SKU
V9783642150562
ISBN
9783642150562
Paperback
Condition: New

€ 66.76

Paperback. Constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. Editor(s): Kuncak, Viktor; Rybalchenko, Andrey. Series: Lecture Notes in Computer Science. Num Pages: 457 pages, 111 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 703.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
457
Condition
New
SKU
V9783642279393
ISBN
9783642279393
Paperback
Condition: New

€ 68.47

Paperback. Constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. Editor(s): Jhala, Ranjit; Schmidt, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 419 pages, 79 black & white illustrations, 11 colour illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 658.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
419
Condition
New
SKU
V9783642182747
ISBN
9783642182747
Paperback
Condition: New

€ 68.53

Paperback. Collects the articles that cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis, and give a good perspective on the formal verification of the correctness of software systems. Editor(s): Siegler, Simon; Wasser, Nathan. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 145 pages, 30 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 10. Weight in Grams: 259.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
145
Condition
New
SKU
V9783642171710
ISBN
9783642171710
Paperback
Condition: New

€ 65.93

Hardback. A practical guide on how to get a verification team jumpstarted into verification success by the joint creation of a verification plan. This book includes: a five day approach that gives instructions on how to design and document your verification system; an introduction to hardware verification languages; and more. Num Pages: 229 pages, biography. BIC Classification: UKR; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 542.
Format
Hardback
Publication date
2003
Publisher
Kluwer Academic Publishers United States
Number of pages
229
Condition
New
SKU
V9781402076190
ISBN
9781402076190
Hardback
Condition: New

€ 202.81

Hardcover. Verification and Validation for Quality of UML 2. 0 Models deals primarily with the creation and enhancement of the quality of software models. The Unified Modeling Language (UML) of the Object Management Group forms the basis of the software models discussed in this book. Series: Wiley Series in Systems Engineering and Management. Num Pages: 312 pages, Illustrations. BIC Classification: UMZL. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 26. Weight in Grams: 648.
Format
Hardback
Publication date
2005
Publisher
John Wiley & Sons Inc United States
Number of pages
312
Condition
New
Edition
1st Edition
SKU
V9780471727835
ISBN
9780471727835
Hardback
Condition: New

€ 142.45

paperback. Series: Wissenschaftliche Reihe Fahrzeugtechnik Universitat Stuttgar. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: TGB; TJK; TRC; UDB; UY. Category: (G) General (US: Trade). Dimension: 210 x 148 x 9. Weight in Grams: 209.
Format
Paperback
Publication date
2015
Publisher
Springer Vieweg United States
Edition
2015th Edition
Condition
New
SKU
V9783658088620
ISBN
9783658088620
Paperback
Condition: New

€ 74.63

Hardback.

This book provides an overview of vehicular networks, fromtraffic engineering to human factors. The book addresses theunique design requirements for security and privacy preservationfor vehicular communications to increase road safety. Series: IEEE Press Series on Information and Communication Networks Security. Num Pages: 216 pages, illustrations. BIC Classification: TRT; UR; UT. Category: (P) Professional & Vocational. Dimension: 167 x 242 x 20. Weight in Grams: 528.

Format
Hardback
Publication date
2015
Publisher
John Wiley & Sons Inc
Edition
1st Edition
Condition
New
SKU
V9781118913901
ISBN
9781118913901
Hardback
Condition: New

€ 139.05

Paperback. Use this expert guide to prepare for the VCA-DCV exam VCA-DCV VMware Certified Associate on vSphere Study Guide: VCAD-510 is a comprehensive study guide for the VMware Certified Associate Data Center Virtualization exam. Num Pages: 216 pages. BIC Classification: UL; UTC; UTV. Category: (P) Professional & Vocational. Dimension: 236 x 187 x 17. Weight in Grams: 296.
Format
Paperback
Publication date
2015
Publisher
John Wiley & Sons Inc
Edition
1st Edition
Condition
New
SKU
V9781118919668
ISBN
9781118919668
Paperback
Condition: New

€ 42.99
€ 30.27

Book. Based on "VBScript in a Nutshell", this book details every VBScript language element both in VBScript itself and in the Microsoft Scripting Runtime Library. Entries are arranged alphabetically by topic. In addition, appendixes list VBScript operators and VBScript intrinsic constants. Num Pages: 140 pages, Ill. BIC Classification: GBC; UMX. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 185 x 112 x 8. Weight in Grams: 100.
Publisher
O´Reilly Media, Inc, USA United States
Number of pages
140
Format
Paperback
Publication date
2001
Edition
1st Edition
Condition
New
SKU
V9780596001261
ISBN
9780596001261
Paperback
Condition: New

€ 17.39

Paperback. The second edition of this concise guide to VBScript includes additional chapters and a complete reference that has been fully updated to cover all aspects of the latest version of the software. Num Pages: 514 pages, 1, black & white illustrations. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 153 x 229 x 35. Weight in Grams: 732.
Format
Paperback
Publication date
2003
Publisher
O´Reilly Media United States
Edition
2nd Edition
Number of pages
514
Condition
New
SKU
V9780596004880
ISBN
9780596004880
Paperback
Condition: New

€ 52.99
€ 50.65

Paperback. Offers information on the VBA IDE and program containers, debugging and controlling your programs, working with multiple applications using a single program, and the programming for the Office 2007 applications. This work shows how to customize an application's interface; quick-launch a VBA program; store and modify information; and more. Num Pages: 432 pages, Illustrations. BIC Classification: UN. Category: (P) Professional & Vocational. Dimension: 235 x 189 x 23. Weight in Grams: 746.
Publisher
John Wiley & Sons Inc United Kingdom
Number of pages
432
Format
Paperback
Publication date
2007
Edition
5th
Condition
New
SKU
V9780470046500
ISBN
9780470046500
Paperback
Condition: New

€ 34.99
€ 27.83

Paperback. This title offers the convenience of a quick reference in a small and convenient format. The guide presents syntax and brief descriptions of each Visual Basic .NET language element. Num Pages: 144 pages. BIC Classification: ULD; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 179 x 107 x 10. Weight in Grams: 124.
Format
Paperback
Publication date
2002
Publisher
O´Reilly Media United States
Edition
1st Edition
Number of pages
144
Condition
New
SKU
V9780596004286
ISBN
9780596004286
Paperback
Condition: New

€ 12.56

Paperback. In the tradition of "Java in a Nutshell", this book boils down the essentials of VB and VBA, and includes undocumented areas essential to everyday programming. Num Pages: 652 pages, 1, black & white illustrations. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 228 x 155 x 35. Weight in Grams: 908.
Format
Paperback
Publication date
1998
Publisher
O'Reilly Media, Inc, USA United States
Edition
1st
Number of pages
652
Condition
New
SKU
V9781565923584
ISBN
9781565923584
Paperback
Condition: New

€ 42.99
€ 41.15

Hardback. Introduces the process' integral information measure, which has a distinctive difference from information approaches that use an entropy function. The mathematical formalisms and methods, implemented in the forms of computer models, algorithms and programs, provide tools for Information Systems' Modeling. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 266 pages, biography. BIC Classification: GPJ; URY. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College); (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 576.
Format
Hardback
Publication date
2003
Publisher
Kluwer Academic Publishers United States
Number of pages
266
Condition
New
SKU
V9781402074653
ISBN
9781402074653
Hardback
Condition: New

€ 128.59

Subscribe to our newsletter

News on special offers, signed editions & more!