0
Your cart

Your cart is empty

Browse All Departments
Price
  • R50 - R100 (1)
  • R100 - R250 (85)
  • R250 - R500 (355)
  • R500+ (2,326)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs)

Automotive Embedded Systeme - Effizfientes Framework - Vom Design Zur Implementierung (German, Book, 2005 ed.): Joachim... Automotive Embedded Systeme - Effizfientes Framework - Vom Design Zur Implementierung (German, Book, 2005 ed.)
Joachim Wietzke, Manh Tien Tran
R1,243 Discovery Miles 12 430 Ships in 18 - 22 working days

Die Entwicklung hochkomplexer automotiver Infotainmentsysteme bestehend aus einer Headunit und weiteren Komponenten wie Audio- und Videoelementen, Kommunikationseinheiten, Navigationssystemen und Sensorik erfordert solides Dom nenwissen und umfassendes Know-how im Software-Engineering.

Das vorliegende Buch gibt eine fundierte Darstellung der softwareseitigen Implementierung dieser Komponenten innerhalb eines komplexen Frameworks.

Im ersten Teil des Buches werden wichtige Grundlagen zu Eingebetteten Systemen und den f r diese Systeme charakteristischen Methoden des Software-Engineerings vermittelt. Insbesondere werden dabei die Themen Speichermanagement und Systemperformance sowie grundlegende Mechanismen von Betriebssystemen betrachtet.

Im zweiten Teil wird eine konkrete, objektorientierte Implementierung eines Frameworks dargestellt. Diese Implementierung zeigt die Umsetzung besonders effizienter Sychronisations- und Kommunikationsprozesse innerhalb einer kompakten und hochperformanten Systemarchitektur.

Coordination Models and Languages - 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International... Coordination Models and Languages - 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings (Paperback, 2013 ed.)
Rocco De Nicola, Christine Julien
R1,408 Discovery Miles 14 080 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec 2013).
The 17 revised full papers presented were carefully reviewed and selected from 42 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems.

Grid and Pervasive Computing - 8th International Conference, GPC 2013, and Colocated Workshops, Seoul, Korea, May 9-11, 2013,... Grid and Pervasive Computing - 8th International Conference, GPC 2013, and Colocated Workshops, Seoul, Korea, May 9-11, 2013, Proceedings (Paperback, 2013 ed.)
James J (Jong Hyuk) Park, Hamid R Arabnia, Cheonshik Kim, Weisong Shi, Joon-Min Gil
R2,841 Discovery Miles 28 410 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 8th International Conference on Grid and Pervasive Computing, GPC 2013, held in Seoul, Korea, in May 2013 and the following colocated workshops: International Workshop on Ubiquitous and Multimedia Application Systems, UMAS 2013; International Workshop DATICS-GPC 2013: Design, Analysis and Tools for Integrated Circuits and Systems; and International Workshop on Future Science Technologies and Applications, FSTA 2013. The 111 revised papers were carefully reviewed and selected from numerous submissions. They have been organized in the following topical sections: cloud, cluster and grid; middleware resource management; mobile peer-to-peer and pervasive computing; multi-core and high-performance computing; parallel and distributed systems; security and privacy; ubiquitous communications, sensor networking, and RFID; ubiquitous and multimedia application systems; design, analysis and tools for integrated circuits and systems; future science technologies and applications; and green and human information technology.

NASA Formal Methods - 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings (Paperback,... NASA Formal Methods - 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings (Paperback, 2013 ed.)
Guillaume Brat, Neha Rungta, Arnaud Venet
R1,466 Discovery Miles 14 660 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.

Languages and Compilers for Parallel Computing - 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012,... Languages and Compilers for Parallel Computing - 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers (Paperback, 2013 ed.)
Hironori Kasahara, Keiji Kimura
R1,293 Discovery Miles 12 930 Ships in 18 - 22 working days

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2012, held in Tokyo, Japan, in September 2012. The 16 revised full papers, 5 poster papers presented with 1 invited talk were carefully reviewed and selected from 39 submissions. The focus of the papers is on following topics: compiling for parallelism, automatic parallelization, optimization of parallel programs, formal analysis and verification of parallel programs, parallel runtime systems, task-parallel libraries, parallel application frameworks, performance analysis tools, debugging tools for parallel programs, parallel algorithms and applications.

iPhone and iPad Apps for Absolute Beginners (Paperback, 3rd ed.): Rory Lewis, Chad Mello iPhone and iPad Apps for Absolute Beginners (Paperback, 3rd ed.)
Rory Lewis, Chad Mello
R1,852 Discovery Miles 18 520 Ships in 18 - 22 working days

So how do you build an application for the iPhone and iPad? Don't you need to spend years learning complicated programming languages? What about Objective-C and Cocoa touch? The answer is that you don't need to know any of those things Anybody can start building simple apps for the iPhone and iPad, and this book will show you how. This update of an Apress bestseller walks you through creating your first app, using plain English and practical examples using the iOS 6 software development platform and more. It cuts through the fog of jargon and misinformation that surrounds iPhone and iPad app development, and gives you simple, step-by-step instructions to get you started. * Teaches iPhone and iPad apps development in language anyone can understand * Provides simple, step-by-step examples that make learning easy, using iOS 6 * Offers bonus videos from the author that enable you to follow along--it's like your own private classroom The iPhone is the hottest gadget of our generation, and much of its success has been fueled by the App Store, Apple's online marketplace for iPhone apps.Over 1 billion apps were downloaded during the nine months following the launch of the App Store, ranging from the simplest games to the most complex business apps. Everyone has an idea for the next bestselling iPhone app--that's why you're reading this now And with the popularity of the iPad, this demand will just continue to grow. What you'll learn * Get both yourself and your computer set up for iPhone and iPad application development * Start by making small changes to existing applications to build your knowledge and experience before creating your own applications * Follow steps in plain English to build simple apps and get them working immediately * Style your application so that it looks good and users can easily navigate through it * Make use of the iPhone's touch screen and accelerometer * Use shortcuts and cheat sheets to create apps the easy way Who this book is for If you have a great idea for an iPhone or iPad app, but have never programmed before, then this book is for you. You don't need to have any previous computer programming skills--as long as you have a desire to learn, and you know which end of the mouse is which, you'll be fine.

Swift - Advanced Detailed Approach To Master Swift Programming With Latest Updates (Paperback): M G Martin Swift - Advanced Detailed Approach To Master Swift Programming With Latest Updates (Paperback)
M G Martin
R385 Discovery Miles 3 850 Ships in 18 - 22 working days
Practical Raspberry Pi (Paperback, 1st ed.): Brendan Horan Practical Raspberry Pi (Paperback, 1st ed.)
Brendan Horan
R855 R744 Discovery Miles 7 440 Save R111 (13%) Ships in 18 - 22 working days

Practical Raspberry Pi takes you quickly through the hardware and software basics of the Raspberry Pi. Author Brendan Horan then gets you started on a series of fun and practical projects, including a simple temperature sensor, a media center, a real-time clock, and even a security monitoring device, all of which require minimal programming experience. Along with these projects, you'll learn all about the Raspberry Pi hardware, including how it can be so powerful and still so small and inexpensive, why it's so suitable as a video player, and how you can customize it for different tasks, including running different operating systems on it, including Android and RISC OS. The Raspberry Pi is an inexpensive but relatively powerful little computer. It was designed to get kids interested in computing and programming, but it's also a great platform for hardware hackery. The projects in this book will get you deep into the hardware to show you what the Raspberry Pi can really do.What you'll learn * An overview of Raspberry Pi hardware * How to get your Pi up and running with Linux * How to use your Pi for sensing temperature and driving a simple character LCD * How to create a media player with your Raspberry Pi * How to use your Pi as a serial console server * How to set up your Pi to be a security monitoring device * Other operating systems for your Pi, including Gentoo, Android, and RISC OS Who this book is for Electronics enthusiasts who want to try out the Raspberry Pi, Linux fans who want to create useful projects with the Pi, or anyone interested in learning more about computing, electronics, and networking with this inexpensive and fun little computer.

Assurances for Self-Adaptive Systems - Principles, Models, and Techniques (Paperback, 2013 ed.): Javier Camara, Rogerio De... Assurances for Self-Adaptive Systems - Principles, Models, and Techniques (Paperback, 2013 ed.)
Javier Camara, Rogerio De Lemos, Carlo Ghezzi, Antonia Lopes
R1,423 Discovery Miles 14 230 Ships in 18 - 22 working days

The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously. This situation has led to recent advances in self-adaptive systems able to reconfigure their structure and modify their behavior at run-time to adapt to environmental changes. Despite these advances, one key aspect of self-adaptive systems that remains to be tackled in depth is "assurances": the provision of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. This book is one of the outcomes of the ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems (ASAS), held in Szeged, Hungary, in September 2011. It contains extended versions of some of the papers presented during the workshop, as well as invited papers from recognized experts. The 12 refereed papers were thoroughly reviewed and selected. The book consists of four parts: formal verification, models and middleware, failure prediction, and assurance techniques.

Kubernetes - A Step-by-Step Guide to Learn and Master Kubernetes (Paperback): Brayden Smith Kubernetes - A Step-by-Step Guide to Learn and Master Kubernetes (Paperback)
Brayden Smith
R362 Discovery Miles 3 620 Ships in 18 - 22 working days
Learn Raspberry Pi with Linux (Paperback, 1st ed.): Peter Membrey, David Hows Learn Raspberry Pi with Linux (Paperback, 1st ed.)
Peter Membrey, David Hows
R2,062 R1,865 Discovery Miles 18 650 Save R197 (10%) Ships in 18 - 22 working days

Learn Raspberry Pi with Linux will tell you everything you need to know about the Raspberry Pi's GUI and command line so you can get started doing amazing things. You'll learn how to set up your new Raspberry Pi with a monitor, keyboard and mouse, and you'll discover that what may look unfamiliar in Linux is really very familiar. You'll find out how to connect to the internet, change your desktop settings, and you'll get a tour of installed applications. Next, you'll take your first steps toward being a Raspberry Pi expert by learning how to get around at the Linux command line. You'll learn about different shells, including the bash shell, and commands that will make you a true power user. Finally, you'll learn how to create your first Raspberry Pi projects: * Making a Pi web server: run LAMP on your own network * Making your Pi wireless: remove all the cables and retain all the functionality * Making a Raspberry Pi-based security cam and messenger service: find out who's dropping by * Making a Pi media center: stream videos and music from your Pi Raspberry Pi is awesome, and it's Linux. And it's awesome because it's Linux.But if you've never used Linux or worked at the Linux command line before, it can be a bit daunting. Raspberry Pi is an amazing little computer with tons of potential. And Learn Raspberry Pi with Linux can be your first step in unlocking that potential. What you'll learn * How to get online with Raspberry Pi * How to customize your Pi's desktop environment * Essential commands for putting your Pi to work * Basic network services - the power behind what Pi can do * How to make your Pi totally wireless by removing all the cables * How to turn your Pi into your own personal web server * How to turn your Pi into a spy * How to turn your Pi into a media center Who this book is for Raspberry Pi users who are new to Linux and the Linux command line.

Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised... Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Paperback, 2013 ed.)
Bernhard Beckert, Ferruccio Damiani, Frank S De Boer, Marcello M. Bonsangue
R1,427 Discovery Miles 14 270 Ships in 18 - 22 working days

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.

This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods for Components and Objects, FMCO 2011, which was held in Turin, Italy, in October 2011. Topics covered include autonomic service-component ensembles; trustworthy eternal systems via evolving software, data, and knowledge; parallel patterns for adaptive heterogeneous multicore systems; programming for future 3D architectures with many cores; formal verification of object oriented software; and an infrastructure for reliable computer systems.

Das REXX Lexikon - Begriffe, Anweisungen, Funktionen (German, Hardcover, Reprint 2015 ed.): Gerhard Leibrock Das REXX Lexikon - Begriffe, Anweisungen, Funktionen (German, Hardcover, Reprint 2015 ed.)
Gerhard Leibrock
R4,128 R3,222 Discovery Miles 32 220 Save R906 (22%) Ships in 18 - 22 working days
Systems Engineering for Business Process Change - Collected Papers from the EPSRC Research Programme (Paperback, Softcover... Systems Engineering for Business Process Change - Collected Papers from the EPSRC Research Programme (Paperback, Softcover reprint of the original 1st ed. 2000)
Peter Henderson
R1,418 Discovery Miles 14 180 Ships in 18 - 22 working days

A very large proportion of commercial and industrial concerns in the UK find their business competitiveness dependent on huge quantities of already installed, legacy IT. Often the nature of their business is such that, to remain competitive, they have to be able to change their business processes. Sometimes the required change is radical and revolutionary, but more often the required change is incremental. For such incremental change, a major systems engineering problem arises. The cost and delay involved in changing the installed IT to meet the changed business requirements is much too high. In order to address this issue the UK Engineering and Physical Science Research Council (EPSRC) set up, in 1996, a managed research programme entitled Systems Engineering for Business Process Change (SEBPC). I was appointed as co-ordinator of the programme. The overall aim of this new managed research programme was to release the full potential of IT as an enabler of business process change, and to overcome the disabling effects which the build-up of legacy systems has on such change. As such, this aim addressed a stated objective of the Information Technology and Computer Science (IT&CS) part of EPSRC to encourage research at a system level.

Inheritance Relationships for Disciplined Software Construction (Paperback, Softcover reprint of the original 1st ed. 2002):... Inheritance Relationships for Disciplined Software Construction (Paperback, Softcover reprint of the original 1st ed. 2002)
Tracy A. Gardner
R1,388 Discovery Miles 13 880 Ships in 18 - 22 working days

Object-oriented inheritance has been in widespread use for a decade, and it is now realised that although inheritance is a powerful modelling tool with many associated advantages, its benefits are not automatically conferred on systems that simply use it. This book introduces a model of inheritance based around five fundamental inheritance relationships. Each relationship has a clear conceptual basis, representing a fundamental, specialised use of inheritance. The resulting model replaces a confused notion of inheritance with five distinct conceptual relationships supporting more precise modelling of systems and capturing the semantic intent of each use of inheritance within a system.

Foundation iPhone App Development - Build An iPhone App in 5 Days with iOS 6 SDK (Paperback, 1st ed.): Nick Kuh Foundation iPhone App Development - Build An iPhone App in 5 Days with iOS 6 SDK (Paperback, 1st ed.)
Nick Kuh
R959 R838 Discovery Miles 8 380 Save R121 (13%) Ships in 18 - 22 working days

Taking a hands-on learning approach, Foundation iPhone App Development: Build An iPhone App in 5 Days with iOS 6 SDK quickly enables existing programmers to become familiar and comfortable coding Objective-C using Xcode 4.5, Storyboarding and the iOS 6 SDK to create apps for the iPhone. Nick Kuh, an experienced, Apple award-winning developer, will teach readers how to build an iOS 6 iPhone app from start to finish in 5 days. During a 5-day process you will learn how to build a professional, custom-designed, object-oriented iPhone App. You'll start with a PhotoShop PSD design and an app idea. Then, throughout the remainder of the book, Nick will guide you through each stage of building the app. But it's you who will build the app. You will learn how to think like an app developer, how to turn an idea into a beautiful iPhone app. In addition to the code and programming practices introduced, the book includes numerous tips, tricks and lessons learned to help new iPhone App developers succeed on the App Store: SEO, in-app marketing approaches and how to win more 5 star reviews.The 5-day learning process is divided into the following key stages: * Day 1 begins with the initial planning, paper prototyping and Photoshop design phases of an app idea. You'll learn how to provision your iOS apps for deployment to your iPhone. By the end of your first day you'll get to learn on the job, creating an Object-Oriented Black Jack Game that implements the Model View Controller paradigm in Objective C. * Day 2 is all about Storyboarding: creating and connecting all of the user interface views of our app. * Day 3 begins with table views and data population. By the end of the third day you'll be knee-deep in Core Data: building a data model and creating an editable, persistent data storage solution for your app. * By Day 4 you'll be learning how to communicate with Facebook using Apple's new Social framework introduced in iOS 6. * Day 5 kicks off with code and methods to add in-app social network marketing to your app. With your completed app you'll then learn how to submit an App to Apple alongside numerous tips and tricks to improve your chances of success and visibility in this unique marketplace.From start to finish, this book inherits Nick's tried and tested methods to build beautiful native iPhone Apps efficiently. After reading and using this book, you'll come away with a core iOS development process and coding concepts that can be re-used and applied to your own iPhone app projects. Moreover, you'll gain an understanding of how to architect your own apps, write reusable code and implement best practices for faster productivity and maybe even make some money, too.What you'll learn * How to develop with Xcode, write Objective-C and work with the latest iOS SDK * Why and how to create Navigation Hierarchies and Table View Controllers, for making life easier * How to design, plan and develop an iPhone app from the initial app idea to App Store submission * How to Storyboard and implement a custom-designed User Interface * How to work with Core Data to build an offline caching solution * How to implement asynchronous HTTP API calls to download and display images * How to use the new iOS Appearance APIs for custom design implementation and make beautiful apps * How to increase your app's chances for success in the App Store Who this book is for This book is for existing programmers--programmers who have already mastered another object oriented language and wish to become proficient programming Objective C for writing iPhone Apps using Xcode.Table of ContentsDay 1: Objective C, Xcode and iOS SDK Foundation work Chapter 1: Design and Planning of our App: Chapter 2: Provisioning our App for Development Chapter 3: Setting Up Our Xcode Project Chapter 4: Objective-C and Xcode: Developing a Blackjack Game Day 2: Storyboarding the User Interface Chapter 5: iPhone App Navigation, Views and View Controllers Chapter 6: Views, Controls, Camera, Action Day 3: Working with Data Chapter 7: Table Views, Arrays and Dictionaries - Oh My Chapter 8: Data Persistence with Core Data Chapter 9: iOS Skinning: Make Your Apps Lickable Day 4: Importing Birthdays from the Address Book and Facebook Chapter 10: Importing Birthdays from the Address Book Chapter 11: Working with the Facebook SDK Chapter 12: Settings and Local Notifications Day 5: The Finishing Touches Chapter 13: Before You Launch: Increasing Your Chances of App Store Success Chapter 14: Submitting our App

Systems Engineering for Business Process Change: New Directions - Collected Papers from the EPSRC Research Programme... Systems Engineering for Business Process Change: New Directions - Collected Papers from the EPSRC Research Programme (Paperback, Softcover reprint of the original 1st ed. 2002)
Peter Henderson
R1,436 Discovery Miles 14 360 Ships in 18 - 22 working days

Systems Engineering for Business Process Change: New Directions is a collection of papers resulting from an EPSRC managed research programme set up to investigate the relationships between Legacy IT Systems and Business Processes. The papers contained in this volume report the results from the projects funded by the programme, which ran between 1997 and 2001. An earlier volume, published in 2000, reported interim results. Bringing together researchers from diverse backgrounds in Computer Science, Information Systems, Engineering and Business Schools, this book explores the problems experienced by IT-dependent businesses that have to implement changing business processes in the context of their investment in legacy systems. The book presents some of the solutions investigated through the collaborations set up within the research programme. Whether you are a researcher interested in the ideas that were generated by the research programme, or a user trying to understand the nature of the problems and their solutions, you cannot fail to be inspired by the writings contained in this volume.

Learn cocos2d 2 - Game Development for iOS (Paperback, 1st ed.): Steffen Itterheim, Andreas Lw Learn cocos2d 2 - Game Development for iOS (Paperback, 1st ed.)
Steffen Itterheim, Andreas Lw
R989 R868 Discovery Miles 8 680 Save R121 (12%) Ships in 18 - 22 working days

Create compelling 2D games with Learn cocos2d 2: Game Development with iOS. This book shows you how to use the powerful new cocos2d, version 2 game engine to develop games for iPhone and iPad with tilemaps, virtual joypads, Game Center, and more. It teaches you: The process and best practices of mobile game development, including sprite batching, texture atlases, parallax scrolling, touch and accelerometer input. How to enhance your games using the Box2D and Chipmunk physics engines and other cocos2d-related tools and libraries. How to add UIKit views to cocos2d and how to add cocos2d to UIKit apps. The ins and outs of the Kobold2D development environment for cocos2d and its pre-configured libraries, including cocos3d and Lua. Best of all, this book will have you making games right from the very start. It guides you step-by-step through the creation of sample games. These fun examples are modeled after popular App Store games and teach you key concepts of the new cocos2d 2 game engine and relevant tools like TexturePacker (texture atlas), PhysicsEditor (physics collision shapes), Particle Designer (particle effects), Glyph Designer (bitmap fonts), and others. This book offers a rock-solid introduction to creating games made entirely with cocos2d and little or no iOS SDK and OpenGL code. It also details alternative implementations, identifies the best free and commercial tools for cocos2d game development, features coverage of the author's improved cocos2d game engine (Kobold2D), and even helps you enhance your game's marketability on the App Store.

Leveraging Applications of Formal Methods, Verification and Validation - 5th International Symposium, ISoLA 2012, Heraklion,... Leveraging Applications of Formal Methods, Verification and Validation - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I (Paperback, 2012 ed.)
Tiziana Margaria, Bernhard Steffen
R1,499 Discovery Miles 14 990 Ships in 18 - 22 working days

The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.
The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata to register interface programs, RERS grey-box challenge 2012, Linux driver verification, bioscientific data processing and modeling, process and data integration in the networked healthcare, timing constraints: theory meets practice, formal methods for the development and certification of X-by-wire control systems, quantitative modelling and analysis, software aspects of robotic systems, process-oriented geoinformation systems and applications, handling heterogeneity in formal development of HW and SW Systems.

Leveraging Applications of Formal Methods, Verification and Validation - 5th International Symposium, ISoLA 2012, Heraklion,... Leveraging Applications of Formal Methods, Verification and Validation - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II (Paperback, 2012 ed.)
Tiziana Margaria, Bernhard Steffen
R1,431 Discovery Miles 14 310 Ships in 18 - 22 working days

The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata to register interface programs, RERS grey-box challenge 2012, Linux driver verification, bioscientific data processing and modeling, process and data integration in the networked healthcare, timing constraints: theory meets practice, formal methods for the developent and certification of X-by-wire control systems, quantitative modelling and analysis, software aspects of robotic systems, process-oriented geoinformation systems and applications, handling heterogeneity in formal development of HW and SW Systems.

Pro Android Augmented Reality (Paperback, 1st ed.): Raghav Sood Pro Android Augmented Reality (Paperback, 1st ed.)
Raghav Sood
R1,025 R878 Discovery Miles 8 780 Save R147 (14%) Ships in 18 - 22 working days

Augmented reality (AR) offers a live direct or indirect view of a physical, real-world environment, where the elements and surroundings are augmented by computer-generated sensory input such as graphics and GPS data. It makes a game more real. Your social media app puts you where want to be or go. Pro Android Augmented Reality walks you through the foundations of building an augmented reality application. From using various software and Android hardware sensors, such as an accelerometer or a magnetometer (compass), you'll learn the building blocks of augmented reality for both marker- and location-based apps. Case studies are included in this one-of-a-kind book, which pairs nicely with other Android development books. After reading Pro Android Augmented Reality, you'll be able to build augmented reality rich media apps or integrate all the best augmented reality into your favorite Android smartphone and/or tablet.What you'll learn * How to use most Android cameras * How to find the user's location with GPS data * How to detect movement and orientation of the device * How to program against the accelerometer and compass * How to use the AndAR library in marker recognition * How to create an artificial horizon for your app * How to integrate the Google Maps API into AR apps * How to build enterprise augmented reality apps using the case studies in this book Who this book is for This book is for Android developers familiar with Android programming, but new to the camera, accelerometer, magnetometer and building augmented reality applications in general. Table of Contents * Applications of Augmented Reality * Basics of Augmented Reality on the Android Platform * Adding Overlays * Artificial Horizons * Other Features of Augmented Reality * A Simple App Using AR * A More Complex Project Using More AR Features * A Project Using All AR Features * An AR Game

Learn Objective-C on the Mac - For OS X and iOS (Paperback, 2nd ed.): Scott Knaster, Mark Dalrymple, Waqar Malik Learn Objective-C on the Mac - For OS X and iOS (Paperback, 2nd ed.)
Scott Knaster, Mark Dalrymple, Waqar Malik
R1,037 R890 Discovery Miles 8 900 Save R147 (14%) Ships in 18 - 22 working days

Learn to write apps for some of today's hottest technologies, including the iPhone and iPad (using iOS), as well as the Mac (using OS X). It starts with Objective-C, the base language on which the native iOS software development kit (SDK) and the OS X are based. Learn Objective-C on the Mac: For OS X and iOS, Second Edition updates a best selling book and is an extensive, newly updated guide to Objective-C. Objective-C is a powerful, object-oriented extension of C, making this update the perfect follow-up to Dave Mark's bestselling Learn C on the Mac. Whether you're an experienced C programmer or you're coming from a different language such as C++ or Java, leading Mac experts Scott Knaster and Waqar Malik show how to harness the power of Objective-C in your apps A complete course on the basics of Objective-C using Apple's newest Xcode tools An introduction to object-oriented programming Comprehensive coverage of new topics like blocks, GCD, ARC, class extensions, as well as inheritance, composition, object initialization, categories, protocols, memory management, and organizing source files An introduction to building user interfaces using what is called the UIKit A primer for non-C programmers to get off the ground even faster What you'll learn Learn Objective-C programming, the gateway to programming your iPhone, iPad or Mac Write apps for the iOS and/or OS X interfaces, the cleanest user-interfaces around Understand variables and how to design your own data structures Work with the new Objective-C features now available in this update like blocks, automated reference counting (ARC) and class extensions Work with new tools available like Clang static analyzer and Grand Central Dispatch (GCD) Undertand UIKit and how to build simple user interfaces easily and effectively Explore using the latest Xcode Who this book is for

For anyone wanting to learn to program native apps in iOS and/orOS X, including developers new to the iOS-based iPhone and iPad as well as OS X-based Mac computers. This book is for developers new to Objective-C, but who have some programming experience. Table of Contents Hello Extensions to C Introduction to Object-Oriented Programming Inheritance Composition Source File Organization and Using Xcode 4 More About Xcode A Quick Tour of the Foundation Kit Memory Management and ARC Object Initialization Properties Categories Protocols Blocks and Concurrency Introduction to UIKit Introduction to the Application Kit File Loading and Saving Key-Value Coding Using the Static Analyzer NSPredicate

GNU Emacs - Pocket Reference (Paperback, 1st ed): Debra Cameron GNU Emacs - Pocket Reference (Paperback, 1st ed)
Debra Cameron
R414 R377 Discovery Miles 3 770 Save R37 (9%) Ships in 18 - 22 working days

O'Reilly's Learning GNU Emacs covers the most popular and widespread of the Emacs family of editors. The GNU Emacs Pocket Reference is a companion volume to Learning GNU Emacs. This small book, covering Emacs version 20, is a handy reference guide to the basic elements of this powerful editor, presenting the Emacs commands in an easy-to-use tabular format.

Windows Azure Platform (Paperback, 2nd ed.): Tejaswi Redkar, Tony Guidici Windows Azure Platform (Paperback, 2nd ed.)
Tejaswi Redkar, Tony Guidici
R1,210 R1,039 Discovery Miles 10 390 Save R171 (14%) Ships in 18 - 22 working days

The Windows Azure Platform has rapidly established itself as one of the most sophisticated cloud computing platforms available. With Microsoft working to continually update their product and keep it at the cutting edge, the future looks brightif you have the skills to harness it. In particular, new features such as remote desktop access, dynamic content caching and secure content delivery using SSL make the latest version of Azure a more powerful solution than ever before It's widely agreed that cloud computing has produced a paradigm shift in traditional architectural concepts by providing new ways to both store and process data. The basic concepts of the cloud are now well understood throughout the industry. What is much less well understood, and the primary focus of this book, is how the the Windows Azure technology can be applied in real-world scenarios and made to work for you. This book answers those questions, demonstrating how all the features of Windows Azureboth old and newcan be put to work. By the time you're done reading, you will be comfortable building high-quality end-to-end Windows Azure services of your own. The book, like the Azure platform itself, is divided into three key partsWindows Azure, SQL Azure, and Windows Azure AppFabric. Each of these plays a unique role in the functioning of your cloud service. It is the goal of this book to show you how to use these components, both separately and together, to build flawless cloud applications as well as hybrid architectures thatfit in alongside your business' existing systems. Pro Windows Azure Platform, Second Edition is a down-to-earth, code-centric book that shows precisely how the all the components of Windows Azure are employed, and demonstrates the techniques and best practices you'll need to put them to work. What you'll learn Everything you need to understand the Windows Azure platform componentsfrom Access Control to SQL Azure, from the ServiceBus to Windows Azure Connect The architectural theory behind Windows Azure and the nuts-and-bolts code that binds your services together How to design, build, and deploy an Azure service The critical new services of Azure and how the work: Windows Azure Connect, VMRole, SQLAzure Data Sync and Windows Azure AppFabric caching are all covered Who this book is for

This book is intended for professional developers who want to dig into the internals of Azure and start investigating its features in depthin order to adoptthem into their workflow systems. Table of Contents Windows Azure Platform Overview Windows Azure Compute Windows Azure Storage, Part I: Blobs and Drives Windows Azure Storage, Part II: Queues Windows Azure Storage, Part III: Tables VMRole and Windows Azure Connect AppFabric: Access Control Service AppFabric: Service Bus AppFabric: Caching SQLAzure

Pro Windows Embedded Compact 7 - Producing Device Drivers (Paperback, 1st ed.): Abraham Kcholi Pro Windows Embedded Compact 7 - Producing Device Drivers (Paperback, 1st ed.)
Abraham Kcholi
R1,538 Discovery Miles 15 380 Ships in 18 - 22 working days

Windows Embedded Compact 7 is the natural choice for developing sophisticated, small-footprint devices for both consumers and the enterprise. For this latest version, a number of significant enhancements have been made, most notably the ability to run multi-core processors and address more than the 512 MB of memory constraint in previous versions. Using familiar developer tools, Pro Windows Embedded Compact 7 will take you on a deep-dive into device driver development. You'll learn how to set up your working environment, the tools that you'll need and how to think about developing for small devices before quickly putting theory into practice and developing your own first driver from the ground up. As you delve deeper into the details of driver development, you'll learn how to master hardware details, deal with I/O and interrupts, work with networks, and test and debug your drivers ready for deployment - all in the company of an author who's been working with Windows CE for more than a decade. Packed with code samples, Pro Windows Embedded Compact 7 contains everything you'll need to start developing for small footprint devices with confidence. What you'll learn * Understand the internals of Windows Embedded * Know how the Windows Embedded Compact device driver model works * Plan and design your device driver from scratch * Develop stream interface device drivers * Learn how to develop NDIS network device drivers * Debug and test device drivers for quality and performance Who this book is for This book is ideal for anyone who wants to learn how to develop device drivers. While primarily focused on driver development, it also provides useful insights for both application developers and BSP developers. Table of ContentsPart I: Getting Started * Introduction to Device Driver Development for Embedded OSs * Development Environments - The Tools of the Trade Part II: Fundamentals * Design your Device Driver First * Mastering the Hardware Details * Dealing with Device Driver Registry Settings Part III: Device Driver Types * Understanding Device Drivers * The Essence of Stream Device Drivers Part IV: Device Driver I/O Essentials * Device Driver I/O and Interrupts * Device I/O Control Handling * Network Device Drivers Part V: Debugging and Testing * Debugging Device Driver Code * Using CTK to Develop Test Code

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Coding Basics for Beginners - The Smart…
Jefferson Sandyman Hardcover R588 Discovery Miles 5 880
BTEC Nationals Information Technology…
Jenny Phillips, Alan Jarvis, … Paperback R1,018 Discovery Miles 10 180
Kubernetes - The Ultimate Beginners…
Mark Reed Hardcover R552 R506 Discovery Miles 5 060
Linux - The Ultimate Crash Course to…
Mark Reed Hardcover R558 R512 Discovery Miles 5 120
Powershell - The ultimate beginner's…
Craig Newport Hardcover R546 R500 Discovery Miles 5 000
Linux - A complete guide to Linux…
James Arthur Hardcover R546 R500 Discovery Miles 5 000
Mike Meyers' CompTIA A+ Guide to 802…
Mike Meyers Paperback R1,201 Discovery Miles 12 010
Microsoft Windows 10 Tips & Tricks
Joan Lambert Fold-out book or chart R229 Discovery Miles 2 290
PowerShell - A Comprehensive Guide to…
Sam Griffin Hardcover R566 R520 Discovery Miles 5 200
PowerShell - The Ultimate Beginners…
Mark Reed Hardcover R567 R521 Discovery Miles 5 210

 

Partners