Toon 71 - 80 resultaten van 254 Voor zoekopdracht '"Logic Design."', zoektijd: 0,02s Verfijn jouw resultaten
  1. 71

    Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings

    Gepubliceerd in Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
  2. 72

    Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers

    Gepubliceerd in 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
  3. 73

    Algorithmic learning theory 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings

    Gepubliceerd in Springer eBook. (2011)
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Algorithmic learning theory 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings
  4. 74

    Business Process Management 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings

    Gepubliceerd in Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Business Process Management 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings
  5. 75

    Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

    Gepubliceerd in Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
  6. 76

    Tools and algorithms for the construction and analysis of systems 17th international conference, TACAS 2011, held as part of the joint european conferences on theory and practice o...

    Gepubliceerd in 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Tools and algorithms for the construction and analysis of systems 17th international conference, TACAS 2011, held as part of the joint european conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings
  7. 77

    Transactions on aspect-oriented software development VIII

    Gepubliceerd in 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Transactions on aspect-oriented software development VIII
  8. 78

    Emotional Cognitive neural algorithms with engineering applications dynamic logic: from vague to crisp door Perlovsky, Leonid, Deming, Ross, Ilin, Roman

    Gepubliceerd in 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Emotional Cognitive neural algorithms with engineering applications dynamic logic: from vague to crisp
  9. 79

    Advanced techniques in logic synthesis, optimizations and applications

    Gepubliceerd in 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Advanced techniques in logic synthesis, optimizations and applications
  10. 80

    Design of digital systems and devices

    Gepubliceerd in 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Design of digital systems and devices

Zoekinstrumenten: