- Subscribe to this page:
- RSS
- Email Alert
University of Szeged Institute of Informatics
(6 results)-
White Papers
Programming Language Elements for Correctness Proofs
May 28, 2008, 12:00am PDT
The study of formal methods to reason about program properties is becoming an important research area, as a considerable part of a software product's lifecycle is testing and bug-fixing. Formal...
Provided by University of Szeged
-
White Papers
The Relationship Between Perceived Risk, Perceived Value And Project Competencies
August 25, 2010, 12:00am PDT
Perceived risk and value. The concept of perceived risk has been conceptualised as corresponding to situations when there are potentially negative outcomes. Later studies distinguished between...
Provided by University of Szeged
-
White Papers
The Impact Of The Closeness Of Cooperation On The Effectiveness Of Cooperation In University-Industry R&D Collaborations
August 25, 2010, 12:00am PDT
The effectiveness and manageability of collaborations between universities and companies are extremely significant in the period when cooperative R&D projects enjoy increased support....
Provided by University of Szeged
-
Software
XChat-WDK 1500 (Windows)
March 7, 2012, 12:00am PST
XChat is an IRC chat program. It allows you to join multiple IRC channels (chat rooms) at the same time, talk publicly, and private one-on-one conversations. XChat-WDK is a patchset for XChat SVN...
Provided by University of Szeged Institute of Informatics
-
Software
XChat-WDK (x86) 1503 (Windows)
March 16, 2012, 12:00am PDT
XChat is an IRC chat program. It allows you to join multiple IRC channels (chat rooms) at the same time, talk publicly, and private one-on-one conversations. XChat-WDK is a patchset for XChat SVN...
Provided by University of Szeged Institute of Informatics
-
Software
XChat-WDK (x64) 1503 (Windows)
March 16, 2012, 12:00am PDT
XChat is an IRC chat program. It allows you to join multiple IRC channels (chat rooms) at the same time, talk publicly, and private one-on-one conversations. XChat-WDK is a patchset for XChat SVN...
Provided by University of Szeged Institute of Informatics
-
Software
XChat-WDK (x86) 1503 (Windows)
March 16, 2012, 12:00am PDT
XChat is an IRC chat program. It allows you to join multiple IRC channels (chat rooms) at the same time, talk publicly, and private one-on-one conversations. XChat-WDK is a patchset for XChat SVN...
Provided by University of Szeged Institute of Informatics
-
Software
XChat-WDK (x64) 1503 (Windows)
March 16, 2012, 12:00am PDT
XChat is an IRC chat program. It allows you to join multiple IRC channels (chat rooms) at the same time, talk publicly, and private one-on-one conversations. XChat-WDK is a patchset for XChat SVN...
Provided by University of Szeged Institute of Informatics
-
Software
XChat-WDK 1500 (Windows)
March 7, 2012, 12:00am PST
XChat is an IRC chat program. It allows you to join multiple IRC channels (chat rooms) at the same time, talk publicly, and private one-on-one conversations. XChat-WDK is a patchset for XChat SVN...
Provided by University of Szeged Institute of Informatics
-
White Papers
The Impact Of The Closeness Of Cooperation On The Effectiveness Of Cooperation In University-Industry R&D Collaborations
August 25, 2010, 12:00am PDT
The effectiveness and manageability of collaborations between universities and companies are extremely significant in the period when cooperative R&D projects enjoy increased support....
Provided by University of Szeged
-
White Papers
The Relationship Between Perceived Risk, Perceived Value And Project Competencies
August 25, 2010, 12:00am PDT
Perceived risk and value. The concept of perceived risk has been conceptualised as corresponding to situations when there are potentially negative outcomes. Later studies distinguished between...
Provided by University of Szeged
-
White Papers
Programming Language Elements for Correctness Proofs
May 28, 2008, 12:00am PDT
The study of formal methods to reason about program properties is becoming an important research area, as a considerable part of a software product's lifecycle is testing and bug-fixing. Formal...
Provided by University of Szeged
Keep Up with TechRepublic
Upcoming Webcasts
Upcoming webcasts from leading IT vendors
-
2012-05-24 at 11:00 am PT | 2:00 pm ET
Live Webcast: The 2012 Guide to Better Business Benefits from Data Analytics
Sponsored by Tableau Software
-
2012-06-05 at 11:00 am PT | 2:00 pm ET
Live Webcast: Getting to Microsoft Office 365: The right migration for your business
Sponsored by Microsoft
-
2012-06-12 at 9:00 am PT | 12:00 pm ET
Live Webcast: WebSphere DataPower for Mobile Application Security
Sponsored by IBM
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
