Computer programming / software development
Results 2841 - 2860 of 2953
Computer programming / software development
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
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
€ 144.52
€ 144.52
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. 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
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. 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
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. Written by members of the development that maintains Subversion, this is the official guide and reference manual for the popular open source revision control technology. It covers Subversion 1.5 and includes an introduction to Subversion, a guided tour of the capabilities and structure and detailed coverage of advanced topics. Num Pages: 432 pages, black & white illustrations. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 233 x 178 x 22. Weight in Grams: 704.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- O'Reilly Media, Inc, USA United States
- Edition
- Second Edition
- Number of pages
- 432
- Condition
- New
- SKU
- V9780596510336
- ISBN
- 9780596510336
Paperback
Condition: New
€ 42.99€ 41.27
€ 42.99
€ 41.27
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
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
€ 49.90
€ 49.90
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
€ 197.80
€ 197.80
Hardcover. Making VHDL a simple and easy-to-use hardware description language Many engineers encountering VHDL (very high speed integrated circuits hardware description language) for the first time can feel overwhelmed by it. Num Pages: 484 pages, Illustrations. BIC Classification: TJF; UMX. Category: (P) Professional & Vocational. Dimension: 175 x 251 x 29. Weight in Grams: 972.
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 484
- Format
- Hardback
- Publication date
- 2011
- Edition
- 3rd Edition
- Condition
- New
- SKU
- V9780470688472
- ISBN
- 9780470688472
Hardback
Condition: New
€ 87.18
€ 87.18
Paperback. vi and Vim are immensely powerful tools for anyone working with Unix, Linux, or Mac OS X, but there are far too many commands for anyone to remember. This handy little book puts all of the essential information about vi and Vim at your fingertips, in a format that makes browsing easy. Num Pages: 94 pages. BIC Classification: UMX. Category: (XV) Technical / Manuals. Dimension: 178 x 111 x 6. Weight in Grams: 82.
- Publisher
- O´Reilly Media, Inc, USA United States
- Number of pages
- 94
- Format
- Paperback
- Publication date
- 2011
- Edition
- Second Edition
- Condition
- New
- SKU
- V9781449392178
- ISBN
- 9781449392178
Paperback
Condition: New
€ 26.99€ 20.32
€ 26.99
€ 20.32
Paperback. Editor(s): Cremers, Daniel; Magnor, Marcus A.; Oswald, Martin R.; Zelnik-Manor, Lihi. Series: Lecture Notes in Computer Science. Num Pages: 213 pages, 20 black & white illustrations, 95 colour illustrations, biography. BIC Classification: UMB; UML; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 213
- Condition
- New
- SKU
- V9783642248696
- ISBN
- 9783642248696
Paperback
Condition: New
€ 87.31
€ 87.31
Paperback. Demonstrates how to write Python scripts to automate large-scale network attacks, extract metadata, and investigate forensic artifacts. This book shows how to write code to intercept and analyze network traffic using Python, craft and spoof wireless frames to attack wireless and Bluetooth devices. Num Pages: 290 pages, black & white illustrations. BIC Classification: UMW; UR. Category: (P) Professional & Vocational. Dimension: 235 x 193 x 15. Weight in Grams: 542.
- Publisher
- Syngress Media,U.S. United States
- Number of pages
- 290
- Format
- Paperback
- Publication date
- 2012
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781597499576
- ISBN
- 9781597499576
Paperback
Condition: New
€ 47.00€ 41.37
€ 47.00
€ 41.37
Hardback. Video gaming is wildly popular and getting even more so as interfaces and devices improve. This popular account of the rise of gaming offers insight into its popularity and place in our culture as well as the impact it has on our daily lives - from the doctor's office to the family room sofa. Num Pages: 234 pages. BIC Classification: UBJ; UDX; UMK; UYZ. Category: (G) General (US: Trade). Dimension: 237 x 231 x 22. Weight in Grams: 526.
- Publisher
- Rowman & Littlefield United States
- Number of pages
- 234
- Format
- Hardback
- Publication date
- 2013
- Condition
- New
- SKU
- V9781442216945
- ISBN
- 9781442216945
Hardback
Condition: New
€ 70.11
€ 70.11
Hardcover. Who are we in simulated worlds? Will experiencing worlds that are not 'actual' change our ways of structuring thought? Can virtual worlds open up new possibilities to philosophize? Virtual Worlds as Philosophical Tools tries to answer these questions from a perspective that combines philosophy of technology with videogame design. Num Pages: 210 pages, biography. BIC Classification: HPM; UMK; UYV. Category: (P) Professional & Vocational. Dimension: 146 x 223 x 17. Weight in Grams: 412.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Palgrave Macmillan
- Condition
- New
- SKU
- V9781137521774
- ISBN
- 9781137521774
Hardback
Condition: New
€ 127.36
€ 127.36
Paperback. If you're contemplating the use of virtualization in any area of your network operations, this concise book presents a clear picture of the concepts involved. Num Pages: 74 pages, black & white illustrations. BIC Classification: UM; UTV. Category: (XV) Technical / Manuals. Dimension: 233 x 178 x 3. Weight in Grams: 134.
- Publisher
- O´Reilly Media United States
- Number of pages
- 74
- Format
- Paperback
- Publication date
- 2011
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781449306458
- ISBN
- 9781449306458
Paperback
Condition: New
€ 22.22
€ 22.22
Paperback. Virtualization has become a "megatrend"-and for good reason. Implementing virtualization allows for more efficient utilization of network server capacity, simpler storage administration, reduced energy costs, and better use of corporate capital. In other words: virtualization helps you save money, energy, and space. Num Pages: 384 pages, Illustrations. BIC Classification: UMZ; UTV. Category: (P) Professional & Vocational. Dimension: 234 x 189 x 22. Weight in Grams: 612.
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 384
- Format
- Paperback
- Publication date
- 2007
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780470148310
- ISBN
- 9780470148310
Paperback
Condition: New
€ 40.99€ 31.81
€ 40.99
€ 31.81
Paperback. Visual Basic (VB) is a Microsoft-developed programming environment in which a programmer uses a graphical user interface to choose and modify preselected sections of code written in BASIC. This book offers coverage of topics such as programmatic encryption and other .NET security features. Series: For dummies. Num Pages: 816 pages, diagrams. BIC Classification: UMX. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 234 x 187 x 46. Weight in Grams: 1216.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- John Wiley & Sons Inc United States
- Edition
- 1st Edition
- Number of pages
- 816
- Condition
- New
- SKU
- V9780764525797
- ISBN
- 9780764525797
Paperback
Condition: New
€ 50.99€ 36.70
€ 50.99
€ 36.70