» książki » Computers - Programming - General
topmenu
 |
Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques
ISBN: 9781447141259 / Angielski / Twarda / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques presents an overall analysis of meta-programming, focusing on insights of meta-programming techniques, heterogeneous meta-program development processes in the context of model-driven, feature-based and transformative approaches. The fundamental concepts of meta-programming are still not thoroughly understood, in this well organized book divided into three parts the authors help to address this. Chapters include: Taxonomy of fundamental concepts of meta-programming; Concept of... Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques presents an overall analysis of meta-progra... |
cena:
402,53 |
 |
The Dawn of Software Engineering: From Turing to Dijkstra
ISBN: 9789491386022 / Angielski / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contrary to what many believe, Alan Turing is not the father of the all-purpose computer. Engineers were, independently of Turing, already building such machines during World War II. Turings influence was felt more in programming after his death than in computer building during his lifetime. The first person to receive a Turing award was a programmer, not a computer builder.
Logicians and programmers recast Turings notions of machine and universality. Gradually, these recast notions helped programmers to see the bigger picture of what they were accomplishing. Later, problems unsolvable with... Contrary to what many believe, Alan Turing is not the father of the all-purpose computer. Engineers were, independently of Turing, already building su...
|
cena:
115,61 |
 |
Twilio Cookbook
ISBN: 9781782166061 / Angielski / Miękka / 266 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Have you ever wanted to integrate phone features into a project you were working on? Maybe you wanted to send SMS messages to your customers about the latest sales? Maybe you want to set up a company directory with voice mail? Or maybe you want to add two factor authentication to your web sites to verify your users? Since Twilio was launched in 2007, developers have had a way to do these tasks. The power of Twilio s API is huge and lets you add any type of phone solution to your web site from 2-factor authentication for verifying your users, to setting up a company directory and a voice mail...
Have you ever wanted to integrate phone features into a project you were working on? Maybe you wanted to send SMS messages to your customers about the...
|
cena:
237,33 |
 |
Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
ISBN: 9783642402128 / Angielski / Miękka / 283 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 5th IPM International Conference on Fundamentals of Software Engineering, FSEN 2013, held in Tehran, Iran, in April 2013. The 17 full papers presented in this volume were carefully reviewed and selected from 65 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.
This book constitutes the proceedings of the 5th IPM International Conference on Fundamentals of Software Engineering, FSEN 2013, held in Tehran, Iran...
|
cena:
201,24 |
 |
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings
ISBN: 9783642402289 / Angielski / Miękka / 275 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013. The 18 revised full papers presented were carefully reviewed and selected from 41 submissions. The book covers topics of foundations and semantics (theoretical foundations of timed systems and languages; comparison between different models, such as timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models); methods and Tools (techniques,...
This book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, he...
|
cena:
185,18 |
 |
Distributed Programming: Theory and Practice
ISBN: 9781461448808 / Angielski / Twarda / 386 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Distributed Programming: Theory and Practice presents a practical and rigorous method to develop distributed programs that correctly implement their specifications. The method also covers how to write specifications and how to use them. Numerous examples such as bounded buffers, distributed locks, message-passing services, and distributed termination detection illustrate the method. Larger examples include data transfer protocols, distributed shared memory, and TCP network sockets. Distributed Programming: Theory and Practice bridges the gap between books that focus on... Distributed Programming: Theory and Practice presents a practical and rigorous method to develop distributed programs that correctly impleme... |
cena:
201,24 |
 |
A Hardware Interfacing And Control Protocol: Using RobotBASIC And The Propeller Chip
ISBN: 9781438272849 / Angielski / Miękka / 340 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The PC used to allow control of electronic hardware by interfacing through its I/O ports and operating system that allowed deterministic real-time control. The PC grew progressively more complex and powerful at doing GUI, multitasking, 3D graphics, virtual memory management, and much more. But it also became extremely convoluted to program while also prohibiting any access to low-level I/O systems. In the meantime, microcontrollers were becoming more powerful, easier to program and cheaper. Naturally, engineers and hobbyists are opting to use them for their projects instead of the PC....
The PC used to allow control of electronic hardware by interfacing through its I/O ports and operating system that allowed deterministic real-time con...
|
cena:
80,72 |
 |
Cloud Architecture Patterns
ISBN: 9781449319779 / Angielski / Miękka / 100 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. If your team is investigating ways to design applications for the cloud, this concise book introduces 11 architecture patterns that can help you take advantage of cloud-platform services. You ll learn how each of these platform-agnostic patterns work, when they might be useful in the cloud, and what impact they ll have on your application architecture. You ll also see an example of each pattern applied to an application built with Windows Azure. The patterns are organized into four major topics, such as scalability and handling failure, and primer chapters provide background on each... If your team is investigating ways to design applications for the cloud, this concise book introduces 11 architecture patterns that can help you ta... |
cena:
97,90 |
 |
Robotbasic Projects for the Lego Nxt: Robot Programming for Beginners
ISBN: 9781450558570 / Angielski / Miękka / 122 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Lego's NXT system allows you to snap together a robot base complete with a variety of self-contained, modular sensors and motors. The problem with the NXT Robot though is software. While the visual programming language that ships with the system is supposed to be easy-to-use for beginners, many find it far from intuitive. Unless the tasks you are attempting are rudimentary and uncomplicated you may find the NXT's programming procedures difficult to comprehend. Even many of the after-market languages available for the NXT have cryptic syntax that can frustrate a new user. One solution to these...
Lego's NXT system allows you to snap together a robot base complete with a variety of self-contained, modular sensors and motors. The problem with the...
|
cena:
40,26 |
 |
Origins of Programming: Discourses on Methodology
ISBN: 9781461279471 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book begins with a detailed discussion of two problems that have played an extremely important role in the emergence of theoretical programming as an independent discipline. The principal goals in this book are to explain the line of thought that was followed in solving these problems, demonstrate the workings of the mathematical way of thinking, carefully analyze the different stages of descriptive analysis and problem formulation, and reveal the aesthetic component in the search for solutions - in other words, to try to turn the reader into a true witness of the process of discovering...
The book begins with a detailed discussion of two problems that have played an extremely important role in the emergence of theoretical programming as...
|
cena:
201,24 |
 |
Probabilistic Analysis of Algorithms: On Computing Methodologies for Computer Algorithms Performance Evaluation
ISBN: 9781461291602 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Probabilistic Analysis of Algorithms begins with a presentation of the "tools of the trade" currently used in probabilistic analyses, and continues with an applications section in which these tools are used in the analysis ofr selected algorithms. The tools section of the book provides the reader with an arsenal of analytic and numeric computing methods which are then applied to several groups of algorithms to analyze their running time or storage requirements characteristics. Topics covered in the applications section include sorting, communications network protocols and bin packing....
Probabilistic Analysis of Algorithms begins with a presentation of the "tools of the trade" currently used in probabilistic analyses, and conti...
|
cena:
201,24 |
 |
Software Engineering on Sun Workstations(r)
ISBN: 9781461391203 / Angielski / Miękka / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software Engineering on Sun Workstations is the most comprehensive volume of technical information about software development available for the Sun Workstation. This book is of great interest to both large and small-scale software developers in all sectors of commercial, scientific and technical applications programming. This book presents an in-depth look at Computer Assisted Software Engineering (CASE) and CASE tools, an important element in building large-scale commercial computer applications and state-of-the-art programs. Topics explored in the book include: ToolTalk...
Software Engineering on Sun Workstations is the most comprehensive volume of technical information about software development available for the...
|
cena:
201,24 |
 |
String-Rewriting Systems
ISBN: 9781461397731 / Angielski / Miękka / 189 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The subject of this book is string-rewriting systems. It is generally accepted that string-rewriting was first introduced by Axel Thue in the early part of this century. In the 1960's and early 1970's, it received renewed attention due to interest in formal language theory. In the 1980's and 1990's, it has received more interest since it can be viewed as a special case of term rewriting, a subject that has become important in the study of automated deduction. Today, string-rewriting is studied by researchers in theoretical computer science and also by researchers interested in the foundations...
The subject of this book is string-rewriting systems. It is generally accepted that string-rewriting was first introduced by Axel Thue in the early pa...
|
cena:
201,24 |
 |
Temporal Logic of Programs
ISBN: 9783642715518 / Angielski / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic...
|
cena:
201,24 |
 |
Syntax-Directed Semantics: Formal Models Based on Tree Transducers
ISBN: 9783642722509 / Angielski / Miękka / 269 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a motivated presentation of recent results on tree transducers, applied to studying the general properties of formal models and for providing semantics to context-free languages. The authors consider top-down tree transducers, macro tree transducers, attributed tree transducers, and macro attributed tree transducers. A unified terminology is used to define them, and their transformational capacities are compared. This handbook on tree transducers will serve as a base for further research.
This is a motivated presentation of recent results on tree transducers, applied to studying the general properties of formal models and for providing ...
|
cena:
402,53 |
 |
User Interface Management and Design: Proceedings of the Workshop on User Interface Management Systems and Environments Lisbon, Portugal, June 4-6, 19
ISBN: 9783642762857 / Angielski / Miękka / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is a record of the Workshop on User Interface Management Systems and Environments held at INESC, Lisbon, Portugal, between 4 and 6 June 1990. The main impetus for the workshop came from the Graphics and Interaction in ESPRIT Technical Interest Group of the European Community ESPRIT Programme. The Graphics and Interac tion in ESPRIT Technical Interest Group arose from a meeting of researchers held in Brussels in May 1988, which identified a number of technical areas of common interest across a significant number of ESPRIT I and ESPRIT II projects. It was recognized that there was a...
This volume is a record of the Workshop on User Interface Management Systems and Environments held at INESC, Lisbon, Portugal, between 4 and 6 June 19...
|
cena:
402,53 |
 |
Programming and Mathematical Method: International Summer School
ISBN: 9783642775741 / Angielski / Miękka / 407 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. In particular mathematical methods for the development of programs as parts of distributed systems were included. Mathematical programming methods are a very important topic for which a lot of research in recent years has been carried out. In the Marktoberdorf Summer School outstanding scientists lectured on mathematical programming methods. The lectures centred around logical and functional calculi for the...
The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and suppo...
|
cena:
402,53 |
 |
Analytical Methods in Software Engineering Economics
ISBN: 9783642777974 / Angielski / Miękka / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents a selection of the presentations from the first annual conference on Analytical Methods in Software Engineering Economics held at The MITRE Corporation in McLean, Virginia. The papers are representative of the issues that are of interest to researchers in the economics of information systems and software engineering economics. The 1990s are presenting software economists with a particularly difficult set of challenges. Because of budget considerations, the number of large new software development efforts is declining. The primary focus has shifted to issues relating to...
This volume presents a selection of the presentations from the first annual conference on Analytical Methods in Software Engineering Economics held at...
|
cena:
442,79 |
 |
Iteration Theories: The Equational Logic of Iterative Processes
ISBN: 9783642780363 / Angielski / Miękka / 630 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au dience consists of graduate students and research scientists interested in mathematical treatments of semantics. We assume the reader has a good mathematical background, although we provide some prelimi nary facts in Chapter 1. Written both for graduate students and research scientists in theoret ical computer science and mathematics, the book provides a detailed investigation of the properties of the fixed point or iteration operation. Iteration plays a...
This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au dience co...
|
cena:
402,53 |
 |
Objekte Integrieren Mit OLE2: Microsofts Basistechnologie Für Objektorientierte Architektur
ISBN: 9783642787546 / Niemiecki / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Objektorientierte Architektur revolutioniert die Softwareszene: Anwendungsobjekte ersetzen die Anwendungspakete. Statt kompletter Anwendungspakete (wie ein Desktop Publishing System) kaufen Anwendungsentwickler - und in Zukunft auch Anwender - Anwendungsobjekte, diekleinere, in sich abgeschlossene, funktionale Einheiten realisieren (wiez.B. eine Rechtschreibpr}fung). Diese Anwendungsobjekte - am Markt verf}gbare wie auch individuell entwickelte - integrieren sie zu individuellen Anwendungsumgebungen, die auf den einzelnen Anwender abgestimmt sind. Dabei k-nnen frei am Markt verf}gbare wie...
Objektorientierte Architektur revolutioniert die Softwareszene: Anwendungsobjekte ersetzen die Anwendungspakete. Statt kompletter Anwendungspakete (wi...
|
cena:
206,88 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
