ilość książek w kategorii: 2224
Esec '91: 3rd European Software Engineering Conference, Esec '91, Milan, Italy, October 21-24, 1991. Proceedings
ISBN: 9783540547426 / Angielski / Miękka / 536 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume details one of a series of conferences set up by European societies with the aim of providing an international forum for researchers, developers and users of software engineering technology. The need for a meeting point to discuss new results and useful experiences was clear from the large amount of high-quality European software engineering research in recent years, stimulated, for example, through major European research programmes. The papers in these proceedings cover a broad range of themes, such as formal methods and practical experiences with them, special techniques for...
This volume details one of a series of conferences set up by European societies with the aim of providing an international forum for researchers, deve...
|
|
cena:
195,42 zł |
Software Engineering - ESEC '95: 5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings
ISBN: 9783540604068 / Angielski / Miękka / 524 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995.
The ESEC conferences are the premier European platform for the discussion of academic research and industrial use of software engineering technology. The 29 revised full papers were carefully selected from more than 150 submissions and address all current aspects of relevance. Among the topics covered are business process (re-)engineering, real-time, software metrics, concurrency, version and configuration management, formal methods,... This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in Septembe...
|
|
cena:
195,42 zł |
Performance Evaluation of Computer and Communication Systems
ISBN: 9783540572978 / Angielski / Miękka / 680 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the complete set of tutorial paperspresented at the 16th IFIP (International Federation forInformation Processing) Working Group 7. 3 InternationalSymposium on Computer Performance Modelling, Measurement andEvaluation, and a number of tutorial papers presented at the1993 ACM (Association for Computing Machinery) SpecialInterest Group METRICS Conference on Measurement andModeling of Computer Systems. The principal goal of the volume is to present an overviewof recent results in the field of modeling and performanceevaluation of computer and communication systems. The...
This volume contains the complete set of tutorial paperspresented at the 16th IFIP (International Federation forInformation Processing) Working Group ...
|
|
cena:
390,87 zł |
Algebraic Methodology and Software Technology: 4th International Conference, Amast '95, Montreal, Canada, July 3-7, 1995. Proceedings
ISBN: 9783540600435 / Angielski / Miękka / 597 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995.
It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The invited speakers are David Gries, Jeanette Wing, Dan Craigen, Ted Ralston, Ewa Orlowska, Krzysztof Apt, Joseph Goguen, and Rohit Parikh. The 29 refereed papers presented were selected from some 100 submissions; they are organized in sections on algebraic and logical foundations, concurrent and... This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada...
|
|
cena:
390,87 zł |
Models in System Design
ISBN: 9780792398745 / Angielski / Twarda / 152 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Models in System Design tracks the general trend in electronics in terms of size, complexity and difficulty of maintenance. System design is by nature combined with prototyping, mixed domain design, and verification, and it is no surprise that today's modeling and models are used in various levels of system design and verification. In order to deal with constraints induced by volume and complexity, new methods and techniques have been defined. Models in System Design provides an overview of the latest modeling techniques for use by system designers.
The first part of... Models in System Design tracks the general trend in electronics in terms of size, complexity and difficulty of maintenance. System design is ...
|
|
cena:
781,79 zł |
Pulling Strings with Puppet: Configuration Management Made Easy
ISBN: 9781590599785 / Angielski / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Competent system administrators know their success hinges upon being able to perform often tedious tasks with rigor and punctuality. Such metrics are often achieved only by instituting a considerable degree of automation, something that has become even more crucial as IT environments continue to scale both in terms of size and complexity. One of the most powerful system administration tools to be released is Puppet, a solution capable of automating nearly every aspect of a system administrator's job, from user management, to software installation, to even configuring server services such... Competent system administrators know their success hinges upon being able to perform often tedious tasks with rigor and punctuality. Such metrics a... |
|
cena:
128,96 zł |
Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, Uk, June 2-6, 199
ISBN: 9783540631149 / Angielski / Miękka / 299 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies, held in London, UK, in June 1997.
The 25 revised full papers presented were carefully selected for inclusion by the program committee. All current issues explored in the Ada community are addressed; beyond the Ada language aspects, software engineering technologies for reliable and for reactive systems are discussed in a more general context. This book constitutes the refereed proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies, held in London, UK, ...
|
|
cena:
195,42 zł |
Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas'99, Held as Part of the Joint European Conferenc
ISBN: 9783540657033 / Angielski / Miękka / 456 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ETAPS 99 is the second instance of the European Joint Conferences on 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 comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The...
ETAPS 99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was...
|
|
cena:
195,42 zł |
Cyberspace Security and Defense: Research Issues: Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issu
ISBN: 9781402033803 / Angielski / Miękka / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Cyberspace security is a critical subject of our times. On one hand the development of Internet, mobile communications, distributed computing, computer software and databases storing essential enterprise information has helped to conduct business and personal communication between individual people. On the other hand it has created many opportunities for abuse, fraud and expensive damage. This book is a selection of the best papers presented at the NATO Advanced Research Workshop dealing with the Subject of Cyberspace Security and Defense. The level of the individual contributions... Cyberspace security is a critical subject of our times. On one hand the development of Internet, mobile communications, distributed computi... |
|
cena:
390,87 zł |
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:
2754,60 zł |
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:
586,33 zł |
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:
586,33 zł |
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:
586,33 zł |
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:
374,20 zł |
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:
195,42 zł |
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:
195,42 zł |
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:
87,69 zł |
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:
195,42 zł |
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:
195,42 zł |
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:
174,68 zł |