Mostra 241 - 250 risultati di 262 ricerca 'language and languages Classification', tempo di risposta: 0,03s Raffina i risultati
  1. 241

    Quantitative assessment of UML dynamic models. di Baroni, Aline Lúcia

    Articolo

    Quantitative assessment of UML dynamic models.
  2. 242

    Verifying aspect advice modularly. di Krishnamurthi, Shriram

    Articolo

    Verifying aspect advice modularly.
  3. 243

    A classification system and analysis for aspect-oriented programs. di Rinard, Martin

    Articolo

    A classification system and analysis for aspect-oriented programs.
  4. 244

    Software performance modelling using PEPA nets. di Gilmore, Stephen

    Articolo

    Software performance modelling using PEPA nets.
  5. 245

    Remark on algorithm 705 A Fortran-77 software package for solving the Sylvester matrix equation AXBT + CXDT = E. di Hopkins, Tim

    Articolo

    Remark on algorithm 705 A Fortran-77 software package for solving the Sylvester matrix equation AXBT + CXDT = E.
  6. 246

    A comparison between neural networks and support vector machine approaches in Tagalog part-of-speech tagging di Reyes, Camille Dominique E.

    Tesi

    A comparison between neural networks and support vector machine approaches in Tagalog part-of-speech tagging
  7. 247

    A structured TCP in standard ML. di Biagioni, Edoardo

    Articolo

    A structured TCP in standard ML.
  8. 248

    The development of a game playing framework using interface-based programming. di Cohen, Mark A.

    Articolo

    The development of a game playing framework using interface-based programming.
  9. 249

    Technologies for the development of agent-based distributed applications. di Butte, Tobias

    Articolo

    Technologies for the development of agent-based distributed applications.
  10. 250

    Software verification and validation with destiny a parallel approach to automated theorem proving. di Dykstra, Josiah

    Articolo

    Software verification and validation with destiny a parallel approach to automated theorem proving.

Strumenti per la ricerca: