Ergebnisse filtern
-
- 22
-
- 1
- 1
- 2
- 5
- 5
- 7
- 1
-
- 22
-
- 4
- 13
- 5
-
- 22
-
- 22
-
- 22
Schaltungsentwurf
-
Kucera / Henzinger / Nešetril Mathematical and Engineering Methods in Computer Science
8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36044-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Parthasarathy / Seshia Computer Aided Verification
24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31423-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lee / Howard / Slezak Convergence and Hybrid Information Technology
5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24081-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Van Hung / Ogawa Automated Technology for Verification and Analysis
11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-02443-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brat / Rungta / Venet NASA Formal Methods
5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38087-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Piterman Hardware and Software: Verification and Testing
11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-26286-4Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eder / Shehory Hardware and Software: Verification and Testing
7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34187-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barner / Harris / Kroening Hardware and Software: Verification and Testing
6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19582-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ayala / Shang / Yakovlev Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36156-2Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gheyi / Naumann Formal Methods: Foundations and Applications
15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33295-1Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sen / Khurshid Runtime Verification
Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29859-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jouannaud / Shao Certified Programs and Proofs
First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-25378-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ayala / Garcia-Camara / Prieto Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24153-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Biere / Nahir / Vos Hardware and Software: Verification and Testing
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39610-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bloem / Arbel Hardware and Software: Verification and Testing
12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-49051-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yahav Hardware and Software: Verification and Testing
10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-13337-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bultan / Hsiung Automated Technology for Verification and Analysis
9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24371-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zheng Advances in Electrical Engineering and Electrical Machines
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-44859-1Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zheng Advances in Electrical Engineering and Electrical Machines
1. Auflage 2011Verlag: SpringerISBN: 978-3-642-25904-3Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Borrione Advances in Design Methods from Modeling Languages for Embedded Systems and Soc's
Selected Contributions on Specification, Design, and Verification from Fdl 20092010. Auflage 2010Verlag: SpringerISBN: 978-90-481-9303-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Fahrenberg / Tripakis Formal Modeling and Analysis of Timed Systems
9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24309-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Borrione Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's
Selected Contributions on Specification, Design, and Verification from FDL 20091. Auflage 2012Verlag: SpringerISBN: 978-94-007-3333-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort