15 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Groote, J. F. (Jan Friso), 1965-, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6895438
Format:
Electronic Resources
Alıntı:
Computer science -- Mathematics.
Yazar
Szallasi, Zoltan.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267344
Format:
Electronic Resources
Alıntı:
Cytology -- Computer simulation.
View Other Search Results
Yazar
Schaathun, Hans Georg, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6331046
Format:
Electronic Resources
Alıntı:
Data encryption (Computer science)
Yazar
Najm, Farid N., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5521825
Format:
Electronic Resources
Alıntı:
Electronic circuits -- Computer simulation.
Yazar
Goel, Ashok K., 1953- author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201516
Format:
Electronic Resources
Alıntı:
Integrated circuits -- Very large scale integration -- Computer simulation.
Yazar
Cormen, Thomas H., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6482302
Format:
Electronic Resources
Alıntı:
Computer algorithms.
Yazar
Posy, Carl J, editor.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6554353
Format:
Electronic Resources
Alıntı:
Mathematics -- Philosophy.
Yazar
Koenig, Eldo C. (Eldo Clyde), 1919- author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5988895
Format:
Electronic Resources
Alıntı:
Knowledge structures for communications in human-computer systems general automata-based / Koenig
Yazar
Pedroni, Volnei A., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712668
Format:
Electronic Resources
Alıntı:
Computer systems -- Mathematical models.
10.
Yazar
Chlipala, Adam, 1981-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712486
Format:
Electronic Resources
Alıntı:
Automatic theorem proving -- Computer programs.
Yazar
Sullivan, Dennis Michael, 1949-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168881
Format:
Electronic Resources
Alıntı:
computer programs to illustrate key principles. These computer programs can be easily copied and used by
Yazar
Fishwick, Paul A.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267391
Format:
Electronic Resources
Alıntı:
Computer science.
15 sonuç bulundu