Torthaí cuardaigh

Beachtaigh na torthaí
  1. 1

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

    Foilsithe / Cruthaithe 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


    Íomhá chlúdaigh
  2. 2

    Formal methods for safety and security case studies for aerospace applications

    Foilsithe / Cruthaithe 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


    Íomhá chlúdaigh
  3. 3

    Process algebra for parallel and distributed processing

    Foilsithe / Cruthaithe 2009
    LEABHAR


    Íomhá chlúdaigh
  4. 4

    Teamwork in multi-agent systems a formal approach de réir Dunin-Kȩplicz, Barbara

    Foilsithe / Cruthaithe 2010
    LEABHAR


    Íomhá chlúdaigh
  5. 5

    Descriptional complexity of formal systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings

    Foilsithe / Cruthaithe 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Íomhá chlúdaigh
  6. 6

    FM 2011: formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

    Foilsithe / Cruthaithe 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Íomhá chlúdaigh
  7. 7

    Computer performance engineering 8th European performance engineering workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. proceedings

    Foilsithe / Cruthaithe 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Íomhá chlúdaigh
  8. 8

    Formal grammar 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers

    Foilsithe / Cruthaithe 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Íomhá chlúdaigh
  9. 9

    Formal methods and software engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

    Foilsithe / Cruthaithe 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Íomhá chlúdaigh
  10. 10

    Formal methods for eternal networked software systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinor...

    Foilsithe / Cruthaithe 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Íomhá chlúdaigh

Uirlisí cuardaigh: