1068 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Baltag, Alexandru. editor.
Format:
Electronic Resources
Alıntı:
Johan van Benthem on Logic and Information Dynamics Baltag, Alexandru. editor.
Yazar
Yamamoto, Sakae. editor.
Format:
Electronic Resources
Alıntı:
User Interfaces and Human Computer Interaction.
Yazar
Galavotti, Maria Carla. editor.
Format:
Electronic Resources
Alıntı:
-- Chapter 2: The Proof Is in the Process. A Preamble for a Philosophy of Computer-assisted Mathematics
Yazar
Stankoviâc, Radomir S., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5237943
Format:
Electronic Resources
Alıntı:
representations of discrete functions and related tasks in signal processing and system design, including logic
Yazar
Satapathy, Suresh Chandra. editor.
Format:
Electronic Resources
Alıntı:
Computer security.
Yazar
Rutkowski, Leszek. editor.
Format:
Electronic Resources
Alıntı:
Computer Imaging, Vision, Pattern Recognition and Graphics.
Yazar
Mohanty, Saraju P., ed.
Format:
Electronic Resources
Alıntı:
metal-gate CMOS based logic libraries
1064.
Yazar
Yacob, Nor Azizah. editor.
Format:
Electronic Resources
Alıntı:
Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences.
Yazar
Huang, De-Shuang. editor.
Format:
Electronic Resources
Alıntı:
Image Processing and Computer Vision.
Yazar
Kurosu, Masaaki. editor.
Format:
Electronic Resources
Alıntı:
Human-Computer Interaction. Applications and Services 16th International Conference, HCI
Yazar
Hong, Hoon. editor.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science.
1068.
Yazar
Brodersen, Robert W., 1945-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263696
Format:
Electronic Resources
Alıntı:
Metal oxide semiconductors, Complementary -- Computer-aided design.
1068 sonuç bulundu
Arama Sonuçlarını Sınırlandır