• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۹۴ پاسخ غیر تکراری از ۹۴ پاسخ تکراری در مدت زمان ۰,۸۶ ثانیه یافت شد.

21. Computer aided verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Orna Grumberg )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

Classification :
QA
76
.
L28
Vol
.
1254

22. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Rajeev Alur, Thomas A. Henzinger

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers

Classification :
QA
76
.
L28
Vol
.
1102

23. Computer aided verification : 6th International Conference, CAV'94Stanford, California, USA, June 21-23, 1994. Proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: David L. Dill, ed

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

Classification :
QA
76
.
L28
Vol
.
818

24. Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Alan J. Hu, Moshe Y. Vardi )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

Classification :
QA
76
.
L28
Vol
.
1427

25. Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: Congresses ، Computer software-- Verification,Congresses ، Integrated circuits-- Verification

Classification :
QA
76
.
76
.
E93
.
C38
2001

26. Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Gerard Berry, Hubert Comon, Alain Finkel )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification

Classification :
QA
76
.
L28
Vol
.
2102

27. E-Voting and Identity

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: \ Rolf Haenni , Reto E. Koenig, Douglas Wikström (Eds.)

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Electronic voting -- Congresses.,Data encryption (Computer science) -- Congresses.,Computer software -- Verification -- Congresses.,رأی‌گیری الکترونیکی -- کنگره‌ها ,رمزگذاری داده‌ها -- کنگره‌ها ,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها

Classification :
JF
1032
.
E94
2015
E-Book
,

28. E-voting and identity

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Aggelos Kiayias, Helger Lipmaa (eds.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer software-- Verification, Congresses,Data encryption (Computer science), Congresses,Electronic voting, Congresses

Classification :
JF1032
.
V68
2011eb

29. Empirical software engineering and verification

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Bertrand Meyer, Martin Nordio (eds.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer software-- Verification, Congresses,Software engineering, Congresses

Classification :
QA76
.
758
.
E47
2011eb

30. Formal Methods for Industrial Critical Systems

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: \ Manuel Núñez , Matthias Güdemann (Eds.)

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرم‌افزار -- مهندسی-- کنگره‌ها ,برنامه‌های کامپیوتری -- راستی‌آزمایی -- کنگره ها

Classification :
QA
76
.
9
.
F6
2015
E-Book
,

31. Formal approaches to software testing and runtime verification

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Klaus Havelund ... [et al.] (eds.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Formal methods (Computer science)--Congresses,Computer software--Testing--Congresses,Software testing,Runtime verification,FATES,RV

Classification :
QA
,
76
.
9
,.
F67
,
F524
,
2006

32. Formal methods for industrial critical systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Falk Howar, Jiří Barnat (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.

Classification :
QA76
.
9
.
F67
I58
2018eb

33. Formal methods for industrial critical systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Darren Cofer, Alessandro Fantechi (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.

Classification :
QA76
.
9
.
F67
I594
2008eb

34. Formal methods for industrial critical systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Gwen Salaün, Bernhard Schätz (editions.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Computer software-- Reliability, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses

Classification :
QA76
.
9
.
F67
I58
2011

35. Formal verification of object-oriented software :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Bernhard Beckert, Claude Marche (editions.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Object-oriented methods (Computer science), Congresses

Classification :
QA76
.
76
.
V47
F68
2011

36. Foundations of computer software

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Radu Calinescu, Ethan Jackson (eds.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses

Classification :
QA76
.
76
.
D47
M66
2011

37. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Library of Razi Metallurgical Research Center (Tehran)

Subject: Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering

Classification :
QA
76
.
76
.
D47
.
M666
2011

38. Fundamental approaches to software engineering

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Juan de Lara, Andrea Zisman (eds.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses

Classification :
QA76
.
758
.
F44
2012eb

39. Hardware and software

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Hana Chockler, Alan J. Hu (eds.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Computer programs--Verification--Congresses,Software architecture--Congresses,Computer input-output equipment--Congresses,Computer software--Verification--Congresses

Classification :
QA
,
76
.
76
,.
V47
,
I54
,
2008

40. Hardware and software

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: output equipment ; Congresses. ; Computer software ; Verification ; Congresses. ; -Computer programs ; Verification ; Congresses. ; Software architecture ; Congresses. ; Computer input

Classification :
  • »
  • 5
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival