Foundations of Software Science and Computational Structures
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
Continue reading
Foundations of Software Science and Computational Structures (vol. # 3441)
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Continue reading
Foundations of Software Science and Computational Structures (vol. # 3921)
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Continue reading
Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Continue reading
GeomInt–Mechanical Integrity of Host Rocks
This book summarizes the results of the collaborative project “GeomInt: Geomechanical integrity of host and barrier rocks ...
Continue reading
Ground Improvement and Reinforced Soil Structures ; Proceedings of Indian Geotechnical Conference 2020 Volume 2
This volume comprises the select proceedings of the Indian Geotechnical Conference (IGC) 2020. The contents focus on recent ...
Continue reading
Guida alla teoria degli insiemi = Guide to set theory
Teachers are in difficulty with regard to the space and emphasis to be given to set theory topics, in their preparation and ...
Continue reading
Handbook of Economic Sociology for the 21st Century
This handbook provides an overview on major developments that occurred in the field of economic sociology after its rebirth ...
Continue reading
Hilbert-Huang Transform Analysis Of Hydrological And Environmental Time Series
The Hilbert-Huang Transform ((HHT) is a recently developed technique which is used to analyze nonstationary data. Hydrologic ...
Continue reading
Il cielo sopra Roma : I luoghi dell’astronomia = The sky above Rome: The places of astronomy
Astronomy in Rome has always been there, but a little hidden: it was in the palaces, in the churches or, better, above the ...
Continue reading
Implementation and Applications of Automata : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and ...
Continue reading
Information Security
The 10th Information Security Conference (ISC 2007) was held in Valpara´ ?so, Chile, October 9–12, 2007. ISC is an annual ...
Continue reading
Information Security : 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Information Security Conference, ISC ...
Continue reading
Information and Its Role in Nature
Infromation and Its Role in Nature presents an in-depth interdisciplinary discussion of the concept of information and its ...
Continue reading
Information and Knowledge : A Constructive Type-theoretical Approach
This book develops a philosophical and logical interpretation of the concept of information within the formal structure of ...
Continue reading
Information—Consciousness—Reality
This book chronicles the rise of a new scientific paradigm offering novel insights into the age-old enigmas of existence. ...
Continue reading
La loi de la gravitation universelle Newton, Euler et Laplace : Le cheminement d’une révolution scientifique vers une science normale = The law of universal gravitation Newton, Euler and Laplace: The progress of a scientific revolution towards a normal science
An analysis of Newton's ideas dismisses this hypothesis by the simple fact that the Principia sought to demonstrate the ...
Continue reading
Labyrinth of Thought
Labyrinth of Thought discusses the emergence and development of set theory and the set-theoretic approach to mathematics ...
Continue reading
Lise Meitner and the Dawn of the Nuclear Age
This book documenting the extraordinary life of an aspiring woman scientist whose life was filled with adversity. Surviving ...
Continue readingMelting Hadrons, Boiling Quarks - From Hagedorn Temperature to Ultra-Relativistic Heavy-Ion Collisions at CERN : With a Tribute to Rolf Hagedorn
This book shows how the study of multi-hadron production phenomena in the years after the founding of CERN culminated in ...
Continue reading
