Academic Research Groups in Theoretical Computer Science.
  • ACM SIGACT Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory.
  • Algorithm and Complexity Group at the University of Waterloo Research areas include design and analysis of algorithms, models of computation, and computational complexity.
  • Cambridge Theory and Semantics Group Centred around mathematical models of a variety of languages and logics, using techniques such as structural operational semantics, linear logic, domain theory and category theory. Strong links with Logic and Set Theory in the Pure Mathematics Department.
  • DIMACS Center for Discrete Mathematics and Theoretical Computer Science, Rutgers, New Jersey.
  • esiea-labs Research and development club of esiea, l’Ecole Supérieure d’Informatique Electronique Automatique, Paris, France.
  • Formal Aspects of Computing Science Specialist Group - FACS promotes the development of formal approaches of production of computer-based systems.
  • Foundations of Computational Mathematics International Research Group for Computational Mathematics
  • ICS Theory Group University of California, Irvine. Research centers on the design and analysis of algorithms and data structures as well as computational complexity.
  • MIT LCS Theory of Computation Group Research areas include algorithms, complexity theory, computation and biology, cryptography and information security, distributed systems, numerical analysis and scientific computing, semantics, and supercomputing technologies.
  • Oxford University Computing Laboratory A centre for research in computer science, numerical analysis, computational biology, quantum computation, computational linguistics, and information systems.
  • Research groups in Logic and Theoretical Computer Science Covered areas of this list are Theoretical Computer Science, Logic in Computer Science, Mathematical Logic, Philosophical Logic.
  • Stanford CS Theory Research includes sequential and parallel algorithms, computational problems in databases, computational geometry, design and analysis of programs and programming languages, and combinatorial, logical, and algebraic mathematics.
  • The PORTIA Project This project focuses on both the technical challenges of handling sensitive data and the policy and legal issues facing data subjects, data owners, and data users.
  • Theoretical Computer Science at the University of Limburg Major field of research is database theory with a focus on query languages and use of the methods of mathematical logic.

Mali oglasi

Dragan 065/884-8890
Iskusni bravari rade hale, garaže, panelima leksanom, kao i kapije, ograde, natkrivanje terasa.

Green Smarthaus +381 65 477 5001
Najpovoljnije i najkvalitetnije montažne kuće u Srbiji, uvoz iz Austrije. Eksluzivni najprodavaniji modeli. Proverite sajt www.smarthaus.rs.

Nikolija +49 176 7884 4021
Minhen i okolina - tražim posao čuvanja deteta, ili dece. Imam jako dobro iskustvo, predana sam i pedantna. Za sve dodatne informacije, možete me kontaktirati. Molim, samo ozbiljne ponude.

Jasmina 060/184-9309
Potrebni preprodavci božićnih ježića od žita. Ručni rad, mali su, simpatični, cena je povoljna i postoji mogućnost pristojne zarade pred Novu godinu.

Edo +385 98 265 705
Selidbe i dostave u Evropsku uniju, i iz Evropske unije, vršim povoljno velikim kombijem.

SZR Limaks Beška +381 022 570 799
Proizvodnja i prodaja - kvarcne peći i kaloriferi. Kvarcne grejalice za brzo zagrevanje, sa i bez daske. www.limaks.co.rs

Inter CAFFE

40 korisnika prisutno: 3 registrovanih, 1 skrivenih i 36 senkica. Ulogovani: cesko, galeksic, niko650 (01:08)

Bolje te vidim kad sklopim oči - Milan Višnjić
Uto 16.12.2014 8:31, micha@Umetnost
Jedan od cudnijih snova
Pon 15.12.2014 15:58, jeka1983@Sanovnik forum
Iz moje svaštare
Pon 15.12.2014 12:48, micha@Umetnost
Sanjam stalno bivseg momka. Da li to ista znaci?
Sre 10.12.2014 7:59, danielarmd@Sanovnik forum
Muzicki kutak - pjesme za prijatelje
Sre 10.12.2014 0:11, apprivoiser@Umetnost
Poezija - najlepsi stihovi
Sub 06.12.2014 10:32, Wind@Umetnost
Filigranska kapija od stihova - Dejan Milenković
Sub 06.12.2014 1:28, tragalac@Umetnost
Recepti, jela od mesa - rostiljijada
Sub 06.12.2014 0:45, niko650@Životni stil

Virtuelne razglednice

za rodjendan, godišnjicu braka, srećnu slavu, ženidbu, udaju, položen vozački, prijem u radni odnos...