JDBC is the most commonly used API in Java to access and manipulate data in a database. Oracle is one of the most popular ...
Lire la suite
Expert Spring MVC and Web Flow provides in-depth coverage of Spring MVC and Spring Web Flow, two highly customizable and ...
Lire la suiteThe market is flooded with numbers of good books on Embedded Systems designed especially with the most popular MCS51 family. ...
Lire la suite
Extreme Programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found ...
Lire la suite
In its first editions, this conference was a get-together of a few pioneers who - bated about how to make agile processes ...
Lire la suite
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...
Lire la suite
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...
Lire la suite
The international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the longest-running ...
Lire la suite
This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity ...
Lire la suite
This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology ...
Lire la suite
This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology ...
Lire la suite
The Facebook API allows web developers to create Facebook applications and access Facebook data from other applications. ...
Lire la suite
Facelets is a templating language developed from the ground up with JavaServer Faces in mind. Created in response to the ...
Lire la suite
Constitutes the thoroughly refereed proceedings of the 15th International Workshop on Fast Software Encryption, FSE 2008, ...
Lire la suite
Feasibility and Infeasibility in Optimization is a timely expository book that summarizes the state of the art in both classical ...
Lire la suiteThis text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, ...
Lire la suite
This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. ...
Lire la suite
You’ll learn how to write effective, modern Python 3 code by leveraging its best ideas. Don’t waste time bending Python ...
Lire la suite
The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
Lire la suite
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
Lire la suite