ilość książek w kategorii: 2446
![]() |
Pdca/Test
ISBN: 9780849399800 / Angielski / Twarda / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Most manuals assume software testing is being performed as part of a well-defined, structured development cycle based on clearly stated requirements and standards. Unfortunately, this is not often the case in the real world. Indeed, the one true constant in software development is change.
PDCA/TEST presents a continuous quality framework based on Dr. Edward Deming's famous rapid application "spiral" development model for quality through a continuous improvement process to promote effective testing methods in both structured and unstructured environments. William E. Lewis shows you... Most manuals assume software testing is being performed as part of a well-defined, structured development cycle based on clearly stated requirements a...
|
cena:
2846,47 |
![]() |
Lean Business Systems and Beyond: First Ifip Tc 5 Advanced Production Management Systems Conference (Apms'2006), Wroclaw, Poland, September 18-20, 200
ISBN: 9780387772486 / Angielski / Twarda / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Lean Manufacturing has proved to be one of the most successful and most powerful production business systems over the last decades. Its application enabled many companies to make a big leap towards better utilization of resources and thus provide better service to the customers through faster response, higher quality and lowered costs. Lean is often described as "eyes for flow and eyes for muda" philosophy. It simply means that value is created only when all the resources flow through the system. If the flow is stopped no value but only costs and time are added, which is muda (Jap. waste)....
Lean Manufacturing has proved to be one of the most successful and most powerful production business systems over the last decades. Its application en...
|
cena:
608,07 |
![]() |
Computer and Computing Technologies in Agriculture, Volume I: First IFIP TC 12 International Conference on Computer and Computing Technologies in Agri
ISBN: 9780387772509 / Angielski / Twarda / 736 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The papers in this volume comprise the refereed proceedings of the the First International Conference on Computer and Computing Technologies in Ag- culture (CCTA 2007), in Wuyishan, China, 2007. This conference is organized by China Agricultural University, Chinese Society of Agricultural Engineering and the Beijing Society for Information Technology in Agriculture. The purpose of this conference is to facilitate the communication and cooperation between institutions and researchers on theories, methods and implementation of computer science and information technology. By researching...
The papers in this volume comprise the refereed proceedings of the the First International Conference on Computer and Computing Technologies in Ag- cu...
|
cena:
608,07 |
![]() |
Computer and Computing Technologies in Agriculture, Volume II: First IFIP TC 12 International Conference on Computer and Computing Technologies in Agr
ISBN: 9780387772523 / Angielski / Twarda / 738 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The papers in this volume comprise the refereed proceedings of the First Int- national Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), in Wuyishan, China, 2007. This conference is organized by China Agricultural University, Chinese Society of Agricultural Engineering and the Beijing Society for Information Technology in Agriculture. The purpose of this conference is to facilitate the communication and cooperation between institutions and researchers on theories, methods and implementation of computer science and information technology. By researching information...
The papers in this volume comprise the refereed proceedings of the First Int- national Conference on Computer and Computing Technologies in Agricultur...
|
cena:
608,07 |
![]() |
Designing Digital Computer Systems with Verilog
ISBN: 9780521045728 / Angielski / Miękka / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Using Verilog, a leading commercial hardware description language, this text describes how to specify, design, and test a complete digital system. After a brief introduction to the Verilog language, the instruction set architecture (ISA) for the simple VeSPA (Very Small Processor Architecture) processor is defined. The remainder of the book demonstrates how both behavioral and structural models can be developed and intermingled in Verilog.
Using Verilog, a leading commercial hardware description language, this text describes how to specify, design, and test a complete digital system. Aft...
|
cena:
368,85 |
![]() |
Handbook of Enterprise Integration
ISBN: 9781420078213 / Angielski / Twarda / 728 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Maintaining compatibility among all affected network and application interfaces of modern enterprise systems can quickly become costly and overwhelming. This handbook presents the knowledge and practical experience of a global group of experts from varying disciplines to help you plan and implement enterprise integration projects that respond to business needs quickly and are seamless to business users. The Handbook of Enterprise Integration brings together the latest research and application results to provide infrastructure engineers, software engineers, software... Maintaining compatibility among all affected network and application interfaces of modern enterprise systems can quickly become costly and overwhel... |
cena:
760,69 |
![]() |
Stochastic Network Calculus
ISBN: 9781848001268 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Network calculus is a theory dealing with queuing systems found in computer networks. Its focus is on performance guarantees. Central to the theory is the use of alternate algebras such as the min-plus algebra to transform complex network systems into analytically tractable systems. To simplify the ana- sis, another idea is to characterize tra?c and service processes using various bounds. Since its introduction in the early 1990s, network calculus has dev- oped along two tracks-deterministic and stochastic. This book is devoted to summarizing results for stochastic network calculus that can...
Network calculus is a theory dealing with queuing systems found in computer networks. Its focus is on performance guarantees. Central to the theory is...
|
cena:
202,66 |
![]() |
Software Engineering - Esec-Fse '97: 6th European Software Engineering Conference Held Jointly with the 5th ACM Sigsoft Symposium on the Foundations o
ISBN: 9783540635314 / Angielski / Miękka / 538 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 6th European Conference on Software Engineering, FSE '97, held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, FSE '97 in Zurich, Switzerland in September 1997.
The volume presents 27 revised full papers selected from a total of 194 submissions. Also included are six invited presentations. All in all the volume is a unique presentation of state-of-the-art research and development in software engineering. The papers are organized in topical sections on software engineering education, software... This book constitutes the refereed proceedings of the 6th European Conference on Software Engineering, FSE '97, held jointly with the 5th ACM SIGSOFT ...
|
cena:
202,66 |
![]() |
Fachtagung Prozessrechner 1974: Gfk-Gi-Gmr. Karlsruhe, 10.-11. Juni 1974
ISBN: 9783540067863 / Niemiecki / Miękka / 620 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
90,93 |
![]() |
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997,
ISBN: 9783540627906 / Angielski / Miękka / 437 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997.
The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem... This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of System...
|
cena:
202,66 |
![]() |
Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-1
ISBN: 9783540645368 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the refereed proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe'98, held in Uppsala, Sweden, in June 1998.
The 23 revised full papers presented together with two invited contributions were carefully selected by the program committee. The papers address all current aspects of the Ada programming language; they are organized in sections on Ada 95 and Java, Ada 95 language and tools, distributed systems, real-time systems, case studies and experiments, software quality, software development, software architectures, and... This book presents the refereed proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe'98, held in ...
|
cena:
202,66 |
![]() |
Modeling Software Behavior: A Craftsman's Approach
ISBN: 9781420080759 / Angielski / Twarda / 222 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A common problem with most texts on requirements specifications is that they emphasize structural models to the near exclusion of behavioral models-focusing on what the software is, rather than what it does. If they do cover behavioral models, the coverage is brief and usually focused on a single model. Modeling Software Behavior: A Craftsman's Approach provides detailed treatment of various models of software behavior that support early analysis, comprehension, and model-based testing. Based on the popular and continually evolving course on requirements... A common problem with most texts on requirements specifications is that they emphasize structural models to the near exclusion of behavioral models... |
cena:
515,31 |
![]() |
Dojo: The Definitive Guide: The Definitive Guide
ISBN: 9780596516482 / Angielski / Miękka / 488 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Of all the Ajax-specific frameworks that have popped up in recent years, one clearly stands out as the industrial strength solution. Dojo is not just another JavaScript toolkit--it's the JavaScript toolkit--and Dojo: The Definitive Guide demonstrates how to tame Dojo's extensive library of utilities so that you can build rich and responsive web applications like never before. Dojo founder Alex Russell gives a foreword that explains the "why" of Dojo and of this book. Dojo provides an end-to-end solution for development in the browser, including everything from the... Of all the Ajax-specific frameworks that have popped up in recent years, one clearly stands out as the industrial strength solution. Dojo is not ju... |
cena:
154,94 |
![]() |
Reliable Software Technologies -- Ada-Europe 2006: 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5
ISBN: 9783540346630 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal, June 5-9, 2006. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. It was organized by members of the School of Engineering of the Polytechnic Institute of Porto, in collaboration with several colleagues from di?erent institutions in Europe. Following the usual style, the conference included a three-day technical p- gram, during which the papers contained in these proceedings were presented, bracketed by...
The 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal, June 5-9, 2006. It was as usual ...
|
cena:
202,66 |
![]() |
Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings
ISBN: 9783540353621 / Angielski / Miękka / 239 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third European Performance Engineering Workshop, EPEW 2006, held in Budapest, Hungary in June 2006. The 16 revised full papers presented were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on stochastic process algebra, workloads and benchmarks, theory of stochastic processes, formal dependability and performance evaluation, as well as queues, theory and practice. This book constitutes the refereed proceedings of the Third European Performance Engineering Workshop, EPEW 2006, held in Budapest, Hungary in June... |
cena:
202,66 |
![]() |
Software Frameworks and Embedded Control Systems
ISBN: 9783540431893 / Angielski / Miękka / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Although framework technology has proven its worth as a software reuse technique in many domains, there have been reservations regarding its application in embedded systems, mostly due to limited CPU and memory resources. Recent hardware advances, however, have changed this picture.
This book shows how object-oriented software frameworks can be applied to embedded control systems. A case study of a framework using a set of application dependent design patterns for the orbit control system of satellites is presented. Although framework technology has proven its worth as a software reuse technique in many domains, there have been reservations regarding its applicati...
|
cena:
202,66 |
![]() |
Challenges for Action Theories
ISBN: 9783540674559 / Angielski / Miękka / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been heralded as the basis for the next generation of computer systems. While logic and formal methods are indeed gaining ground in many areas of computer science and artificial intelligence the expected revolution has not yet happened. In this book the author offers a convincing solution to the ramification problem and qualification problem associated...
A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied...
|
cena:
202,66 |
![]() |
Real-Time Search for Learning Autonomous Agents
ISBN: 9780792399445 / Angielski / Twarda / 126 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Autonomous agents or multiagent systems are computational systems in which several computational agents interact or work together to perform some set of tasks. These systems may involve computational agents having common goals or distinct goals.
Real-Time Search for Learning Autonomous Agents focuses on extending real-time search algorithms for autonomous agents and for a multiagent world. Although real-time search provides an attractive framework for resource-bounded problem solving, the behavior of the problem solver is not rational enough for autonomous agents. The problem... Autonomous agents or multiagent systems are computational systems in which several computational agents interact or work together to perform some set ...
|
cena:
608,07 |
![]() |
Hybrid Systems: Computation and Control: 7th International Workshop, Hscc 2004, Philadelphia, Pa, Usa, March 25-27, 2004, Proceedings
ISBN: 9783540212591 / Angielski / Miękka / 674 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous behaviors. The previous workshops in the HSCC series were held in Berkeley, USA(1998), Nijmegen, TheNetherlands(1999), Pittsburgh, USA(2000), Rome, Italy (2001), Palo Alto, USA (2002), and Prague, Czech Republic (2003)....
This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March ...
|
cena:
405,36 |
![]() |
Pervasive Computing: Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005, Proceedings
ISBN: 9783540260080 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Conference on Pervasive Computing, PERVASIVE 2005, held in Munich, Germany in May 2005. The 20 revised full papers presented were carefully reviewed and selected from 130 submissions. The papers are organized in topical sections on location techniques, activity and context, location and privacy, handheld devices, sensor systems, and user interaction.
This book constitutes the refereed proceedings of the Third International Conference on Pervasive Computing, PERVASIVE 2005, held in Munich, German... |
cena:
202,66 |