Electronic Books

Total Books: 881 - 900 /1560
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 ...

Weiterlesen
Languages and Compilers for Parallel Computing

The 19th Workshop on Languages and Compilers for Parallel Computing was heldinNovember2006inNewOrleans,LouisianaUSA.Morethan40researchers ...

Weiterlesen
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, ...

Weiterlesen
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 ...

Weiterlesen
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 ...

Weiterlesen
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, ...

Weiterlesen
Large-Scale Nonlinear Optimization

Large-Scale Nonlinear Optimization reviews and discusses recent advances in the development of methods and algorithms for ...

Weiterlesen
Large-Scale Nonlinear Optimization

Large-Scale Nonlinear Optimization reviews and discusses recent advances in the development of methods and algorithms for ...

Weiterlesen
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, ...

Weiterlesen
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. ...

Weiterlesen
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 ...

Weiterlesen
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 ...

Weiterlesen
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, ...

Weiterlesen
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 ...

Weiterlesen
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 ...

Weiterlesen
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 ...

Weiterlesen
Legal Programming

LEGAL PROGRAMMING: Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond provides ...

Weiterlesen
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 ...

Weiterlesen
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 ...

Weiterlesen
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 ...

Weiterlesen
Total Books: 881 - 900 /1560