Отображение 5,131 - 5,140 результаты of 25,968 для поиска '"Computer."', время запроса: 0.06сек. Отмена результатов
  1. 5131

    Formal methods, foundations and applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

    Опубликовано 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Formal methods, foundations and applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
  2. 5132

    Formal modeling and analysis of timed systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

    Опубликовано 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Formal modeling and analysis of timed systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
  3. 5133

    Formal methods: foundations and applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

    Опубликовано 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Formal methods: foundations and applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
  4. 5134

    Formal modeling: actors, open systems, biological systems essays dedicated to Carolyn Talcott on the occasion of her 70th Birthday

    Опубликовано 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Formal modeling: actors, open systems, biological systems essays dedicated to Carolyn Talcott on the occasion of her 70th Birthday
  5. 5135

    Formal techniques for distributed systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Icelan...

    Опубликовано 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Formal techniques for distributed systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
  6. 5136

    Formal verification of object-oriented software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

    Опубликовано 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Formal verification of object-oriented software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
  7. 5137

    Software tools and algorithms for biological systems

    Опубликовано 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Software tools and algorithms for biological systems
  8. 5138

    Human-computer interaction, tourism and cultural heritage first international workshop, HCITOCH 2010, Brescello, Italy, September 7-8, 2010 : revised selected papers

    Опубликовано 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Human-computer interaction, tourism and cultural heritage first international workshop, HCITOCH 2010, Brescello, Italy, September 7-8, 2010 : revised selected papers
  9. 5139

    Human-computer interaction towards mobile and intelligent interaction environments :14th international conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : proce...

    Опубликовано 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Human-computer interaction towards mobile and intelligent interaction environments :14th international conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : proceedings, Part III
  10. 5140

    Human-computer interaction users and applications :14th international conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : proceedings, Part IV

    Опубликовано 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Human-computer interaction users and applications :14th international conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : proceedings, Part IV

Инструменты поиска: