Prikaz rezultata 1.451 – 1.460 od 8.294 za pretragu '"Method."', vrijeme upita: 0,04s Detaljiziraj rezultate
  1. 1451

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

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

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

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

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

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

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

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

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

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

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

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

    Predictive species and habitat modeling in landscape ecology concepts and applications

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

    Predictive species and habitat modeling in landscape ecology concepts and applications
  8. 1458

    Pre-invasive disease pathogenesis and clinical management

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

    Pre-invasive disease pathogenesis and clinical management
  9. 1459

    Replicating vaccines a new generation

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

    Replicating vaccines a new generation
  10. 1460

    Sleep and anesthesia Neural correlates in theory and experiment

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

    Sleep and anesthesia Neural correlates in theory and experiment

Alati za pretragu: