Wyniki wyszukiwania
liczba wyników: 192
-
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
Dan Craigen
Susan Gerhart
Elsevier Science, 2012 ISBN: 9781437728170Opis:Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design...
Czytaj dalejPLN cena katalogowa brutto -
Cybernetics & systems theory Computer architecture & logic design Mechanical engineering & materialsAnalysis and Design of Hybrid Systems 2006: A Proceedings volume from the 2nd IFAC Conference, Alghero, Italy, 7-9 June 2006
Christos Cassandras
Alessandro Giua
Carla Seatzu
Janan Zaytoon
Elsevier Science, 2006 ISBN: 9780080475844Opis:This volume contains the proceedings of Analysis and Design of Hybrid Systems 2006: the 2nd IFAC Conference on Analysis and Design of Hybrid Systems...
Czytaj dalejPLN cena katalogowa brutto -
Elsevier Science, 2012 ISBN: 9780444597229Opis:A number of important issues form the basis of this book: How can the Information Technology (IT) standardization process, leading to unified products...
Czytaj dalejPLN cena katalogowa brutto -
Programmable Logic Controllers
William Bolton
Elsevier Science, 2015 ISBN: 9780081003534Opis:This textbook, now in its sixth edition, continues to be straightforward and easy-to-read, presenting the principles of PLCs while not tying itself to...
Czytaj dalejPLN cena katalogowa brutto -
Synchronous Precharge Logic
Marek Smoszna
Elsevier Science, 2012 ISBN: 9780124017078Opis:Precharge logic is used by a variety of industries in applications where processor speed is the primary goal, such as VLSI (very large systems...
Czytaj dalejPLN cena katalogowa brutto -
Elsevier Science, 2014 ISBN: 9780128007877Opis:The divide between UX and Web development can be stifling. Bridging UX and Web Development prepares you to break down those walls by teaching you how...
Czytaj dalejPLN cena katalogowa brutto -
Elsevier Science, 2000 ISBN: 9780080476582Opis:Configuring Citrix Metaframe for Windows 2000 Terminal Services describes all the means in using both Microsoft Windows 2000 Terminal Services and...
Czytaj dalejPLN cena katalogowa brutto -
Computer networking & communications Computer architecture & logic design Aerospace & aviation technologyThe Designer's Guide to VHDL
Peter J. Ashenden
Elsevier Science, 2001 ISBN: 9780080477152Opis:Since the publication of the first edition of The Designer's Guide to VHDL in 1996, digital electronic systems have increased exponentially in their...
Czytaj dalejPLN cena katalogowa brutto -
Elsevier Science, 2003 ISBN: 9780080479323Opis:MCSE Exam 70-296 Study Guide & DVD Training System: Planning, Implementing and Maintaining a Windows Server 2003 Environment for an MCSE Certified on...
Czytaj dalejPLN cena katalogowa brutto -
Elsevier Science, 2006 ISBN: 9780080488387Opis:Implementing cryptography requires integers of significant magnitude to resist cryptanalytic attacks. Modern programming languages only provide...
Czytaj dalejPLN cena katalogowa brutto
- Dostęp bezpłatny
- Dostęp testowy
- Open Access
- Subskrybcja
- Z limitem czasowym
- Kupione na właśność