Foundations of Software Science and Computational Structures
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
GeomInt–Mechanical Integrity of Host Rocks
This book summarizes the results of the collaborative project “GeomInt: Geomechanical integrity of host and barrier rocks ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Information Security
The 10th Information Security Conference (ISC 2007) was held in Valpara´ ?so, Chile, October 9–12, 2007. ISC is an annual ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Information—Consciousness—Reality
This book chronicles the rise of a new scientific paradigm offering novel insights into the age-old enigmas of existence. ...
اقرأ المزيد
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 ...
اقرأ المزيد
Labyrinth of Thought
Labyrinth of Thought discusses the emergence and development of set theory and the set-theoretic approach to mathematics ...
اقرأ المزيد
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 ...
اقرأ المزيدMelting 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 ...
اقرأ المزيد
