Land-Change Science in the Tropics: Changing Agricultural Landscapes
Land use and land-cover change research over the past decade has focused mainly on contemporary primary land-cover conversions ...
Lire la suite
Landscape Analysis and Visualisation : Spatial Models for Natural Resource Management and Planning
This book presents a collection and synthesis of many of these perspectives — perhaps it could only be produced in a land ...
Lire la suite
Language Technologies for the Challenges of the Digital Age
This open access volume constitutes the refereed proceedings of the 27th biennial conference of the German Society for Computational ...
Lire la suite
Languages and Compilers for High Performance Computing
Cetus is a compiler infrastructure for the source-to-source transformation of programs. Since its creation nearly three years ...
Lire la suite
Languages and Compilers for Parallel Computing
This book constitutes the thoroughly refereed post-proceedings of the 18th International Workshop on Languages and Compilers ...
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 Management of Distributed Systems
th This volume presents the proceedings of the 17 IFIP/IEEE International Workshop on Distributed Systems: Operations and ...
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
Lean Business Systems and Beyond
The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications ...
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
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
Liapunov Functions and Stability in Control Theory
This book presents a modern and self-contained treatment of the Liapunov method for stability analysis, in the framework ...
Lire la suite
Life as We Know It
Life As we Know It ["LAKI"] covers several aspects of Life, ranging from the prebiotic level, origin of life, evolution ...
Lire la suite
Life: An Introduction to Complex Systems Biology
What is life? Has molecular biology given us a satisfactory answer to this question? And if not, why, and how to carry on ...
Lire la suite
