The 6th International Conference on Large-Scale Scienti?c Computations (LSSC 2007) was held in Sozopol, Bulgaria, June 5–9, ...
Lire la suite
The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications ...
Lire la suite
This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, ...
Lire la suite
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
Lire la suite
This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...
Lire la suite
Good computer books make assumptions about the reader: what they do and don't know when they pick up the book, and what ...
Lire la suite
This volume contains papers presented at the International Conference on Software Process (ICSP 2008) held in Leipzig, Germany, ...
Lire la suite
Provides a timely and coherent account of the recent advances in many-core computing research. Starting with programming ...
Lire la suite
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
Lire la suite
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held ...
Lire la suite
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...
Lire la suite
The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...
Lire la suite
The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Lire la suite
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD ...
Lire la suite
Research and development of autonomics have come a long way, and we are delighted to present the proceedings of the 3rd IEEE ...
Lire la suite
This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held ...
Lire la suite
incorporates the latest developments and technologies in operating systems (OS) technologies. Author Andy Tanenbaum's clear ...
Lire la suite
Mootools is a light, modular JavaScript framework that makes adding Ajax, animations, and interactive elements to your site ...
Lire la suite
Joel Spolsky started his weblog in March 2000 in order to offer his insights, based on years of experience, on how to improve ...
Lire la suite
Moving Wearables into the Mainstream also introduces concepts such as Operational Inertia that form a mindset conducive to ...
Lire la suite