---

Add URL

My Sites

My Account

Contact Us

Search only in F   Search the Web

 Home » Computer Science » People » F

Categories

Flowers, Tommy (3)

Web Pages    1 - 10   {15}

1 - Foster, Ian   Argonne National Laboratory, University of Chicago - Distributed computing, parallel tools, computational science. http://www-fp.mcs.anl.gov/~foster/   [more pages from this URL]     2 - Falaschi, Moreno   University of Udine - Logic programming, functional logic programming, analysis and transformation of declarative programs. http://www.dimi.uniud.it/~falaschi/   [more pages from this URL]     3 - Francez, Nissim   The Technion - Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification, concurrent and distributed programming, logic programming. http://www.cs.technion.ac.il/~francez/   [more pages from this URL]     4 - Fourman, Michael   School of Informatics, the University of Edinburgh - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning. http://www.inf.ed.ac.uk/people/staff/Michael_Fourman.html   [more pages from this URL]     5 - Franklin, James   University of New South Wales - Neural networks and structuralist philosophy of mathematics. http://www.maths.unsw.EDU.AU/~jim/   [more pages from this URL]     6 - Foo, Norman   University of New South Wales - Logic and model theory, belief revision. http://www.cse.unsw.edu.au/~norman/   [more pages from this URL]     7 - Fjeld, Morten   ETH Zurich - Human-computer interaction (HCI), cognitive ergonomics, and applied mathematics. http://www.fjeld.ch/   [more pages from this URL]     8 - Foresti, Gian Luca   University of Udine - Pattern recognition, computer vision, artificial neural networks, learning in vision, artificial intelligence. http://www.dimi.uniud.it/~foresti/   [more pages from this URL]     9 - Fröhlich, Peter H.   UC Riverside. Programming Languages, Software Engineering, Systems Software, Component-Oriented Programming Languages, Lagoona. http://www.cs.ucr.edu/~phf/   [more pages from this URL]     10 - Fränzle, Martin   Universität Oldenburg - Formal methods, real-time and hybrid systems, hardware synthesis and verification, and temporal logic. http://ca.informatik.uni-oldenburg.de/~fraenzle/   [more pages from this URL]

1  2  Next »»

E-Mail Add URL