topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings
ISBN: 9783540616481 / Angielski / Miękka / 1996 / 490 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996.
The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification. This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, F...
|
cena:
192,74 zł |
 |
Switched-Current Signal Processing and A/D Conversion Circuits: Design and Implementation
ISBN: 9781441949868 / Angielski / Miękka / 2010 / 172 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Switched-Current Signal Processing and A/D Conversion Circuits: Design and Implementation describes the design and implementation of switched-current (SI) circuits with emphasis on signal processing and data-conversion applications. The work includes theoretical analysis, high-level and circuit-level simulation results as well as measurement results from a few of the author's circuit implementations. An extensive overview of the SI field of research is also given.
The book contains an extensive overview of the switched-current field of research, and can therefore be... Switched-Current Signal Processing and A/D Conversion Circuits: Design and Implementation describes the design and implementation of...
|
cena:
578,30 zł |
 |
Switched-Current Signal Processing and A/D Conversion Circuits: Design and Implementation
ISBN: 9780792378716 / Angielski / Twarda / 2000 / 172 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Switched-Current Signal Processing and A/D Conversion Circuits: Design and Implementation describes the design and implementation of switched-current (SI) circuits with emphasis on signal processing and data-conversion applications. The work includes theoretical analysis, high-level and circuit-level simulation results as well as measurement results from a few of the author's circuit implementations. An extensive overview of the SI field of research is also given.
The book contains an extensive overview of the switched-current field of research, and can therefore be... Switched-Current Signal Processing and A/D Conversion Circuits: Design and Implementation describes the design and implementation of...
|
cena:
578,30 zł |
 |
CONCUR '94: Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings
ISBN: 9783540583295 / Angielski / Miękka / 1994 / 534 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994.
In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715. This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 199...
|
cena:
192,74 zł |
 |
Setting Conservation Targets for Managed Forest Landscapes
ISBN: 9780521877091 / Angielski / Twarda / 2009 / 426 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Forests host a disproportionate share of the world s biodiversity. They are increasingly being seen as a refuge for genetic diversity, native species, natural structures, and ecological processes. Yet, intensive forestry threatens their value for biodiversity. The authors present concepts, approaches and case studies illustrating how biodiversity conservation can be integrated into forest management planning. They address ecological patterns and processes taking place at the scale of landscapes, or forest mosaics. This book is intended for students and researchers in conservation biology and...
Forests host a disproportionate share of the world s biodiversity. They are increasingly being seen as a refuge for genetic diversity, native species,...
|
cena:
521,28 zł |
 |
Model-Based Testing of Reactive Systems: Advanced Lectures
ISBN: 9783540262787 / Angielski / Miękka / 2005 / 664 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems. This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent... Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive.... |
cena:
192,74 zł |
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
