Distributed Computing and Internet Technology (vol. # 3816)
The opening ceremony and pre-conference tutorials on various related topics were held on December 21. The technical program ...
اقرأ المزيد
Distributed Systems: Concurrency and Consistency / Matthieu Perrin
Explores the gray area of distributed systems and draws a map of weak consistency criteria, identifying several families ...
اقرأ المزيد
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 ...
اقرأ المزيد
Expert Oracle Database Architecture
This is a defining book on the Oracle database for any developer or database administrator who works with Oracle-driven database ...
اقرأ المزيد
FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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. ...
اقرأ المزيد
Information Systems Security
This book constitutes the refereed proceedings of the Third International Conference on Information Systems Security, ICISS ...
اقرأ المزيد
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 ...
اقرأ المزيد
Interactive Computation
The interaction paradigm provides a new conceptualization of computational phenomena that emphasizes interaction rather than ...
اقرأ المزيد
Java : how to program. Late objects : introducing JShell / Harvey M. Deitel; Paul J. Deitel
Introduction to Computers, the Internet and Java / Introduction to Java Applications; Input/Output and Operators / Control ...
اقرأ المزيد
Languages and Compilers for Parallel Computing
This book constitutes the thoroughly refereed post-proceedings of the 18th International Workshop on Languages and Compilers ...
اقرأ المزيد
Languages and Compilers for Parallel Computing
The 19th Workshop on Languages and Compilers for Parallel Computing was heldinNovember2006inNewOrleans,LouisianaUSA.Morethan40researchers ...
اقرأ المزيد
Languages and Compilers for Parallel Computing : 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Languages ...
اقرأ المزيد
Languages and Compilers for Parallel Computing : 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 21th International Workshop on Languages ...
اقرأ المزيد
