1. Advanced formal verification
پدیدآورنده : / edited by Rolf Drechsler
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Electronic circuits- Testing,Decision trees
رده :
E-BOOK
2. Advanced formal verification
پدیدآورنده : / edited by Rolf Drechsler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Electronic circuits- Testing,Decision trees
رده :
TK7867
.
A38
2004
3. Advanced formal verification
پدیدآورنده : / edited by Rolf Drechsler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Electronic circuits- Testing,Decision trees
رده :
TK7867
.
A38
2004
4. Applications of Evolutionary Computing :
پدیدآورنده : edited by G nther R. Raidl, Stefano Cagnoni, J rgen Branke, David Wolfe Corne, Rolf Drechsler, Yaochu Jin, Colin G. Johnson, Penousal Machado, Elena Marchiori, Franz Rothlauf, George D. Smith, Giovanni Squillero.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Evolutionary computation -- Congresses.,Evolutionary computation.,Evolutionary programming (Computer science) -- Congresses.
5. Evolutionary Algorithms for Embedded System Design
پدیدآورنده : edited by Rolf Drechsler, Nicole Drechsler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Embedded computer systems -- Programming.,Evolutionary programming (Computer science),Genetic algorithms.
