Search for tag: "type theory"

5 Media

49:56 CS2110-FA17-06 Session 06 CS2110-FA17-06 Session 06	CS2110-FA17-06 Session 06 2017-09-07 00:00:00+00 fall 2017 object-oriented programming current class philosophical terminology display technology array equal animal objects called class caption complete behavior film and video technology bottom segment implementation philosophical logic data structures programming language implementation segment method object teaching representation educational psychology existentialism philosophical concepts concepts in physics question videonote primitive types method (computer programming) type theory point bottom method called boolean algebra field animal string method call thing reference rule variable semantics compilers java programming language data types expression compile time existentialist concepts meaning (philosophy of language) information theory From [email protected] 247 plays
47:34 CS2110-FA17-07 Session 07 CS2110-FA17-07 Session 07	CS2110-FA17-07 Session 07 2017-09-13 00:00:00+00 data structures computer file formats functions and mappings operations numbers structure element specification compilers egalitarianism theoretical computer science psychology semantics philosophical terminology implementation equal videonote dot rectangle design type theory difference educational psychology pedagogy information theory geometry implement aesthetics binary arithmetic computer science invasive mammal species abstract data types thing p.d.f. fall 2017 specification languages meaning (philosophy of language) teaching object write method computing terminology grammar data types elementary mathematics interface class cognitive science instance comparable circle sorting algorithms stack philosophical logic minute quadrilaterals linguistics abstract caption complete circles extend function shape geography length geometric algorithms From [email protected] 264 plays
48:43 CS2110-FA17-21 Session 21 CS2110-FA17-21 Session 21	CS2110-FA17-21 Session 21 2017-11-03 00:00:00+00 geodesy signal processing programming languages theoretical computer science fall 2017 set theory rites christian liturgy latin alphabet data types class interrogative words and phrases number interpersonal relationships philosophical terminology concepts in physics mathematical objects thing metrology problem social concepts caption complete string (computer science) t.. string write and worship services implementation lists method generic interface grammar law information formal languages common law videonote apple linked list compilers t.v. java programming language type theory criminal law granny smith primitive types angle bracket integer condensed matter physics consensus reality type parameter parameter communication polymorphism (computer science) syntactic entities real property law works object sociological terminology oenology function extend java standard auxiliary sciences of history From [email protected] 112 plays
41:48 CS2110-FA17-01 Session 01 CS2110-FA17-01 Session 01	CS2110-FA17-01 Session 01 2017-08-22 00:00:00+00 number universities and colleges algebra educational stages systems science didactics school terminology concepts in physics youth programming language concepts theoretical computer science thing data structures numerical analysis computer programming language mathematical notation semiotics write communication computer science computing variables experience molecular modelling computer libraries law ibm software ring theory security method (computer programming) scripting languages arithmetic research data types metalogic information science question binary operations symbols syntactic entities information theory photography primitive types cross-platform free software landscape architecture statement mathematical logic syntax programming intelligence caption complete character specification functions and mappings performing arts academia industry declaration p.d.f. linguistics pedagogy construction assignment operation error elementary mathematics teaching graphics software double engineering recitation learning environmental science program notation representation education grammar writing compilers undergraduate semi-colon common law computing terminology subroutines type theory fall 2017 variable philosophical terminology videonote integer materials programming language implementation numeral systems academic administration reasoning cognitive science operators (programming) c programming language educational institutions psychology hypertext video educational psychology computers possibility interactions From [email protected] 1,087 plays
23:01 CNF NanoCourses 2004 – Section 4.3: Optical… CNF NanoCourses 2004 – Section 4.3: Optical and Electrical	CNF NanoCourses 2004 – Section 4.3: Optical and Electrical conductivity properties electrical systems analog circuits analytic geometry electronics terminology electrical engineering thin films oxide semiconductor device fabrication semiconductors thin film polarisation group theory systems theory caption complete photo resist light electricity matter compensator concepts in physics optics material thermodynamics large area interference length electronics resistance software electric current thickness historical scientific instruments measure design metrology measurement temperature differential calculus chemical elements operating system distributions bootable from read-only media geometrical optics current source type theory algebra physical objects substrate topology spectroscopy heat transfer concentration materials science technique bit difficult systems geometry web 2.0 3play_vodcnf_standard From David Botsch 74 plays