Showing 5,461 - 5,470 results of 30,931 for search '"Congress."', query time: 0.06s Refine Results
  1. 5461

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

    Published 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
  2. 5462

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

    Published 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
  3. 5463

    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...

    Published 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
  4. 5464

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

    Published 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
  5. 5465

    Recycling of biomass ashes

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

    Recycling of biomass ashes
  6. 5466

    Ribosomes structure, function, and dynamics

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

    Ribosomes structure, function, and dynamics
  7. 5467

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

    Published 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
  8. 5468

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

    Published 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
  9. 5469

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

    Published 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
  10. 5470

    Perspectives in business informatics research 10th International Conference, BIR 2011, Riga, Latvia, October 6-8, 2011 : proceedings

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

    Perspectives in business informatics research 10th International Conference, BIR 2011, Riga, Latvia, October 6-8, 2011 : proceedings

Search Tools: