Electronic Books

Total Books: 21 - 40 /54
978-3-540-79003-7
Coordination, Organizations, Institutions, and Norms in Agent Systems III : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers

This book constitutes the refereed post-workshop proceedings of the International Workshop on Coordination, Organization, ...

Continue reading
978-3-540-70567-3
Data and Applications Security XXII : 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings

This volume contains the papers presented at the 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security ...

Continue reading
978-3-540-46093-0
Database Programming Languages

The papers here are organized in topical sections on semistructured data OL AP and data mining systems, schema integration, ...

Continue reading
978-3-540-75288-2
Database and XMLTechnologies

This book discuss the use of and synergy between databases and XML. It provided theory and practice of XML data management ...

Continue reading
978-3-540-75288-2
Database and XMLTechnologies

This book discuss the use of and synergy between databases and XML. It provided theory and practice of XML data management ...

Continue reading
978-0-387-27931-2
Dynamic Modeling of Monetary and Fiscal Cooperation Among Nations

The first four chapters introduce the reader to the dynamics of fiscal and monetary policy cooperation. Issues covered include: ...

Continue reading
978-1-4302-0019-2
Expert Oracle

Thomas Kyte has a simple philosophy: You can treat Oracle as a black box and shove data inside of it, or you can learn how ...

Continue reading
978-3-031-15663-2
Financial Statements : Analysis, Reporting and Valuation / Felix I. Lessambo

Through a mixture of concepts and examples, the second edition of this book demystifies the variety of elements of financial ...

Continue reading
978-3-540-68855-6
Formal Techniques for Networked and Distributed Systems - FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...

Continue reading
978-3-030-43946-0
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

This book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...

Continue reading
978-3-030-45231-5
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...

Continue reading
978-3-030-71995-1
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...

Continue reading
NoIMG
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...

Continue reading
978-3-540-87405-8
Graph Transformations : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held ...

Continue reading
978-3-540-77966-7
Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

These are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. ...

Continue reading
978-3-540-77086-2
Information Systems Security

This book constitutes the refereed proceedings of the Third International Conference on Information Systems Security, ICISS ...

Continue reading
978-1-84628-687-2
Inside Relational Databases with Examples in Access

Inside Relational Databases was first published in 1997 and, rather to our surprise, rapidly reached the status of a classic ...

Continue reading
978-3-540-34874-0
Interactive Computation

The interaction paradigm provides a new conceptualization of computational phenomena that emphasizes interaction rather than ...

Continue reading
978-1-4842-7927-4
Introducing Blockchain with Java : Program, Implement, and Extend Blockchains with Java / Spiro Buzharovski

Includes numerous exercises and test questions to help you solidify what you have learned as you progress through the book, ...

Continue reading
978-3-540-69330-7
Languages and Compilers for Parallel Computing

This book constitutes the thoroughly refereed post-proceedings of the 18th International Workshop on Languages and Compilers ...

Continue reading
Total Books: 21 - 40 /54