Gösterilen 1 - 10 sonuçlar arası kayıtlar. 30 sonuç. Aranan kelime '', Sorgu süresi: 0.02s Sonuçları Daraltın
  1. 1

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2018

    Baskı/Yayın Bilgisi 2020
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2018
  2. 2

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2016

    Baskı/Yayın Bilgisi 2018
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2016
  3. 3

    Formal methods for safety and security case studies for aerospace applications

    Baskı/Yayın Bilgisi 2018
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Formal methods for safety and security case studies for aerospace applications
  4. 4

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2014

    Baskı/Yayın Bilgisi 2016
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2014
  5. 5

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2015

    Baskı/Yayın Bilgisi 2016
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2015
  6. 6

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2013

    Baskı/Yayın Bilgisi 2015
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2013
  7. 7

    Principles of cyber-physical systems Yazar: Alur, Rajeev

    Baskı/Yayın Bilgisi 2015
    Tam Metin Erişim
    Tam Metin Erişim
    Electronic Resource

    Principles of cyber-physical systems
  8. 8

    Specification of software systems Yazar: Alagar, Vangalur S. 1940-

    Baskı/Yayın Bilgisi 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Specification of software systems
  9. 9

    Formal aspects of security and trust 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

    Baskı/Yayın Bilgisi 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Formal aspects of security and trust 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
  10. 10

    Formal concept analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings

    Baskı/Yayın Bilgisi 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Formal concept analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings

Arama Araçları: