Wyniki wyszukiwania:
wyszukanych pozycji: 8
 |
How to Read a Cow: And Other Essential Life Lessons
ISBN: 9781939331137 / Angielski / Miękka / 2013 / 86 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
37,52 zł |
 |
Reflections on the Vietnam War: A Fifty-Year Journey
ISBN: 9781974397808 / Angielski / Miękka / 2017 / 142 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
59,25 zł |
 |
The Fortunes of the Fey
ISBN: 9781800167896 / Angielski Termin realizacji zamówienia: ok. 12 dni roboczych. |
cena:
76,32 zł |
 |
Wisconsin Gazetteer, Containing the Names, Location and Advantages of the Counties, Cities, towns, Villages, Post offices, and Settlements, Together W
ISBN: 9781425522599 / Angielski / Miękka / 2006 / 260 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
136,61 zł |
 |
Solidification Processing of Metal Matrix Composites : Rohatgi Honorary Symposium
ISBN: 9780873396257 / Angielski / Miękka / 2006 / 376 str. Termin realizacji zamówienia: ok. 22 dni roboczych. -Solidification Processing of Metal Matrix Composites- (MMCs) focuses primarily on microcomposites but also covers macrocomposites, nanocomposites and foams. There are four main areas detailed: fundamentals of solidification synthesis, which examines issues related to stir mixing, pressure infiltration, transfer of particles or fibers through gas-liquid and liquid-solid interfaces, and particle/fiber interactions with fluids; processing and microstructures, which focuses on microstructure formation during solidification of MMC under different conditions, such as nucleation, growth, heat...
-Solidification Processing of Metal Matrix Composites- (MMCs) focuses primarily on microcomposites but also covers macrocomposites, nanocomposites and...
|
cena:
928,20 zł |
 |
Computer Aided Verification: 15th International Conference, Cav 2003, Boulder, Co, Usa, July 8-12, 2003, Proceedings
ISBN: 9783540405245 / Angielski / Miękka / 2003 / 462 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking. The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. ... |
cena:
192,30 zł |
 |
Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2000 Austin, Tx, Usa, November 1-3, 2000 Proceedings
ISBN: 9783540412199 / Angielski / Miękka / 2000 / 552 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The biannual Formal Methods in Computer Aided Design conference (FMCAD 2000)is the third in a series of conferences under that title devoted to the use of discrete mathematical methods for the analysis of computer hardware and so- ware. The work reported in this book describes the use of modeling languages and their associated automated analysis tools to specify and verify computing systems. Functional veric ation has become one of the principal costs in a modern computer design e ort. In addition, verica tion of circuit models, timing, power, etc., requires even more eo rt. FMCAD provides a...
The biannual Formal Methods in Computer Aided Design conference (FMCAD 2000)is the third in a series of conferences under that title devoted to the us...
|
cena:
384,63 zł |
 |
FM8501: A Verified Microprocessor
ISBN: 9783540579601 / Angielski / Miękka / 1994 / 342 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. The principal idea of the FM 8501 effort was to see if it was possible to express the user-level specification and the design implementation using a formal logic, the Boyer-Moore logic; this approach permitted a complete mechanically checked proof that the FM 8501 implementation fully implemented its specification. The implementation model for the FM 8501 was inadequate for industrial hardware design but the effort was an important step in the evolution to the design verification methodology now...
The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. The principal idea of the FM 8501 effort was to see ...
|
cena:
192,30 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
