Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Embedded Software: First International Workshop, Emsoft 2001, Tahoe City, Ca, Usa, October 8-10, 2001. Proceedings
ISBN: 9783540426738 / Angielski / Miękka / 2001 / 504 str. Termin realizacji zamówienia: ok. 20 dni roboczych. With the omnipresence of micro devices in our daily lives embedded software has gained tremendous importance in both science and industry. This volume contains 34 invited papers from the First Inter- national Workshop on Embedded Systems. They present latest research results from different areas of computer science that are traditionally distinct but relevant to embedded software development (such as, for example, component based design, functional programming, real-time Java, resource and storage allocation, verification). Each paper focuses on one topic, showing the inter-relationship and...
With the omnipresence of micro devices in our daily lives embedded software has gained tremendous importance in both science and industry. This volume...
|
cena:
191,40 zł |
 |
Hybrid Systems: Computation and Control: First International Workshop, Hscc'98, Berkeley, California, Usa, April 13 - 15, 1998, Proceedings
ISBN: 9783540643586 / Angielski / Miękka / 1998 / 417 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, California, USA, in April 1998.
The volume presents 27 revised full papers selected from a total of 55 submissions. The papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems. Hybrid systems consist of digital devices that interact with analog environments; they are particularly important in context with safety-critical systems and dependable computing. The present volume extends the line of... This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, Calif...
|
cena:
191,40 zł |
 |
Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings
ISBN: 9783642407079 / Angielski / Miękka / 2013 / 284 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the proceedings of the 11th International Conference on Computational Methods in Systems Biology, CMSB 2013, held in Klosterneuburg, Austria, in September 2013. The 15 regular papers included in this volume were carefully reviewed and selected from 27 submissions. They deal with computational models for all levels, from molecular and cellular, to organs and entire organisms.
This book constitutes the proceedings of the 11th International Conference on Computational Methods in Systems Biology, CMSB 2013, held in Klosterneub...
|
cena:
191,40 zł |
 |
Handbook of Model Checking
ISBN: 9783319105741 / Angielski / Twarda / 2018 / 1212 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry. The editors and authors of this handbook are among the world's leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking. In... Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from re... |
cena:
535,99 zł |
 |
Handbook of Model Checking
ISBN: 9783030132330 / Angielski / Miękka / 2020 / 1212 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
535,99 zł |
 |
Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
ISBN: 9783642360442 / Angielski / Miękka / 2013 / 213 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012. The 13 thoroughly revised papers were carefully selected out of 31 submissions and are presented together with 6 invited papers. The topics covered by the papers include: computer-aided analysis and verification, applications of game theory in computer science, networks and security, modern trends of graph theory in computer science, electronic systems design and testing, and quantum information...
This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held ...
|
cena:
191,40 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
