Practical aspects of declarative languages : 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings Q Science
Structural information and communication complexity : 11th international colloquium, SIROCCO 2004, Smolenice Castle, Slowakia, June 21-23, 2004 : proceedings Q Science
Software architecture : first European workshop, EWSA 2004, St. Andrews, UK, May 21-22, 2004 : proceedings Q Science
Classical and new paradigms of computation and their complexity hierarchies : papers of the conference “Foundations of the Formal Sciences III” Q Science
The Gravitational Constant: Generalized Gravitational Theories and Experiments [electronic resource] Q Science
Software engineering for multi-agent systems II : research issues and practical applications Q Science
Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings Q Science
From observations to self-consistent modelling of the ISM in galaxies [electronic resource] : a JENAM 2002 workshop, Porto, Portugal, 3-5 September 2002 Q Science
