26 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
000000000000DEFAULTTR
Yazdır
13. 
Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant için kapak resmi
Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant
Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant
Yazar 
Chlipala, Adam, 1981-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712486
Format: 
Electronic Resources
Alıntı: 
adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing
14. 
Advances in neural information processing systems 19 : proceedings of the 2006 conference için kapak resmi
Advances in neural information processing systems 19 : proceedings of the 2006 conference
Advances in neural information processing systems 19 : proceedings of the 2006 conference
Yazar 
Conference on Neural Information Processing Systems (20th : 2006 : Vancouver, B.C.)
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267330
Format: 
Electronic Resources
Alıntı: 
the 2006 NIPS conference. Thomas Hofmann is a Director of Engineering at Google's Engineering Center
15. 
Robotics : science and systems IV için kapak resmi
Robotics : science and systems IV
Robotics : science and systems IV
Yazar 
Robotics: Science and Systems Conference (4th : 2008 : Swiss Federal Institute of Technology)
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267360
Format: 
Electronic Resources
Alıntı: 
Robotics: Science and Systems Conference (4th : 2008 : Swiss Federal Institute of Technology)
16. 
The rapid evaluation of potential fields in particle systems için kapak resmi
The rapid evaluation of potential fields in particle systems
The rapid evaluation of potential fields in particle systems
Yazar 
Greengard, Leslie, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267271
Format: 
Electronic Resources
Alıntı: 
revolutionize a whole class of computer applications in science and engineering.In many areas of scientific
17. 
Experiments in the machine interpretation of visual motion için kapak resmi
Experiments in the machine interpretation of visual motion
Experiments in the machine interpretation of visual motion
Yazar 
Murray, David W., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267417
Format: 
Electronic Resources
Alıntı: 
University Lecturer in Engineering Science at the University of Oxford and Draper's Fellow in Robotics at St
19. 
IEEE Computer Society real-world software engineering problems : a self-study guide for today's software professional için kapak resmi
IEEE Computer Society real-world software engineering problems : a self-study guide for today's software professional
IEEE Computer Society real-world software engineering problems : a self-study guide for today's software professional
Yazar 
Naveda, J. Fernando, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989366
Format: 
Electronic Resources
Alıntı: 
IEEE Computer Society real-world software engineering problems : a self-study guide for today's
20. 
Circuits, signals, and systems için kapak resmi
Circuits, signals, and systems
Circuits, signals, and systems
Yazar 
Siebert, William McC., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276850
Format: 
Electronic Resources
Alıntı: 
The MIT electrical engineering and computer science series
21. 
System identification : a frequency domain approach için kapak resmi
System identification : a frequency domain approach
System identification : a frequency domain approach
Yazar 
Pintelon, R., (Rik) author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6198969
Format: 
Electronic Resources
Alıntı: 
, and chemical engineering.Focusing mainly on frequency domain techniques, System Identification: A
22. 
Knowledge structures for communications in human-computer systems general automata-based için kapak resmi
Knowledge structures for communications in human-computer systems general automata-based
Knowledge structures for communications in human-computer systems general automata-based
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
23. 
Satellite-based Navigation and Timing : Engineering Systems, Signals, and Receivers. için kapak resmi
Satellite-based Navigation and Timing : Engineering Systems, Signals, and Receivers.
Satellite-based Navigation and Timing : Engineering Systems, Signals, and Receivers.
Yazar 
IEEE Xplore (Online Service), distributor.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7394655
Format: 
Electronic Resources
Alıntı: 
Satellite-based Navigation and Timing : Engineering Systems, Signals, and Receivers. IEEE Xplore
24. 
Digital terrestrial television broadcasting : technology and system için kapak resmi
Digital terrestrial television broadcasting : technology and system
Digital terrestrial television broadcasting : technology and system
Yazar 
Song, Jian, 1966- editor.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7198538
Format: 
Electronic Resources
Alıntı: 
comprehensive guide for engineering students and practicing professionals in this area Digital Terrestrial
Tümünü Seç
26 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
MIT Press, publisher.
(17)
Wiley, publisher.
(4)
Wiley InterScience (Online service), publisher.
(3)
John Wiley & Sons, publisher.
(2)
Taylor, Charles Fayette, 1894-1996.
(2)
Format
Dil
Basım Yılı
Konu
Electronic books.
(26)
Computer programming.
(6)
AC-SUB.
(2)
COMPUTERS -- Programming -- Open Source.
(2)
COMPUTERS -- Software Development & Engineering -- General.
(2)
Materyal Türü
Lokasyon
Kütüphane

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope