Іздеу

Шығарылым
Атауы
Авторлар
Verifying Digital Components of Physical Systems: Experimental Evaluation of Test Quality
Laputenko A., López J., Yevtushenko N.
Finding False Paths in Sequential Circuits
Маtrosova А., Аndreeva V., Chernyshov S., Rozhkova S., Kudin D.
Applying ROBDDs for Logical Circuit Delay Testing
Matrosova A., Andreeva V., Tychinskiy V., Goshin G.
Нәтижелер 3 - 1/3
Сыбырсөздер:
  • Негізгі сөздер тіркелімге сезімтал< / li>
  • Ағылшын предлогтары мен одақтары еленбейді
  • Әдепкі бойынша іздеу барлық негізгі сөздер үшін жасалады (агенс AND экспериенцер)
  • Белгілі бір терминді табу үшін OR қолданыңыз. білім беру OR оқыту
  • мысалы, күрделі сөз тіркестерін жасау үшін жақшаларды қолданыңыз. мұрағат ((журналдар OR конференциялар) NOT диссертациялар)
  • Нақты фразаны табу үшін, мысалы, тырнақшаларды қолданыңыз. "ғылыми зерттеулер"
  • сөзді - (сызықша) немесе not операторының көмегімен алып тастаңыз; мысалы. сұлулық байқауы< / em > немесе сұлулық байқауы< / em > < / li>
  • мысалы, нұсқа ретінде * қолданыңыз. ғылым* "ғылыми","ғылыми"және т. б. сөздерді қамтиды< / li> < / < / к-сі>