Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...
Lire la suite
Languages and Compilers for Parallel Computing
The 19th Workshop on Languages and Compilers for Parallel Computing was heldinNovember2006inNewOrleans,LouisianaUSA.Morethan40researchers ...
Lire la suite
Languages and Compilers for Parallel Computing (vol. # 2481)
The 15th Workshop on Languages and Compilers for Parallel Computing was held in July 2002 at the University of Maryland, ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
Languages, Methodologies and Development Tools for Multi-Agent Systems : First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, ...
Lire la suite
Large-Scale Nonlinear Optimization
Large-Scale Nonlinear Optimization reviews and discusses recent advances in the development of methods and algorithms for ...
Lire la suite
Large-Scale Nonlinear Optimization
Large-Scale Nonlinear Optimization reviews and discusses recent advances in the development of methods and algorithms for ...
Lire la suite
Large-Scale Scientific Computing : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers
The 6th International Conference on Large-Scale Scienti?c Computations (LSSC 2007) was held in Sozopol, Bulgaria, June 5–9, ...
Lire la suite
Learn to Tango with D
Learn to Tango with D introduces you to the powerful D language, with special attention given to the Tango software library. ...
Lire la suite
Learning Classifier Systems : 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops ...
Lire la suite
Learning Network Programming with Java / Richard M Reese
Learn to deliver superior server-to-server communication through the networking channels Gain expertise of the networking ...
Lire la suite
Learning PHP, MySQL & JavaScript: With jQuery, CSS & HTML5 / Robin Nixon
You'll tackle dynamic web programming with the latest versions of today's core technologies: PHP, MySQL, JavaScript, CSS, ...
Lire la suite
Learning and Adaption in Multi-Agent Systems
This book contains selected and revised papers of the International Workshop on Lea- ing and Adaptation in Multi-Agent Systems ...
Lire la suite
Learning and Intelligent Optimization : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers
The papers cover current issues of machine learning, artificial intelligence, mathematical programming and algorithms for ...
Lire la suite
Learning to Live in the Knowledge Society : IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7–10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suite
Legal Programming
LEGAL PROGRAMMING: Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond provides ...
Lire la suite
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Lire la suite
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Lire la suite
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Lire la suite
