Back to the home page


SEEDI 2008 Presentations

Ranking in the field of Computer Science

Guide2Research Ranking in CS

EU projekti, FP7, FP6, Eureka

Structured information about the EU's current programming period and all the new funds


FP7 Recently Published Calls

FP7, Security, Deadline: 29 November 2007

FP7 ICT Work Programme

ICT Policy Support Programme

Identifier: FP7-ICT-2007-1

Cultural heritage in FP7

Identifier: FP7-REGPOT-2007-3

EU Funding 2006 Research Mr. Krisztian Lohr, EUCENTER, Portal on EU funds,,

EU funds

IS2WEB Extending Information Society Networks to the Western Balkan Region

Europe's information society thematic portal

eCulture Newsletter Christine Michaut, Information and Communication Officer, Preservation and Enhancement of Cultural Heritage, Directorate-General Information Society, European Commission,,

EMFlash Margaretha Mazura European Multimedia Forum, Rue Hector Denis 55, 1050 Brussels, Belgium,

FP6 Cordis



FP6 za trece zemlje Back to the content.


ADHOCSYS on line tool


Podnosenje projekata 144013
Rezultati saradnika

Baza radova iz verovatnosne logike Back to the content.



Stanford The CSLI web server ( provides support for the home pages of several Stanford groups.


Williams College

Old dominion university, computer science departement, Virginia, USA

Laurentian University, Canada. Dept. of Comp. science

Univ. of Michigan, Elect. Eng. and Comp. Sci.

Department of Computer Sciences, The University of Texas at Austin

Dept. of Electrical and Computer Engineering Pittsburgh


University of Notre Dame Computer Science & Engineering Department

Carnegie Mellon

The University El Paso, CS

Dartmouth College, Hanover, New Hampshir

Mathematics and Computer Science Division, Argonne National Laboratory


Universitt Heidelberg Technische Simulation, IWR, Universitt Heidelberg, Im Neuenheimer Feld 368, D-69120 Heidelberg, email:,

The campus of University of Wales Swansea.

Universitet Karlsruhe Institut fur Logik, Komplexitet und Deduktionssysteme


The Dutch Graduate School in Logic (OzsL)

Holandija, The Institute for Logic, Language and Computation


Swiss Federal Institute of Technology at Monte Verita, Ticino, Switzerland

Comenius University, Bratislava

Computer and Systems Science Department Università di Roma,La Sapienza

Weizmann Institute of Science, Israel.

Reims, France

Madrid, Spain

Juzna Amerika

Punta del Este, Uruguay

Natal, Brazil



Tohoku University, Sendai, Japan

Hong Kong

Hong Kong - reference dokazivaca dblp/db/indices/a-tree/k/Krapez:Aleksandar.html

Institute of Mathematical Sciences, Delphi, Department of Computer Science & Engineering

The institutr of mathematical science, Campus, Taramani, Chennai 600 113, INDIA.

Kuwait University, Kuwait.




Matematicki fakultet BG

Institut za filozofiju i drustvo


Back to the content.

Histrory, Logic, Encyclopedies

Logic and Probability. Stanford Encyclopedia of Philosophy

Istorija The MacTutor History of Mathematics archive, Biographies Index, History Topics Index, ...

Istorija Department of mathematics and cs, Laurentian University, Canada. This History of Mathematics site also includes timelines and a chronological List of Mathematicians from 1700 BC to the present, including some biographies and other links.

Istorija Maintained by David E. Joyce ( Department of Mathematics and Computer Science Clark University. Regional mathematics, Subjects, Books and other resources, Chronology, Hilbertovi problemi, Euklidovi elementi ...

Euclid's Elements

Alan Turing Maintained by Andrew Hodges, author of Alan Turing: the Enigma.
Turing-ov test

Logic, Philosophy, and Artificial Life Resources , Istorija, projekti, ljudi.

Encyclopedia of Marxism: Glossary of People

Linkovi iz logike

Logicke konferencije

Bulletin of Symbolic Logic

The Virtual Museum of Computing

Back to the content.


Electronic World Directory of Mathematicians (EWDM)

Humbolt fondacija (Aleksandar vonHumboldt)


ACM Tech Packs. annotated bibliographies in computing


EATCS European Association for Theoretical Computer Science

Slanje prikaza za AMS MathRev

IPDPS IPDPS is an international forum for engineers and scientists from around the world to present their latest research findings in all aspects of parallel computation.

The Electronic Newsletter of the IEEE Communications Society

FoLLi The European Association for Logic, Language and Information (FoLLI)

Colibri The URL for the home page of the Colibri WWW server

International Association for Computer and Information Science (ACIS)

Decision and reasoning under uncertainty DECISION AND REASONING UNDER UNCERTAINTY

Union of Slovak Mathematicians and Physicists (USMP)

Back to the content.


Digital Mathematics Library, Resources

Open-access, online journal Logical Methods in Computer Science

Review of Symbolic Logic (RSL), Association of Symbolic Logic (ASL)

Web Semantics: Science, Services and Agents on the World Wide Web, Elsevier


Citation Databases Journal List

Advances in Modal Logic

Discrete Applied Mathematics DAM

Artificial Intelligence AI

Theoretical Computer Science

Journal of Logic and Computation JLC

Discrete Mathematics and Theoretical Computer Science , A Free Electronic Journal DMTCS

INFORMATICA an International Journal of Computing and Informatics, It was published by the Josef Stefan Institute in Ljubljana.

ETAI Journal on decision and reasoning under uncertainty. ETAI Journal

Parallel and Distributed Computing Practices (PDCP)

Journal on Relational Methods in Computer Science - An electronic Journal -

The London Mathematical Society JOURNAL OF COMPUTATION AND MATHEMATICS The LMS JOURNAL OF COMPUTATION AND MATHEMATICS , all abstracts, and the search engine, are publicly available on the web. To read or download the main text (in pdf) and associated files of a paper, either you or your institution must be registered as a subscriber. TO SUBSCRIBE (free of cost for the present).

Journal of Applied Non-Classical Logics,

Annals of Mathematics and Artificial Intelligence

Camdridge mathematical journal "+ Plus"

"Komentar" - Internet casopisa za politicke analize i zblizavanje pravoslavnih naroda. Komentar
Komentar na srpskom
Komentar na ruskom
Komentar - Forum
Gradovi NATO

Back to the content.


John Wiley & Sons Wiley InterScience

OXFORD UNIVERSITY PRESS For the latest tables of contents of other journals in your area
For advance details of appropriate new books

Elsevier Elsevier

Springer-Verlag Springer

McMillan McMillan

CSLI , Center for the Study of Language and Information, Lecture Notes, CSLI Publications, Stanford.

Nova Science Publishers

Institute of Physics Publishing - books for physicists, scientists, schools, colleges, universities and individuals

Back to the content.

People - Search

Electronic World Directory of Mathematicians (EWDM)

Elsevier pretrazivanje

List of People in interesting Research Areas

List of People in interesting Research Areas - BOLJA

Jozefova lista za pretrazivanje

Encyclopedia of Marxism: Glossary of People


Halpern, Joseph Y Helpern

Ron Fagin email:, fagin@almaden.bitnet

Moshe Vardi

Peter Haddawy Peter Haddawy

E. Allen Emerson

Edmund M. Clarke Povezan je i na stranu simbolicke verifikacije, sa radovima, programima, testovima ...

M. Fitting

JUDEA PEARL UCLA Computer Science Department Cognitive Systems Lab 4532 Boelter Hall tel: (310) 825-3243 fax: (310) 825-2273 e-mail

J.A. Makowsky Technion-Israel Institute of Technology, Haifa.

Eike Best . Petri mreze, Prof. Dr. Eike Best, University of Oldenburg, Fachbereich Informatik, Parallel systems, D-26111 Oldenburg, email:

Oded Goldreich Oded Goldreich is a Professor of Computer Science Mathematics and Computer Science. email:

L. Farinas del Cerro , editor-in-chief of the Journal of Applied Non-Classical Logics, I.R.I.T. Universite Paul Sabatier, 118 route de Narbonne, 31062 TOULOUSE Cedex FRANCE Fax: 33 5 61558325 (05 61558325 en France), Tel: 33 5 61556345 (05 61556345 en France),

Martin De Rijke

Maartin Marx
Maartin Marx

Dov Gabbay
Dov Gabbay

Stephany Demri

Anuj Dawar

Alexandar Dekhtyar

David Poole I am a Professor in the Department of Computer Science, University of British Columbia. I am a member of the Laboratory for Computational Intelligence and a principal investigator of IRIS., main research interests are artificial intelligence, knowledge representation, reasoning under uncertainty, computational logic, diagnosis, probabilistic argumentation systems, reasoning about actions, decision theoretic planning, and preference elicitation.

Jeremy Avigad Department of Philosophy at Carnegie Mellon University.

Back to the content.


European Heritage Network, HEREIN

Back to the content.


Pisa, nestandardna

The 2002 Federated Logic Conference, FLoC'02 Sa intuicionistickom-modalnom sesijom

FroCoS 2002, Italija, Djenova

The proceedings of FTP'98 -- 2nd Int. Workshop on First-order Theorem Proving (November 23-25, 1998, Vienna, Austria) are now available on the web: FTP'98 and by anonymous ftp:

FLoc'99 Workshop IMLA: Intuitionistic Modal Logic and Applications IMLA




TABLEAUX Non Classical Systems Comparison, Experimental Analysis of Theorem Provers and Satisfiability Testers on Non Classical Logics

CAA 2000 Computing Archaeology for Understanding the Past, A joint conference of Computer Applications and Quantitative Methods in Archaeology conference) and the Union Sciences Préhistoriques et Commission IV. Slovenia, April 18 - 21, 2000 Ljubljana.

Back to the content.


SFRJ radio

Encyclopaedia of Mathematics (Edited by Michiel Hazewinkel)

The Internet Archive



How computing has changed humanity

Izazovi matematike za 21 vek

Svakodnevna matematika


LaTeX tutorial

Computational Intelligence Website launched First-Stop Source for researchers in the field of Computational Intelligence. Sadrzaji, apstrakti 60-tak elsevier casopisa.

News arhiva



CSPLib v1.0: a benchmark library for constraints CSPLib ,, Announcement of Release and Call for Problems.

Zadaci za takcmicenja iz programiranja

Trazenje posla 1

Trazenje posla 2

Trazenje posla 3


COMPUTING ALERT Anbar . Your window on knowledge management and information access from Anbar Electronic Intelligence.
NEW JOURNALS COVERAGE LIST. Every year the list of accredited journals changes. New titles are added while others are removed from the list. If you haven't yet found out which journals made the grade for 1999 check out the full list of accredited Computing titles at Lista

Science citation index SCI

Arhiva radova xxx

ECCC Electronic Colloquium on Computational Complexity - Research reports, surveys and books in computational complexity



XML jezik



obavestavamo vas da se na adresi KOLA nalazi prva jugoslovenska BESPLATNA berza automobila na internetu.

dalje vas obavestavamo da se na adresi STAN nalazi prva i veoma popularna i posecena jugoslovenska BESPLATNA berza nekretnina na internetu.

Besplatno na YU Internetu

Back to the content.



AT and T

Back to the content.


Strategies in Automated Deduction Information about this series of workshops is available.

Back to the content.

Mathematical Review

-MATH -- the AMS home page on the Web -- at

Mathematical Reviews on the Web

A booklet in PDF form about Mathematical Reviews

MR Guide for Reviewers

Guide for Electronically Submitted Reviews

Mathematics Subject Classification

MR Author Lookup

Abbreviations of Names of Serials

Institution Codes and Addresses

Back to the content.


Math pages - puno dobrih tekstova

Free online MIT Harvard Berkly courses

Stanford Encyclopedia of Philosophy

Baza iz verovatnosnih logika

Springer Computer Science Reading room

The Great Principles of Computing project

Computer Science Unplugged - razumevanje principa izracunavanja

Macmillan Online Dictionary

Merriam-Webster Online Dictionary sa izgovorom


Prevodilac, fraze

Cambridge online dictionary

Common Errors in English

Engleski Recnik

Srspko-Engleski 1

Srpsko-Engleski 2

Wikipedia, the free encyclopedia

Algebra lessons

Formal Methods Education Resources

Guide to Linear Programming

Privacy, criptology

Math Puzzle

E-books on mathematics

Windows Live Academic

Google Scholar

Microsoft Academic Search

Back to the content.

Entertainment, Tourism, Phone numbers

Grobarski tresh romantizam

Koncert grupe JNA

Predavanje o istorijatu FK Partizan

Blog o istoriji FK Partizan / FK Partizan historical blog

Fomenko, hronologija

Njuz u ogledalu

HR Njuz u ogledalu

Anarho-sindikalisticka inicijativa


Telekom Srbija, telefonski brojevi, Fiksna talefonija

Temperatura, prognoza

Istocna Srbija


Djavolja varos

Best beaches

Last Minute, 3614-143

Hoteli u Grckoj (Sithonija, Rahona, Lagonandra

Skiatos, Skopelos

Skiatos, Skopelos

Dizajneri logo-a

Back to the content.


ibm - crtani filmovi

Spisateljica (napisala Cicu)

Back to the content.


Doba heroja, pesme, ...


Prikaz u Unity-ju.

Prikaz u Unity-ju 20. 10. 2020..

Prikaz u Unity-ju 1. 11. 2020..

Prikaz u Unity-ju OUT 17. 11. 2020.

Prikaz u Unity-ju IN 17. 11. 2020.

Prikaz u Unity-ju OUT 2. 12. 2020.

Prikaz u Unity-ju IN 2. 12. 2020.

Prikaz u Unity-ju OUT 3. 12. 2020.

Prikaz u Unity-ju IN 3. 12. 2020.

Prikaz u Unity-ju OUT 5. 12. 2020.

Prikaz u Unity-ju IN 5. 12. 2020.

Back to the home page