Induced Seismic Events

Ernst Specker Selecta

Prestressed Concrete Bridges

Central Cholinergic Synaptic Transmission

Stress-Inducible Cellular Responses

Subduction Zones Part II

Evariste Galois 1811-1832

Alpha-Keto Acid Dehydrogenase Complexes

Generalized Polygons

Computational Earthquake Science Part I

One-dimensional Functional Equations

Fluoroquinolone Antibiotics

Nonlinear Model Predictive Control

Metallothionein IV

Infinite Dimensional Kahler Manifolds

Computational Optimal Control

Radioprotection : Chemical Compounds-Biological Means

Turbotrains International

Multivariate Polynomial Approximation

Geodetic And Geophysical Effects Associated With Seismic And Volcanic Hazards

Performance of Distributed Systems and Integrated Communication Networks : Proceedings of the IFIP WG 7.3 International Conference on the Performance of Distributed Systems and Integrated Communicatio

Network and Parallel Computing : 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings

Tools and Environments for Parallel and Distributed Systems

Modeling in Computer Graphics : Proceedings of the IFIP WG 5.10 Working Conference Tokyo, Japan, April 8-12, 1991

Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Technique

Distributed Applications and Interoperable Systems : 14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Technique

Distributed Applications and Interoperable Systems : 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniqu

Distributed Applications and Interoperable Systems : 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniqu

Distributed Applications and Interoperable Systems : 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Technique

Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9

Design Methods and Applications for Distributed Embedded Systems : IFIP 18th World Computer Congress, TC10 Working Conference on Distributed and Parallel, Embedded Systems (DIPES 2004), 22-27 August,

Formal Techniques for Distributed Objects, Components, and Systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed C

Formal Techniques for Distributed Objects, Components, and Systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed C

Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Co

Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed C

Control of Distributed Parameter and Stochastic Systems : Proceedings of the IFIP WG 7.2 International Conference, June 19-22, 1998 Hangzhou, China

Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings

Formal Techniques for Networked and Distributed Systems - FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003

Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings

Distributed Embedded Systems: Design, Middleware and Resources : IFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2