![]() |
Annual Review of Scalable Computing, Vol 4
ISBN: 9789810249519 / Angielski / Miękka / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A collection of seven long articles, this book discusses significant projects in scalable computing in various research organizations around the world. It represents quantitative and qualitative growth of work in the area.
A collection of seven long articles, this book discusses significant projects in scalable computing in various research organizations around the world...
|
cena:
385,34 zł |
![]() |
Advanced Reliability Modeling - Proceedings of the 2004 Asian International Workshop (Aiwarm 2004)
ISBN: 9789812388711 / Angielski / Twarda / 644 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 2004 Asian International Workshop on Advanced Reliability Modeling is a symposium for the dissemination of state-of-the-art research and the presentation of practice in reliability engineering and related issues in Asia. It brings together researchers, scientists and practitioners from Asian countries to discuss the state of research and practice in dealing with reliability issues at the system design (modeling) level, and to jointly formulate an agenda for future research in this engineering area. The proceedings cover all the key topics in reliability, maintainability and safety...
The 2004 Asian International Workshop on Advanced Reliability Modeling is a symposium for the dissemination of state-of-the-art research and the prese...
|
cena:
1146,27 zł |
![]() |
Annual Review of Scalable Computing
ISBN: 9789812389022 / Angielski / Miękka / 132 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. - Comprehensive articles on scalable computing projects
- Discussion of optical buses and data girds - Presentation of projects on distributed Java and group communication - Comprehensive articles on scalable computing projects
- Discussion of optical buses and data girds - Presentation of projects on distributed J... |
cena:
385,34 zł |
![]() |
New Horizon in Web-Based Learning - Proceedings of the 3rd International Conference on Web-Based Learning (Icwl 2004)
ISBN: 9789812560292 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides an up-to-date description of the technical, pedagogical and managerial issues in Web-based learning. The successful application of Web-based learning provides enhancements in workforce performance, helps to lower costs, and encourages innovation for Web-based and distance learning.
This book provides an up-to-date description of the technical, pedagogical and managerial issues in Web-based learning. The successful application of ...
|
cena:
599,97 zł |
![]() |
Semantics of Digital Circuits
ISBN: 9783540185406 / Angielski / Miękka / 124 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
92,77 zł |
![]() |
Military Avionics Systems
ISBN: 9780470016329 / Angielski / Twarda / 544 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ian Moir and Allan Seabridge
Military avionics is a complex and technically challenging field which requires a high level of competence from all those involved in the aircraft design and maintenance. As the various systems on board an aircraft evolve to become more and more inter-dependent and integrated, it is becoming increasingly important for designers to have a holistic view and knowledge of aircraft systems in order to produce an effective design for their individual components and effectively combine the systems involved. This book introduces the... Ian Moir and Allan Seabridge
Military avionics is a complex and technically challenging field which requires a high level of compe... |
cena:
672,37 zł |
![]() |
Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings
ISBN: 9783540574170 / Angielski / Miękka / 367 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Debugging has always been a costly part of software development, and many attempts have been made to provide automatic computer support for this task. Automated debugging has seen major developments over the last decade. One successful development is algorithmic debugging, which originated in logic program but was later generalized to concurrent, imperative, and lazy functional languages.
Debugging has always been a costly part of software development, and many attempts have been made to provide automatic computer support for this task....
|
cena:
201,72 zł |
![]() |
Correct Hardware Design and Verification Methods: Ifip Wg 10.2 Advanced Research Working Conference, Charme'93, Arles, France, May 24-26, 1993. Procee
ISBN: 9783540567783 / Angielski / Miękka / 275 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, France, in May 1993, and organized by the ESPRIT Working Group 6018 CHARME-2and the Universit de Provence, Marseille, in cooperation with IFIP Working Group 10.2. Formal verification is emerging as a plausible alternative to exhaustive simulation for establishing correct digital hardware designs. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems, slowing the arrival of products in the marketplace...
These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, Fr...
|
cena:
201,72 zł |
![]() |
Evolvable Systems: From Biology to Hardware: First International Conference, Ices '96, Tsukuba, Japan, October 7 - 8, 1996, Revised Papers
ISBN: 9783540631736 / Angielski / Miękka / 491 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed post-conference proceedings recording the scientific progress achieved at the First International Conference on Evolvable Systems: From Biology to Hardware, ICES'96, held in Tsukuba, Japan, in October 1996.
The volume presents 33 revised full papers including several invited contributions surveying the state of the art in this emerging area of research and development. The volume is divided into topical sections on evolware, cellular systems, engineering applications of evolvable hardware systems, evolutionary robotics, innovative architectures,... This book constitutes the strictly refereed post-conference proceedings recording the scientific progress achieved at the First International Conferen...
|
cena:
201,72 zł |
![]() |
A Designer's Guide to VHDL Synthesis
ISBN: 9780792394723 / Angielski / Twarda / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A Designer's Guide to VHDL Synthesis is intended for both design engineers who want to use VHDL-based logic synthesis ASICs and for managers who need to gain a practical understanding of the issues involved in using this technology. The emphasis is placed more on practical applications of VHDL and synthesis based on actual experiences, rather than on a more theoretical approach to the language.
VHDL and logic synthesis tools provide very powerful capabilities for ASIC design, but are also very complex and represent a radical departure from traditional design methods. This... A Designer's Guide to VHDL Synthesis is intended for both design engineers who want to use VHDL-based logic synthesis ASICs and for managers ...
|
cena:
605,23 zł |
![]() |
Formal Methods in Computer-Aided Design: First International Conference, Fmcad '96, Palo Alto, Ca, Usa, November 6 - 8, 1996, Proceedings
ISBN: 9783540619376 / Angielski / Miękka / 478 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996.
The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing. This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Pa...
|
cena:
201,72 zł |
![]() |
Languages for System Specification: Selected Contributions on Uml, Systemc, System Verilog, Mixed-Signal Systems, and Property Specification from Fdl'
ISBN: 9781402079900 / Angielski / Twarda / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation, generation of test patterns, and experiences from case studies with SystemC. Analog and Mixed-Signal Systems covers rules for solving general modeling problems in VHDL-AMS, modeling of multi-nature systems, synthesis, and modeling of Mixed-Signal Systems with SystemC. Languages for formal methods are addressed by contributions on formal specification and refinement of hybrid,...
Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of ope...
|
cena:
605,23 zł |
![]() |
Software and Compilers for Embedded Systems: 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings
ISBN: 9783540230359 / Angielski / Miękka / 266 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 8th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2004) held in A- terdam, The Netherlands, on September 2 and 3, 2004. Initially, the workshop was referred to as the International Workshop on Code Generation for Emb- ded Systems. The ?rst took place in 1994 in Schloss Dagstuhl, Germany. From its beginnings, the intention of the organizers has been to create an interactive atmosphere in which the participants can discuss and pro't from the assembly of international experts in the ?eld. The name SCOPES has been used...
This volume contains the proceedings of the 8th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2004) held in A- terdam,...
|
cena:
201,72 zł |
![]() |
Software Architectures for Product Families: International Workshop IW-SAPF-3. Las Palmas de Gran Canaria, Spain, March 15-17, 2000 Proceedings
ISBN: 9783540414803 / Angielski / Miękka / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the proceedings of a third workshop on the theme of Software Arc- tecture for Product Families. The first two workshops were organised by the ESPRIT project ARES, and were called Development and Evolution of Software Architectures for Product Families . Proceedings of the first workshop, held in November 1996, were only published electronically at: http: //www.dit.upm.es/ ares/ . Proceedings of the second workshop, held in February 1998, were published as Springer LNCS 1429. The ARES project was finished in February 1999. Several partners continued - operation in a larger...
This book contains the proceedings of a third workshop on the theme of Software Arc- tecture for Product Families. The first two workshops were organi...
|
cena:
201,72 zł |
![]() |
Hardware Design and Simulation in Val/VHDL
ISBN: 9780792390879 / Angielski / Twarda / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The VHSIC Hardware Description Language (VHDL) provides a standard machine processable notation for describing hardware. VHDL is the result of a collaborative effort between IBM, Intermetrics, and Texas Instruments; sponsored by the Very High Speed Integrated Cir cuits (VHSIC) program office of the Department of Defense, beginning in 1981. Today it is an IEEE standard (1076-1987), and several simulators and other automated support tools for it are available commercially. By providing a standard notation for describing hardware, especially in the early stages of the hardware design process,...
The VHSIC Hardware Description Language (VHDL) provides a standard machine processable notation for describing hardware. VHDL is the result of a colla...
|
cena:
403,47 zł |
![]() |
Advances in Learning Software Organizations: Third International Workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001. Proceedings
ISBN: 9783540425748 / Angielski / Miękka / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the refereed proceedings of the Third International Workshop on Learning Software Organizations, LSO 2001, held in Kaiserslautern, Germany, in September 2001. The 12 revised full papers presented together with an introductory overview, keynote and panel summaries, and three posters were carefully reviewed and selected for inclusion in the book. Among the topics addressed are organizational learning in dynamic domains, knowledge management in software development, Web-based collaborative learning, knowledge management support, software process improvement, Web-based data...
This text constitutes the refereed proceedings of the Third International Workshop on Learning Software Organizations, LSO 2001, held in Kaiserslauter...
|
cena:
201,72 zł |
![]() |
Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
ISBN: 9783540424796 / Angielski / Miękka / 434 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?erent research communities. This has resulted in the development of successful, but distinct and largely unrelated modeling and analysis techniques for both domains. In many modern systems, however, the di?erence between their functional features and their performance properties has become blurred, as relevant functionalities become inextricably linked to performance aspects, e.g. isochronous...
Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance ...
|
cena:
201,72 zł |
![]() |
System Configuration Management: 9th International Symposium, SCM-9 Toulouse, France, September 5-7, 1999 Proceedings
ISBN: 9783540664840 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the refereed proceedings of the 9th International Symposium on System Configuration Management, SCM-9, held in Toulouse, France in September 1999. The 17 revised full papers presented together with a tutorial were reviewed and selected for inclusion in the book. The papers are organized in topical sections on the Web and distribution, experience and tools, versioning and models, new developments, and research status and future directions.
This text constitutes the refereed proceedings of the 9th International Symposium on System Configuration Management, SCM-9, held in Toulouse, France ...
|
cena:
201,72 zł |
![]() |
Advances in Visual Information Systems: 4th International Conference, Visual 2000, Lyon, France, November 2-4, 2000 Proceedings
ISBN: 9783540411772 / Angielski / Miękka / 545 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This title constitutes the refereed proceedings of the 4th International Conference on Visual Information Systems. The 37 revised full papers presented are organized in topical sections on image information systems, video information systems, visual querying, colour, shape-based retrieval, image databases, video indexing, image retrieval, and bench marking.
This title constitutes the refereed proceedings of the 4th International Conference on Visual Information Systems. The 37 revised full papers presente...
|
cena:
403,47 zł |
![]() |
The Designer's Guide to VHDL: Volume 3
ISBN: 9780120887859 / Angielski / Twarda / 909 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. VHDL, the IEEE standard hardware description language for describing digital electronic systems, has recently been revised. The Designer's Guide to VHDL has become a standard in the industry for learning the features of VHDL and using it to verify hardware designs. This third edition is the first comprehensive book on the market to address the new features of VHDL-2008.
VHDL, the IEEE standard hardware description language for describing digital electronic systems, has recently been revised. The Designer's Guide to...
|
cena:
277,99 zł |