# La rencontre qui a tout chang

 Titre : La rencontre qui a tout chang Auteur : Sylvaine Jaoui Éditeur : ISBN-13 : 2700237609 Libération : 2011-10-12

Justine raconte son année de Terminale : le bac, les amis, les envies, les projets, l’amour...Leur rentrée effectuée, leur lourd emploi du temps de Terminale assimilé, Justine et ses amis profitent de l’été indien pour organiser des fêtes à la maison bleue et des sorties au fast food. Tandis qu’Ingrid participe au casting d’une comédie musicale et qu’Eugénie est hospitalisée, le petit Théo entraîne toute la bande dans une mission anti 4x4... Quant à la rencontre avec Thibault, elle a changé du tout au tout l’existence de Justine.

# Methodix chimie

 Titre : Methodix chimie Auteur : Dimitri Lobadowsky Éditeur : Ellipses Marketing ISBN-13 : 2729803408 Libération : 2000-10-27

... c'est quoi ? Un concept inédit : plus de 200 méthodes pour réussir en chimie. ... c'est un livre de cours ? Pas du tout : un livre pour apprendre à utiliser concrètement les résultats du cours. ... c'est tout ? Non ! Il est bourré de conseils pratiques, d'astuces, d'erreurs à éviter. ... et les exercices ? Plus de 150 exercices méthodiquement corrigés. ... au fait, ça sert à quoi et à qui ? A préparer les concours et examens en chimie avec une efficacité maximale. Il est conforme aux programmes des options PC*, PC, PSI, MP*, MP. ... rien que ça ! ça doit être cher ? Pensez-vous ! Moins cher que 10 sandwiches jambon-beurre...

# Vortices in the Magnetic Ginzburg Landau Model

 Titre : Vortices in the Magnetic Ginzburg Landau Model Auteur : Etienne Sandier Éditeur : Springer Science & Business Media ISBN-13 : 0817645500 Libération : 2008-05-14

This book presents the mathematical study of vortices of the two-dimensional Ginzburg-Landau model, an important phenomenological model used to describe superconductivity. The vortices, identified as quantized amounts of vorticity of the superconducting current localized near points, are the objects of many observational and experimental studies, both past and present. The Ginzburg-Landau functionals considered include both the model cases with and without a magnetic field. The book acts a guide to the various branches of Ginzburg-Landau studies, provides context for the study of vortices, and presents a list of open problems in the field.

# Multivariate Geostatistics

 Titre : Multivariate Geostatistics Auteur : Hans Wackernagel Éditeur : Springer Science & Business Media ISBN-13 : 9783662035504 Libération : 2013-03-09

An introduction to geostatistics stressing the multivariate aspects for scientists, engineers and statisticians. The book presents a brief review of statistical concepts, a detailed introduction to linear geostatistics, and an account of three basic methods of multivariate analysis. Applications from very different areas of science, as well as exercises with solutions, are provided to help convey the general ideas. In this second edition, the chapters regarding normal kriging and cokriging have been restructured and the section on non-stationary geostatistics has been entirely rewritten.

# RDF Database Systems

 Titre : RDF Database Systems Auteur : Olivier Curé Éditeur : Morgan Kaufmann ISBN-13 : 9780128004708 Libération : 2014-11-24

RDF Database Systems is a cutting-edge guide that distills everything you need to know to effectively use or design an RDF database. This book starts with the basics of linked open data and covers the most recent research, practice, and technologies to help you leverage semantic technology. With an approach that combines technical detail with theoretical background, this book shows how to design and develop semantic web applications, data models, indexing and query processing solutions. Understand the Semantic Web, RDF, RDFS, SPARQL, and OWL within the context of relational database management and NoSQL systems Learn about the prevailing RDF triples solutions for both relational and non-relational databases, including column family, document, graph, and NoSQL Implement systems using RDF data with helpful guidelines and various storage solutions for RDF Process SPARQL queries with detailed explanations of query optimization, query plans, caching, and more Evaluate which approaches and systems to use when developing Semantic Web applications with a helpful description of commercial and open-source systems

# Model Checking

 Titre : Model Checking Auteur : E. M. Clarke Éditeur : MIT Press ISBN-13 : 0262032708 Libération : 1999

This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.

# Real time Systems and Programming Languages

 Titre : Real time Systems and Programming Languages Auteur : Alan Burns Éditeur : Pearson Education ISBN-13 : 0201729881 Libération : 2001-01

Real-Time Systems and Programming LanguagesAda 95, Real-Time Java and Real-Time POSIXAlan Burns and Andy WellingsHow do real-time systems differ from normal information systems? Which languages are best for implementing different real-time systems?The third edition of this best-selling text on real-time systems answers these and other questions. It provides an in-depth analysis of the requirements for designing and implementing real-time embedded systems, and discusses how these requirements are met by current languages and operating systems. The languages are not only described, but also critically evaluated. No other book on real-time (or concurrent) programming languages covers the same breadth of material.New to this edition Real-Time Java is introduced Updated coverage of Real-Time POSIX to reflect the current standard A summary of the Real-Time CORBA effort A description of the Ada-based Ravenscar profile for high-integrity systems Expanded coverage of schedulability analysisAlan Burns and Andy Wellings are both based in the Computer Science Department at the University of York, UK. Professor Burns holds a Personal Chair in Real-Time Systems. He has authored or co-authored ov

# Arithmetic Geometry Cryptography and Coding Theory

 Titre : Arithmetic Geometry Cryptography and Coding Theory Auteur : Gilles Lachaud Éditeur : American Mathematical Soc. ISBN-13 : 9780821847169 Libération : 2009-06-11

This volume contains the proceedings of the 11th conference on $\mathrm{AGC^{2}T}$, held in Marseille, France in November 2007. There are 12 original research articles covering asymptotic properties of global fields, arithmetic properties of curves and higher dimensional varieties, and applications to codes and cryptography. This volume also contains a survey article on applications of finite fields by J.-P. Serre. $\mathrm{AGC^{2}T}$ conferences take place in Marseille, France every 2 years. These international conferences have been a major event in the area of applied arithmetic geometry for more than 20 years.

# R Cookbook

 Titre : R Cookbook Auteur : Paul Teetor Éditeur : "O'Reilly Media, Inc." ISBN-13 : 9781449307264 Libération : 2011-03-03