Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Theoretical Aspects of Computing -- ICTAC 2011
This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011. The 14 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 44 submissions. The papers address various theoretical aspects and methodological issues of computing and are organized in topical sections on grammars, semantics, modelling, the special track on formal aspects of software testing and grand challenge in verified software, on logics, as well as algorithms and types.
Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing. For more information about the 300 other books in the IFIP series, please visit www.springer.com. For more information about IFIP, please visit www.ifip.org.
Science on Stage in Early Modern Spain
Science on Stage in Early Modern Spain features essays by leading scholars in the fields of literary studies and the history of science, exploring the relationship between technical innovations and theatrical events that incorporated scientific content into dramatic productions. Focusing on Spanish dramas between 1500 and 1700, through the birth and development of its playhouses and coliseums and the phenomenal success of its major writers, this collection addresses a unique phenomenon through the most popular, versatile, and generous medium of the time. The contributors tackle subjects and disciplines as diverse as alchemy, optics, astronomy, acoustics, geometry, mechanics, and mathematics to reveal how theatre could be used to deploy scientific knowledge. While Science on Stage contributes to cultural and performance studies it also engages with issues of censorship, the effect of the Spanish Inquisition on the circulation of ideas, and the influence of the Eastern traditions in Spain.
Formal Techniques for Networked and Distributed Systems - FORTE 2007
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom/FATES 2007. It covers service oriented computing and architectures using formalized and verified approaches.
House documents
None
