Đang hiển thị 1 - 10 kết quả của 17 cho tìm kiếm '"LNCS sublibrary. SL 2, Programming and software engineering."', thời gian truy vấn: 0.03s Tinh chỉnh kết quả
  1. 1

    Reliable software technologies - Ada-Europe 2011 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings

    Được phát hành 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Reliable software technologies - Ada-Europe 2011 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings
  2. 2

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

    Được phát hành 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Formal methods for eternal networked software systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
  3. 3

    Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

    Được phát hành 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
  4. 4

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

    Được phát hành 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
  5. 5

    Recent advances in the message passing interface 18th European MPI Users' Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011, proceedings

    Được phát hành 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Recent advances in the message passing interface 18th European MPI Users' Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011, proceedings
  6. 6

    Computer safety, reliability, and security 30th international conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. proceedings

    Được phát hành 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Computer safety, reliability, and security 30th international conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. proceedings
  7. 7

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

    Được phát hành 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

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

    End-user development third international symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011. proceedings

    Được phát hành 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    End-user development third international symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011. proceedings
  9. 9

    Experimental algorithms 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings

    Được phát hành 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Experimental algorithms 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings
  10. 10

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

    Được phát hành 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

Công cụ tìm kiếm: