Structured information about the EU's current programming period and all the new funds
FP7, Security, Deadline: 29 November 2007
EU Funding 2006 Research Mr. Krisztian Lohr, EUCENTER, Portal on EU funds, www.eucenter.org, info@eucenter.org
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, Christine.MICHAUT@cec.eu.int, www.cordis.lu/digicult
EMFlash Margaretha Mazura European Multimedia Forum, Rue Hector Denis 55, 1050 Brussels, Belgium, info@e-multimedia.org
FP6 za trece zemlje Back to the content.
Podnosenje projekata 144013
Rezultati saradnika
Baza radova iz verovatnosne logike Back to the content.
Stanford The CSLI web server (www-csli.stanford.edu) provides support for the home pages of several Stanford groups.
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
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: ems@iwr.uni-heidelberg.de,
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.
Tohoku University, Sendai, Japan
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.
Institut za filozofiju i drustvo
Back to the content.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 (djoyce@clarku.edu) Department of Mathematics and Computer Science Clark University. Regional mathematics, Subjects, Books and other resources, Chronology, Hilbertovi problemi, Euklidovi elementi ...
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
The Virtual Museum of Computing
Back to the content.Electronic World Directory of Mathematicians (EWDM)
Humbolt fondacija (Aleksandar vonHumboldt)
ACM
ACM Tech Packs.
annotated bibliographies in computing
ACM 1
ACM DIGITAL LIBRARY
ACM DIGITAL PORTAL
EATCS European Association for Theoretical Computer Science
AMS
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
Discrete Applied Mathematics DAM
Artificial Intelligence AI
Journal of Logic and Computation
JLC
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
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
registration
registration
registration
Springer-Verlag Springer
McMillan McMillan
CSLI , Center for the Study of Language and Information, Lecture Notes, CSLI Publications, Stanford.
Back to the content.
Imu-Net
Electronic World Directory of Mathematicians (EWDM)
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.ibm.com, fagin@almaden.bitnet
Peter Haddawy Peter Haddawy
Edmund M. Clarke Povezan je i na stranu simbolicke verifikacije, sa radovima, programima, testovima ...
JUDEA PEARL UCLA Computer Science Department Cognitive Systems Lab 4532 Boelter Hall tel: (310) 825-3243 fax: (310) 825-2273 e-mail to:judea@cs.ucla.edu
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: eike.best@informatik.uni-oldenburg.de
Oded Goldreich Oded Goldreich is a Professor of Computer Science Mathematics and Computer Science. email: oded@wisdom.weizmann.ac.il
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), E-mail:farinas@irit.fr
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.The 2002 Federated Logic Conference, FLoC'02 Sa intuicionistickom-modalnom sesijom
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: ftp://ftp.logic.at/pub/ftp98/
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.Encyclopaedia of Mathematics (Edited by Michiel Hazewinkel)
How computing has changed humanity
Computational Intelligence Website launched
First-Stop Source for researchers in the field of Computational
Intelligence. Sadrzaji, apstrakti 60-tak elsevier casopisa.
CITE
CITE
CITE
CSPLib v1.0: a benchmark library for constraints CSPLib , email:csplib@cs.strath.ac.uk, Announcement of Release and Call for Problems.
Zadaci za takcmicenja iz programiranja
COMPUTING ALERT
Anbar .
Your window on knowledge management and information access from Anbar
Electronic Intelligence.
ANBAR COMPUTER ABSTRACTS are now available via CAMBRIDGE SCIENTIFIC
ABSTRACTS at Abstrakti .
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
ECCC Electronic Colloquium on Computational Complexity - Research reports, surveys and books in computational complexity
obavestavamo vas da se na adresi http://www.sota.ch/auto/ KOLA nalazi prva jugoslovenska BESPLATNA berza automobila na internetu.
dalje vas obavestavamo da se na adresi http://www.sota.ch/immo/ STAN nalazi prva i veoma popularna i posecena jugoslovenska BESPLATNA berza nekretnina na internetu.
Back to the content.IBM IBM
Back to the content.Strategies in Automated Deduction Information about this series of workshops is available.
Back to the content.-MATH -- the AMS home page on the Web -- at
Mathematical Reviews on the Web
A booklet in PDF form about Mathematical Reviews
Guide for Electronically Submitted Reviews
Mathematics Subject Classification
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
Springer Computer Science Reading room
The Great Principles of Computing project
Computer Science Unplugged - razumevanje principa izracunavanja
Merriam-Webster Online Dictionary sa izgovorom
Wikipedia, the free encyclopedia
Formal Methods Education Resources
Predavanje o istorijatu FK Partizan
Blog o istoriji FK Partizan / FK Partizan historical blog
Anarho-sindikalisticka inicijativa
Telekom Srbija, telefonski brojevi, Fiksna talefonija
Temperatura, prognoza
Istocna Srbija
Mape
Hoteli u Grckoj (Sithonija, Rahona, Lagonandra
Back to the content.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.