Computers and Software : 18 results priced between € 10.00 and € 3,000.00

These conference papers are organized into topical sections in computational geometry, process algebras, program semantics, algorithms, rewriting and equational-temporal logics, complexity theory, and type theory.

Students preparing to work with mechatronics, particularly with highly precise and smart actuators, face the challenge of designing and analyzing devices without formal and practical guidance in computer techniques. This title outlines the theory needed to develop and design smart actuators and transducers.

The Medisana MTM upper arm unit features the very latest technology in blood pressure monitoring. Measurement Average Mode takes 3 readings and displays the average - no more false or fluctuating readings. If you know you have blood pressure and want the most accurate technology available then this is the unit for you. The Unit includeds software for uploading and monitoring the blood pressure values on your PC. 51060

The programme uses electronic devices, such as computers and mobile phones, computer software and networks to store, process, transmit, retrieve and manipulate information. It has a flexible course structure, where students can choose to study a range of Next-Generation Technology areas including: Digital Media and Games, Enterprise Informatics, Energy Informatics, Computational Mathematics, Scientific Computing and Medical/ Bio-informatics. These core subjects provide a solid theoretical and applied...

Description: Contains the key cases on Internet and computer law, including Altai and Napster as well as newer cases such as Grokster, Rescuecom v. Google and a discussion of the Google Books settlement. The patents chapter provides thorough coverage of the patentability of software, computer-implemented business methods, and Internet techniques. The chapters of the book are fully independent, allowing law teachers to design a course suiting their preferences and tailored to the number of available...

- Have your new computer delivered to you, pre-installed and ready to go. - We will set up a user account to allow you to fully use your new computer straight from the box - We will install any software (such as Microsoft Office, Cloud, or Norton Security) that you purchase with your new computer. - We will install any devices (such as printers or webcams) that you purchase with your computer. - Applies to Desktop and Laptop computers - Receive a full report of all installations and settings

Description: This book constitutes the refereed proceedings of the 2nd IFIP International Conference on Computer and Computing Technologies in Agriculture. The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers...

Description: This book constitutes the refereed proceedings of the 2nd IFIP International Conference on Computer and Computing Technologies in Agriculture held in Beijing, China on October 18-20, 2008. The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling...

The papers presented here are organized in topical sections on verification and validation, software process improvement, formal methods, safety guidelines, standards and certification hardware aspects, safety assessment, design for safety and transport, and infrastructure.

This work is based on papers presented at the 1994 and 1995 IOPADS workshops held in conjunction with the International Parallel Processing Symposium. It provides a survey of issues in input/output in parallel and distributed computer systems and also looks at software and architecture.

Both on the bike and on the PC, the SIGMA ROX 9.0 answers just about all the questions you could imagine. Besides measuring altitude, inclination and temperature, the newly developed digitally encoded 3-channel wireless STS (SIGMA TRANSMISSION SYSTEM) makes it possible to use several sensors, such as pulse measurement, speed and cadence transmitter, at the same time. Using the docking station and DataCenter software included in delivery, trip data can then be clearly displayed in graphic form and...

Book introduces the concepts of electronic circuit design and fabrication with computer aided software tools. It starts with basic circuit design and ends with a complete project. Pre-requisites would extend one computer programming course and analog digital electronics.

* Includes Wasp Inventory Control software, DT10 mobile computer, and WPL305 desktop barcode printer. * The DT10 mobile computer offers a lightweight, pocket sized design, without compromising performance. * Ideal for warehouse, retailers, manufacturing and distribution centres and stock-carrying trucks, ships or containers. * With the ability to withstand multiple 1.2 meter drops to concrete, the DT10 is ideal for retail and field force automation environments. * The WPL305 desktop barcode printer...

This book offers a "hands-on" approach to teaching Discrete Mathematics. Using software that is freely available on Mac, PC & Unix platforms, the functional language Haskell allows students to experiment with mathematical notations & concepts -- a practical approach that provides students with instant feedback & allows lecturers to monitor progress easily.This 2nd edition contains additional material on the applications of formal methods to practical programming problems. There are more examples...

Description: Fraunhofer IESE Series in Software Engineering A Handbook of Software and Systems Engineering Empirical Laws, Observations and Theories Computers are the most pervasive tools of modern society. Their deployment relies on advanced methods of software and systems engineering. Based on repeated and consistent observations, key lessons of these fields can now be formulated into rules or even laws, providing initial building blocks towards a theoretical foundation that is essential for further...

Description Instructors Length: 2 days CEUs: 1.50 PDHs: 15.00 Focusing primarily on Subpart 2.7, QA Requirements for Computer Software, this course examines the requirements found in NQA-1 for using computer software in nuclear facilities. Participants will learn to apply NQA-1 to the practice of developing, using, maintaining or procuring software used in nuclear facilities. Each participant will receive a complimentary copy of the ASME NQA-1 - Quality Assurance Requirements for Nuclear Facility...

Brings together in one place important contributions and research results in this important area. This work provides insight into some of the most important research issues in the field.