» książki » Computers - Programming - General
topmenu
 |
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report
ISBN: 9783540605898 / Angielski / Miękka / 458 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance.
The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface... This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Re...
|
cena:
205,02 |
 |
Ada in Europe: Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995
ISBN: 9783540607571 / Angielski / Miękka / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the refereed proceedings of the Second International Eurospace - Ada-Europe Symposium, held in Frankfurt, Germany, in October 1995.
The 37 selected revised papers are organized in sections on Ada 95: the future, safety, language, applications, distribution, methods and tools, design methods, life cycle, real-time, and methods. Many significant features of the new Ada 95 version, officially issued in February 1995, are addressed. Besides Ada-specific problems, general software engineering aspects are also presented. This book presents the refereed proceedings of the Second International Eurospace - Ada-Europe Symposium, held in Frankfurt, Germany, in October 1995....
|
cena:
205,02 |
 |
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 1995. Selected Papers
ISBN: 9783540612544 / Angielski / Miękka / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.
The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed. This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Or...
|
cena:
205,02 |
 |
Transformation-Based Reactive Systems Development: 4th International Amast Workshop on Real-Time Systems and Concurrent and Distributed Software, Arts
ISBN: 9783540630104 / Angielski / Miękka / 429 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997.
The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed. This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software...
|
cena:
205,02 |
 |
Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany,
ISBN: 9783540672616 / Angielski / Miękka / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised v e conferences (FOSSACS, FASE, ESOP, CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis, and improvement. The languages,...
ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was estab...
|
cena:
205,02 |
 |
Oracle Jdeveloper 11g Handbook: A Guide to Oracle Fusion Web Development
ISBN: 9780071602389 / Angielski / Miękka / 912 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Written by the most knowledgeable Oracle JDeveloper author team in the worldThis Oracle Press guide shows how to build Web applications using the Fusion Middleware development tool, Oracle JDeveloper. The book discusses the latest technologies and explains how to develop code using multiple techniques.Oracle JDeveloper 11g Handbook: A Guide to Fusion Web Development covers the Oracle Application Development Framework and JavaServer Faces. Hands-on practice examples walk you through the creation of a complete sample application that employs highly-interactive...
Written by the most knowledgeable Oracle JDeveloper author team in the worldThis Oracle Press guide shows how to build Web applic...
|
cena:
283,50 |
 |
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
ISBN: 9783540590484 / Angielski / Miękka / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995.
The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems. This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1...
|
cena:
205,02 |
 |
Computable Models
ISBN: 9781848820517 / Angielski / Twarda / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, Raymond Turner uses this framework to introduce and study computable models. In doing so he presents the first systematic attempt to provide computational models with a logical foundation. Computable models have wide-ranging applications from programming language semantics and specification languages, through to knowledge representation languages and formalism for natural language semantics.... Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specif... |
cena:
205,02 |
 |
Principles of Distributed Systems: 10th International Conference, Opodis 2006, Bordeaux, France, December 12-15, 2006, Proceedings
ISBN: 9783540499909 / Angielski / Miękka / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 10th International Conference on Principles of Distributed Systems, OPODIS 2006, held at Bordeaux, France, in December 2006. The 28 revised full papers presented together with two invited talks address all current issues in theory, specification, design and implementation of distributed and embedded systems. This book constitutes the refereed proceedings of the 10th International Conference on Principles of Distributed Systems, OPODIS 2006, held at Bord... |
cena:
205,02 |
 |
Parle '94 Parallel Architectures and Languages Europe: 6th International Parle Conference, Athens, Greece, July 4 - 8, 1994. Proceedings
ISBN: 9783540581840 / Angielski / Miękka / 843 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume features 60 papers and 24 poster presentations from a conference on parallel architectures, covering the entire field of parallel computing and providing a state-of-the-art report on research and advanced applications.
This volume features 60 papers and 24 poster presentations from a conference on parallel architectures, covering the entire field of parallel computin...
|
cena:
545,69 |
 |
Design Requirements Engineering: A Ten-Year Perspective: Design Requirements Workshop, Cleveland, Oh, Usa, June 3-6, 2007, Revised and Invited Papers
ISBN: 9783540929659 / Angielski / Miękka / 512 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Based on the Design Requirements Workshop, held June 3-6, 2007, in Cleveland, OH, USA, where leading researchers met to assess the state of affairs and define new directions, this book includes papers that were reviewed and selected to give an overview of the development and an outlook on probable future challenges and priorities.
Based on the Design Requirements Workshop, held June 3-6, 2007, in Cleveland, OH, USA, where leading researchers met to assess the state of affairs an...
|
cena:
205,02 |
 |
Bridging the Communication Gap: Specification by Example and Agile Acceptance Testing
ISBN: 9780955683619 / Angielski / Miękka / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Bridging the Communication Gap is a book about improving communication between customers, business analysts, developers and testers on software projects, especially by using specification by example and agile acceptance testing. These two key emerging software development practices can significantly improve the chances of success of a software project. They ensure that all project participants speak the same language, and build a shared and consistent understanding of the domain. This leads to better specifications, flushes out incorrect assumptions and ensures that functional gaps are...
Bridging the Communication Gap is a book about improving communication between customers, business analysts, developers and testers on software projec...
|
cena:
157,46 |
 |
Matlab: Data Analysis and Visualization
ISBN: 9789812835543 / Angielski / Twarda / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. MATLAB is the language of technical computing known and used in academia, industry and services. It is composed of a set of tools and a large number of functions, graphics objects with associated properties and operators. The book looks at the main tools, in particular the Desktop, the Command and History Window, the Editor and the Help Browser.
MATLAB is the language of technical computing known and used in academia, industry and services. It is composed of a set of tools and a large number o...
|
cena:
268,79 |
 |
Java Message Service: Creating Distributed Enterprise Applications
ISBN: 9780596522049 / Angielski / Miękka / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Java Message Service, Second Edition, is a thorough introduction to the standard API that supports "messaging" -- the software-to-software exchange of crucial data among network computers. You'll learn how JMS can help you solve many architectural challenges, such as integrating dissimilar systems and applications, increasing scalability, eliminating system bottlenecks, supporting concurrent processing, and promoting flexibility and agility. Java Message Service, Second Edition, is a thorough introduction to the standard API that supports "messaging" -- the software-to-software... |
cena:
157,46 |
 |
Instant JavaScript
ISBN: 9780072129946 / Angielski / Miękka / 740 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a guide to using JavaScript, providing more than 90 ready-to-use scripts, in the book and on the CD-ROM. This guide covers a broad range of JavaScript functions, from creating forms, windows and Website menus, to handling graphics and email and creating e-commerce applications - such as shopping cart and product catalogue. It also covers using DHTML, detecting Active X and Plugins, and security issues.
This is a guide to using JavaScript, providing more than 90 ready-to-use scripts, in the book and on the CD-ROM. This guide covers a broad range of Ja...
|
cena:
240,19 |
 |
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
ISBN: 9783540213147 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003). All but the ?rst SPIN workshop were organized as satellite events of larger conferences, in particular of CAV (1996), TACAS (1997), FORTE/PSTV (1998), FLOC (1999), the World Congress on Formal Methods (1999), FMOODS (2000), ICSE (2001, 2003) and ETAPS (2002). This year again, SPIN was held as a satellite event of...
Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr eal (1995), New Brunswick (1996), ...
|
cena:
272,82 |
 |
Visualization and Mathematics III
ISBN: 9783540012955 / Angielski / Twarda / 457 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mathematical Visualization aims at an abstract framework for fundamen- tal objects appearing in visualization and at the application of the manifold visualization techniques to problems in geometry, topology and numerical mathematics. The articles in this volume report on new research results in this field, on the development of software and educational material and on mathematical applications. The book grew out of the third international workshop "Visualization and Mathematics," which was held from May 22-25, 2002 in Berlin (Germany). The workshop was funded by the...
Mathematical Visualization aims at an abstract framework for fundamen- tal objects appearing in visualization and at the application of the manifold v...
|
cena:
843,36 |
 |
Maya Manual
ISBN: 9781852335885 / Angielski / Twarda / 340 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Alias-Wavefront's Maya 3D animation software is an integrated collection of tools for creating computer generated images, used in nearly every blockbuster special effects film that has been released in the last few years. The first choice for digital content creators, Maya combines animation, dynamics, modelling and rendering tools, enabling you to create digital characters and visual effects for live action films or stand-alone animation. Key Topics Using plenty of examples and illustrations to provide insights into the functioning and context of Maya, Dan Lavender explains how to:...
Alias-Wavefront's Maya 3D animation software is an integrated collection of tools for creating computer generated images, used in nearly every blockbu...
|
cena:
205,02 |
 |
Customer Knowledge Management: People, Processess, and Technology
ISBN: 9781605662589 / Angielski / Twarda / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Customer knowledge is becoming the new competitive asset in e-business that enables companies to serve each customer in his or her preferred way, and to nurture profitable and durable customer relationships. As companies grow and interact with more and more customers through increasingly diverse media and channels, having a systematic approach to customer knowledge management becomes critical. Customer Knowledge Management: People, Processes, and Technology introduces an integrated approach to analyzing and building customer knowledge management (CKM) synergy for sustainable competitive...
Customer knowledge is becoming the new competitive asset in e-business that enables companies to serve each customer in his or her preferred way, and ...
|
cena:
859,28 |
 |
Advanced Software Engineering: Expanding the Frontiers of Software Technology
ISBN: 9780387348285 / Angielski / Twarda / 170 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. On behalf of the Organizing Committee for this event, we are glad to welcome you to IWASE 2006, the First International Workshop on Advanced Software Engineering. We hope you will enjoy the traditional Chilean hospitality and, of course, please tell us how we can make your visit a pleasant and useful experience. The goal of this Workshop is to create a new forum for researchers, professionals and educators to discuss advanced software engineering topics. A distinctive feature of this Workshop is its attempt to foster interactions between the Latin-American software engineering community and...
On behalf of the Organizing Committee for this event, we are glad to welcome you to IWASE 2006, the First International Workshop on Advanced Software ...
|
cena:
205,02 |
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
