Ergebnisse filtern
Fachgebiet
Medium
  • 8
Erscheinungsjahr
  • 1
  • 2
  • 4
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 1
  • 6
  • 1
Preis
  • 2
  • 6
Sprachen
  • 8
Verfügbarkeit
  • 8
Katalog
  • 8

Schaltungsentwurf

8  Treffer  für „Lecture Notes in Computer Science“
    Kucera / Henzinger / Antos | Mathematical and Engineering Methods in Computer Science | Buch | Sack Fachmedien

    Kucera / Henzinger / Antos Mathematical and Engineering Methods in Computer Science

    8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-36044-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rahaman / Chattopadhyay | Progress in VLSI Design and Test | Buch | Sack Fachmedien

    Rahaman / Chattopadhyay Progress in VLSI Design and Test

    16th International Symposium on VSLI Design and Test, VDAT 2012, Shipur, India, July 1-4, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-31493-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eder / Shehory / Louren?o | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Eder / Shehory / Louren?o Hardware and Software: Verification and Testing

    7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-34187-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Legay / Bertacco | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Legay / Bertacco Hardware and Software: Verification and Testing

    9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
    2013
    Verlag: Palgrave Macmillan
    ISBN: 978-3-319-03076-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yahav | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Yahav Hardware and Software: Verification and Testing

    10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-13337-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Naumann / Gheyi | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Naumann / Gheyi Formal Methods: Foundations and Applications

    15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-33295-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shao / Jouannaud | Certified Programs and Proofs | Buch | Sack Fachmedien

    Shao / Jouannaud Certified Programs and Proofs

    First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-25378-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sebastiani / Cimatti | Theory and Applications of Satisfiability Testing -- SAT 2012 | Buch | Sack Fachmedien

    Sebastiani / Cimatti Theory and Applications of Satisfiability Testing -- SAT 2012

    15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-31611-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular