Web services-based collaborative system for distributed engineering Adam Pawlak Paweł Fraś Piotr Penkala * Silesian University of Technology Inst. of Electronics,
C Consiglio Nazionale delle Ricerche - Pisa Iit Istituto per lInformatica e la Telematica Reasoning about Secure Interoperation using Soft Constraints.
Bjarne Stroustrup - The Essence of C++: With Examples in C++84, C++98, C++11, and C++14
Bjarne essencegn13
The Art of Decision Making
Automated design of multiphase space missions using hybrid optimal contro (1)
Guiding Semi- Supervision with Constraint-Driven Learning Ming-Wei Chang,Lev Ratinow, Dan Roth.
A Logic of Partially Satisfied Constraints Nic Wilson Cork Constraint Computation Centre Computer Science, UCC.
Scheduling with Constraint Programming February 24/25, 2000.
Personal information agents for travel e-commerce Boi Faltings (
Proof Methods for an MSR Analysis of Kerberos 5 Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, and Andre Scedrov Supported by ONR URI.
The Essence of C++ with examples in C++84, C++98, C++11, and C++14 Bjarne Stroustrup Texas A&M University .
