کتابخانه دیجیتال دانشگاه مهرالبرز: Browsing HannanDL

مرور بر اساس تاریخ انتشار Logic design. ;

Showing results 1 to 20 of 34 بعدی >

Issue Date	Title	Contributor(s)
2018	Coalgebraic Methods in Computer Science	Cerstea, Corina. ; (orcid)0000-0003-3165-5678 ; http://orcid.org/0000-0003-3165-5678. ;
2018	Computational Science ee ICCS 2018	Shi, Yong. ;; Fu, Haohuan. ;; Tian, Yingjie. ;; Krzhizhanovskaya, Valeria V. ;; Lees, Michael Harold. ;; Dongarra, Jack. ;; Sloot, Peter M. A. ;
2018	Computer Algebra in Scientific Computing	Gerdt, Vladimir P. ;; Koepf, Wolfram. ;; Seiler, Werner M. ; (orcid)0000-0002-0565-1334 ; http://orcid.org/0000-0002-0565-1334. ;; Vorozhtsov, Evgenii V. ;
2018	Computer Safety, Reliability, and Security	Gallina, Barbara. ; (orcid)0000-0002-6952-1053 ; http://orcid.org/0000-0002-6952-1053. ;; Skavhaug, Amund. ;; Schoitsch, Erwin. ; (orcid)0000-0002-0335-5443 ; http://orcid.org/0000-0002-0335-5443. ;; Bitsch, Friedemann. ; (orcid)0000-0001-6152-4121 ; http
2018	Dependable Software Engineering. Theories, Tools, and Applications	Feng, Xinyu. ;; Meller-Olm, Markus. ;; Yang, Zijiang. ;
2018	Developments in Language Theory	Hoshi, Mizuho. ;; Seki, Shinnosuke. ;
2018	Embedded Systems Technology	Bi, Yuanguo. ;; Chen, Gang. ;; Deng, Qingxu. ;; Wang, Yi. ;
2018	Euro-Par 2017: Parallel Processing Workshops	Heras, Dora B., ; editor. ;; Bouge, L. ; (Luc), ; editor. ;
2018	Euro-Par 2018: Parallel Processing	Aldinucci, Marco. ; (orcid)0000-0001-8788-0829 ; http://orcid.org/0000-0001-8788-0829. ;; Padovani, Luca. ; (orcid)0000-0001-9097-1297 ; http://orcid.org/0000-0001-9097-1297. ;; Torquati, Massimo. ; (orcid)0000-0001-6323-3459 ; http://orcid.org/0000-0001-
2018	A First Introduction to Quantum Computing and Information	Zygelman, Bernard. ;
2018	Formal Aspects of Component Software	Bae, Kyungmin. ; (orcid)0000-0002-6430-5175 ; http://orcid.org/0000-0002-6430-5175. ;; eelveczky, Peter Csaba. ; (orcid)0000-0002-0708-3721 ; http://orcid.org/0000-0002-0708-3721. ;
2018	Formal Modeling and Analysis of Timed Systems	Jansen, David N. ; (orcid)0000-0002-6636-3301 ; http://orcid.org/0000-0002-6636-3301. ;; Prabhakar, Pavithra. ; (orcid)0000-0002-5368-3234 ; http://orcid.org/0000-0002-5368-3234. ;
2018	Information Security	Chen, Liqun. ; (orcid)0000-0003-2680-4907 ; http://orcid.org/0000-0003-2680-4907. ;; Manulis, Mark. ; (orcid)0000-0002-1512-9670 ; http://orcid.org/0000-0002-1512-9670. ;; Schneider, Steve. ; (orcid)0000-0001-8365-6993 ; http://orcid.org/0000-0001-8365-69
2018	Model-Driven Engineering and Software Development	Pires, Lues Ferreira. ;; Hammoudi, Slimane. ;; Selic, Bran. ;
2018	Parallel Computational Technologies	Sokolinsky, Leonid. ;; Zymbler, Mikhail. ;
2018	Parallel Processing and Applied Mathematics	Wyrzykowski, Roman. ; editor. ;; Dongarra, Jack. ; editor. ;; Deelman, Ewa. ; editor. ;; Karczewski, Konrad. ; editor. ;
2018	Parallel Processing and Applied Mathematics	Wyrzykowski, Roman. ; editor. ;; Dongarra, Jack. ; editor. ;; Deelman, Ewa. ; editor. ;; Karczewski, Konrad. ; editor. ;
2018	Post-Quantum Cryptography	Lange, Tanja. ;; Steinwandt, Rainer. ;
2018	Principles and Structures of FPGAs	Amano, Hideharu. ;
2018	Quantitative Evaluation of Systems	McIver, Annabelle. ;; Horvath, Andras. ; (orcid)0000-0002-8210-545X ; http://orcid.org/0000-0002-8210-545X. ;

Showing results 1 to 20 of 34 بعدی