Developments in Language Theory : 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT ...
اقرأ المزيد
Digital VLSI Design with Verilog : A Textbook from Silicon Valley Technical Institute
Digital VLSI Design With Verilog is all an engineer needs for in-depth understanding of the verilog language: Syntax, synthesis ...
اقرأ المزيد
Distributed Applications and Interoperable Systems : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
This volume contains the proceedings of DAIS 2008, the 8th IFIP International Conference on Distributed Applications and ...
اقرأ المزيد
Distributed Embedded Control Systems : Improving Dependability with Coherent Design
Distributed Embedded Control Systems handles the domains encountered when designing a distributed embedded computer control ...
اقرأ المزيد
Domain-driven design with Java, a practitioner's guide : create simple, elegant, and valuable software solutions for complex business problems / Premanand Chandrasekaran, Karthik Krishnan
Helps you as a developer and architect to put your knowledge to work in order to create elegant software designs that are ...
اقرأ المزيد
ECOOP 2002 - Object-Oriented Programming
Constitutes the proceedings of the 16th European Conference on Object-Oriented Programming held in Spain in 2002. The 25 ...
اقرأ المزيد
ECOOP 2005 - Object-Oriented Programming
The 19th Annual Meeting of the European Conference on Object-Oriented Programming—ECOOP 2005—took place during the last ...
اقرأ المزيد
ECOOP 2008 - Object-Oriented Programming : 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings
This book constitutes the refereed proceedings of the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, ...
اقرأ المزيد
Early Aspects: Current Challenges and Future Directions
Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...
اقرأ المزيد
Early Aspects: Current Challenges and Future Directions
Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...
اقرأ المزيد
Encyclopedia of Language and Education
In this second, fully revised edition, the 10 volume Encyclopedia of Language and Education offers the newest developments ...
اقرأ المزيد
Engineering Multi-Agent Systems : 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Engineering ...
اقرأ المزيد
English Literacy Instruction for Chinese Speakers / Barry Lee Reynolds, Mark Feng Teng
Written with an emphasis on instruction, policy, practice, and assessment, this book focuses on English literacy at the pre-primary/primary, ...
اقرأ المزيد
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, ...
اقرأ المزيد
Fluent Python: Clear, Concise, and Effective Programming / Luciano Ramalho
You’ll learn how to write effective, modern Python 3 code by leveraging its best ideas. Don’t waste time bending Python ...
اقرأ المزيد
Formal Concept Analysis : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings
Formal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptual hierarchyleadingto methods for conceptually ...
اقرأ المزيد
Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
اقرأ المزيد
Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
اقرأ المزيد
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...
اقرأ المزيد
Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
اقرأ المزيد
