Foundations of software science and computation structures 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Soft...

Software security - theories and systems second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4 - 6, 2003 ; revised papers

Formal methods for the design of real time systems International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, It...

High performance computing - HiPC 2003 10th international conference, Hyderabad, India, December 17-20, 2003 : proceedings

SPSS-X trends

Measurement, statistics and computation von McCormick, David, Roach, Alan

SPSSx user's guide

Statistical techniques for analytical review in auditing von Stringer, Kenneth W., Stewart, Trevor R.

Enterprise patterns and MDA building better software with archetype patterns and UML von Arlow, Jim, Neustadt, Ila

1-2-3 financial macros von Carlton, Thomas W.

Enterprise patterns and MDA building better software with archetype patterns and UML von Arlow, Jim, Neustadt, Ila

Software and compilers for embedded systems 8th International Workshop, SCOPES 2004, Amsterdam, the Netherlands, September 2 - 3, 2004 ; proceedings

Software and compilers for embedded systems 7th international workshop, SCOPES 2003, Vienna, Austria, September 24 - 26, 2003 ; proceedings

Software sizing and estimating Mk II FPA (function point analysis) von Symons, Charles R.

Fiscalité de la recherche, de la propriété industrielle et des logiciels von Pierre, Jean-Luc

Introduction to parallel programming von Brawer, Steven

SPSS-X user's guide

The ideas of sampling von Stuart, Alan

Numerical software with result verification International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19 - 24, 2003 ; revised papers

Computer algebra handbook foundations, applications, systems

Inhaltsverzeichnis