প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
প্রদর্শন 1 - 20 ফলাফল এর 77 অনুসন্ধানের জন্য '', জিজ্ঞাসা করার সময়: 0.03সেকেন্ড ফলাফল পরিমার্জন করুন
  1. 1
    Foundations of algebraic specification and formal software development /
    অনুযায়ী Sannella, Donald
    প্রকাশিত 2012
    গ্রন্থ
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  2. 2
    Fuzzy computational ontologies in contexts : formal models of knowledge representation with membership degree and typicality of objects, and their applications /
    অনুযায়ী Cai, Yi
    প্রকাশিত 2012
    গ্রন্থ
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  3. 3
    Formal and practical aspects of autonomic computing and networking : specification, development, and verification /
    প্রকাশিত 2012
    গ্রন্থ
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  4. 4
    Synchronous equivalence : formal methods for embedded systems /
    অনুযায়ী Hsieh, Harry
    প্রকাশিত 2001
    গ্রন্থ
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  5. 5
    Domain modeling-based software engineering : a formal approach /
    অনুযায়ী Rukian, Lu
    প্রকাশিত 2000
    গ্রন্থ
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  6. 6
    Dynamic logic /
    অনুযায়ী Harel, David
    প্রকাশিত 2000
    গ্রন্থ
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  7. 7
    Teamwork in multi-agent systems : a formal approach /
    অনুযায়ী Dunin-Keplicz, Barbara
    প্রকাশিত 2010
    গ্রন্থ
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  8. 8
    Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings /
    প্রকাশিত 2007
    কনফারেন্স প্রসিডিং সফটওয়্যার বৈদ্যুতিন গ্রন্থ
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  9. 9
    Formal techniques for distributed systems joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /
    অনুযায়ী Hatcliff, John
    প্রকাশিত 2010
    Click here to view the full text content
    বৈদ্যুতিন গ্রন্থ
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  10. 10
    Formal modeling and analysis of timed systems (vol. # 4202) : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings /
    প্রকাশিত 2006
    Click here to view the full text content
    কনফারেন্স প্রসিডিং বৈদ্যুতিন গ্রন্থ
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  11. 11
    Formal approaches to software testing and runtime verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers /
    প্রকাশিত 2006
    Click here to view the full text content
    কনফারেন্স প্রসিডিং বৈদ্যুতিন গ্রন্থ
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  12. 12
    Formal approaches to software testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, revised selected papers /
    প্রকাশিত 2005
    Springer Link
    কনফারেন্স প্রসিডিং গ্রন্থ
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  13. 13
    Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /
    Click here to view the full text content
    বৈদ্যুতিন গ্রন্থ
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  14. 14
    Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, proceedings
    প্রকাশিত 2005
    Click here to view the full text content
    কনফারেন্স প্রসিডিং বৈদ্যুতিন গ্রন্থ
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  15. 15
    Formal aspects in security and trust : third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers /
    প্রকাশিত 2006
    Click here to view the full text content
    কনফারেন্স প্রসিডিং বৈদ্যুতিন গ্রন্থ
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  16. 16
    Formal methods and stochastic models for performance evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings /
    প্রকাশিত 2006
    Click here to view the full text content
    কনফারেন্স প্রসিডিং বৈদ্যুতিন গ্রন্থ
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  17. 17
    Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures /
    প্রকাশিত 2006
    Click here to view the full text content
    কনফারেন্স প্রসিডিং বৈদ্যুতিন গ্রন্থ
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  18. 18
    Integration of AI and OR techniques in constraint programming for combinatorial optimization problems (vol. # 3990) Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings /
    প্রকাশিত 2006
    Click here to view the full text content
    কনফারেন্স প্রসিডিং বৈদ্যুতিন গ্রন্থ
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  19. 19
    Formal approaches to software testing (vol. # 3997) : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers /
    প্রকাশিত 2006
    Click here to view the full text content
    কনফারেন্স প্রসিডিং বৈদ্যুতিন গ্রন্থ
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  20. 20
    FM 2006: formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /
    প্রকাশিত 2006
    Click here to view the full text content
    কনফারেন্স প্রসিডিং বৈদ্যুতিন গ্রন্থ
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
অনুসন্ধান সাধনীগুলি: আরএসএস প্রতিক্রিয়া পাওয়ার জন্য – এই ই-মেইলটি অনুসন্ধান করুন – অনুসন্ধান সংরক্ষণ করুন