Computer programming / software development
Results 121 - 140 of 3485
Computer programming / software development
Hardback. Intended for those seeking an enhanced proficiency in VHDL, this text addresses: misinterpretations in the use of the language; methods for writing error-free, and simulation-efficient, code for testbench designs and for synthesis; and general principles and guidelines for design verification. Num Pages: 384 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 23. Weight in Grams: 946.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2 Rev ed
- Number of pages
- 384
- Condition
- New
- SKU
- V9780792381150
- ISBN
- 9780792381150
Hardback
Condition: New
€ 200.10
€ 200.10
Paperback. Num Pages: 322 pages, 250 colour illustrations, biography. BIC Classification: UG; UML; UYT. Category: (G) General (US: Trade). Dimension: 268 x 227 x 23. Weight in Grams: 558.
- Publisher
- Apress
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st ed.
- Condition
- New
- SKU
- V9781484221303
- ISBN
- 9781484221303
Paperback
Condition: New
€ 50.33
€ 50.33
Paperback / so. Series: Gabler Edition Wissenschaft. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: KJMV5; UMB. Category: (G) General (US: Trade). Dimension: 203 x 133 x 19. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Deutscher Universit?tsverlag United Kingdom
- Condition
- New
- SKU
- V9783824472840
- ISBN
- 9783824472840
Paperback
Condition: New
€ 72.45
€ 72.45
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
€ 131.61
€ 131.61
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
€ 198.39
€ 198.39
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
€ 70.11
€ 70.11
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
€ 70.08
€ 70.08
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Kuncak, Viktor; Rybalchenko, Andrey
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
€ 71.34
€ 71.34
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
€ 71.95
€ 71.95
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
€ 69.20
€ 69.20
Paperback. Num Pages: 520 pages, biography. BIC Classification: THR; TJF; TJFC; UGC; UMX. Category: (G) General (US: Trade). Dimension: 235 x 155 x 27. Weight in Grams: 795.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 520
- Condition
- New
- SKU
- V9781461498131
- ISBN
- 9781461498131
Paperback
Condition: New
€ 142.31
€ 142.31
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.08
€ 142.08
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.43
€ 17.43
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
€ 51.99€ 50.79
€ 51.99
€ 50.79
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.57
€ 12.57
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.48
€ 42.99
€ 41.48
Paperback. Num Pages: 46 pages, Illustrations. BIC Classification: UGB; UMW. Category: (XV) Technical / Manuals. Dimension: 233 x 178 x 3. Weight in Grams: 91.
- Publisher
- O´Reilly Media United States
- Number of pages
- 46
- Format
- Paperback
- Publication date
- 2012
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781449342517
- ISBN
- 9781449342517
Paperback
Condition: New
€ 10.90
€ 10.90
Hardcover. BIC Classification: UMN. Category: (P) Professional & Vocational. Dimension: 260 x 211 x 59. Weight in Grams: 2572.
- Publisher
- Pearson Education Limited United Kingdom
- Format
- Hardback
- Publication date
- 2005
- Condition
- New
- SKU
- V9781405837309
- ISBN
- 9781405837309
Hardback
Condition: New
€ 91.24
€ 91.24
Hardcover. It is the goal of Value-Based Software Engineering (VBSE) to develop models and measures of value which are of use for managers, developers and users. This work details the foundations of VBSE, followed by a presentation of state-of-the-art methods and techniques. It demonstrates the benefits of VBSE through examples and case studies. Editor(s): Biffl, Stefan; Aurum, Aubuke; Boehm, Barry W.; Erdogmus, Hakan; Grunbacher, Paul. Num Pages: 410 pages, 41 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 243 x 165 x 28. Weight in Grams: 726. 412 pages, black & white illustrations. Editor(s): Biffl, Stefan; Aurum, Aubuke; Boehm, Barry W.; Erdogmus, Hakan; Grunbacher, Paul. It is the goal of Value-Based Software Engineering (VBSE) to develop models and measures of value which are of use for managers, developers and users. This work details the foundations of VBSE, followed by a presentation of state-of-the-art methods and techniques. It demonstrates the benefits of VBSE through examples and case studies. Cateogry: (P) Professional & Vocational. BIC Classification: UMZ. Dimension: 243 x 165 x 28. Weight: 726.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer
- Edition
- 2006th Edition
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540259930
- ISBN
- 9783540259930
Hardback
Condition: New
€ 196.21
€ 196.21
Paperback. Learn basic and advanced uses of WebPagetest, the performance measurement tool for optimizing websites. This practical guide shows users new to this tool how run tests and interpret results, and helps experienced users gain a better and more thorough understanding of hidden features in WebPagetest that make testing easier. Num Pages: 214 pages. BIC Classification: UMW. Category: (XV) Technical / Manuals. Dimension: 181 x 233 x 14. Weight in Grams: 710.
- Publisher
- O´Reilly Media, Inc, USA
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781491902592
- ISBN
- 9781491902592
Paperback
Condition: New
€ 31.74
€ 31.74