<img src="sites/bibliovie/IMG/siteon0.gif" alt='BiblioVIE' width="162" height="131" class="spip_logos" />

Food Engineering : Integrated Approaches

Sciences et technologies alimentaires

Food engineering reviews

Sciences et technologies alimentaires

> voir la ressource via SpringerLink | 01/06/2009 ->

Food hydrocolloids

Sciences et technologies alimentaires

> voir la ressource via ScienceDirect | 01/01/1998 ->

Food Materials Science : Principles and Practice

Sciences et technologies alimentaires

Food microbiology

Microbiologie, maladies infectieuses; Hygiène et santé publique, épidémiologie, médecine du travail; Sciences et technologies alimentaires

> voir la ressource via ScienceDirect | 01/01/1995 ->

Food Physics : Physical Properties - Measurement and Applications

Sciences et technologies alimentaires

Food policy

Sciences et technologies alimentaires; Agriculture, phytopathologie; Sciences et technologies, industries

> voir la ressource via ScienceDirect | 01/01/1995 ->

Food Powders : Physical Properties, Processing, and Functionality

Sciences et technologies alimentaires

Food quality and preference

Sciences et technologies alimentaires

> voir la ressource via ScienceDirect | 01/01/1998 ->

Food research international

Sciences et technologies alimentaires

> voir la ressource via ScienceDirect | 01/01/1995 ->

Food Safety : A Practical and Case Study Approach

Sciences et technologies alimentaires

Food Safety Culture

Sciences et technologies alimentaires; Microbiologie, maladies infectieuses

> voir la ressource via SpringerLink | 2008

Foodborne Microbial Pathogens : Mechanisms and Pathogenesis

Sciences et technologies alimentaires; Microbiologie, maladies infectieuses

Foodborne Parasites

Sciences et technologies alimentaires; Microbiologie, maladies infectieuses

Foot

Orthopédie, traumatologie; Rhumatologie

> voir la ressource via ScienceDirect | 01/01/1999 ->

Foot and ankle surgery

Rhumatologie

> voir la ressource via ScienceDirect | 01/01/2003 ->

Fooyin journal of health sciences

Médecine et chirurgie générales; Biologie générale; Multidisciplinaire

> voir la ressource via ScienceDirect | 01/08/2009 ->

Force Sensors for Microelectronic Packaging Applications

Electronique

Forcing, Arithmetic, Division Rings

Mathématiques

> voir la ressource via SpringerLink | 1975

Forensic Science

Chimie analytique; Pharmacologie, galénique

> voir la ressource via ScienceDirect | 2000

Forensic science international

Médecine légale; Toxicologie; Techniques de laboratoire médical

> voir la ressource via ScienceDirect | 01/01/1995 ->

Forensic science international : genetics

Médecine légale

> voir la ressource via ScienceDirect | 01/03/2007 ->

Forensic science international: genetics supplement series

Médecine légale

> voir la ressource via ScienceDirect | 01/08/2008 ->

Forensic toxicology

Toxicologie; Médecine légale

> voir la ressource via SpringerLink | 01/01/1997 ->

Forest ecology and management

Forêts; Ecologie; Gestion et management; Environnement

> voir la ressource via ScienceDirect | 01/01/1995 ->

Forest policy and economics

Forêts; Ecologie; Environnement; Economie et finances

> voir la ressource via ScienceDirect | 01/01/2000 ->

Forestry

Forêts

> voir la ressource via Highwire | 01/01/2005 -> 31/12/2011

Forging New Frontiers : Fuzzy Pioneers I

Informatique

Forging New Frontiers : Fuzzy Pioneers II

Informatique

> voir la ressource via SpringerLink | 2008

Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg

Informatique

Formal Approaches to Agent-Based Systems : First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers

Informatique

> voir la ressource via SpringerLink | 2001

Formal Approaches to Agent-Based Systems : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002. Revised Papers

Informatique

Formal Approaches to Software Testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers

Informatique

Formal Aspects of Cognitive Processes : Interdisciplinary Conference Ann Arbor, March 1972

Informatique

> voir la ressource via SpringerLink | 1975

Formal aspects of computing

Informatique

> voir la ressource via SpringerLink | 01/01/1989 -> 31/12/1996

> voir la ressource via SpringerLink | 01/01/1997 ->

Formal Aspects of Security : First International Conference, FASec 2002, London, UK, December 16-18, 2002. Revised Papers

Informatique

Formal Category Theory : Adjointness for 2-Categories

Mathématiques

> voir la ressource via SpringerLink | 1974

Formal Development of Reactive Systems : Case Study Production Cell

Informatique

> voir la ressource via SpringerLink | 1995

Formal Foundations for Software Engineering Methods

Informatique

> voir la ressource via SpringerLink | 1997

Formal Groups

Mathématiques

> voir la ressource via SpringerLink | 1968

Formal Hardware Verification : Methods and Systems in Comparison

Informatique; Electronique

> voir la ressource via SpringerLink | 1997

Formal Methods and Software Development : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25-29, 1985

Informatique

> voir la ressource via SpringerLink | 1985

Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002 Proceedings

Informatique

Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings

Informatique

Formal Methods and Software Engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

Informatique

Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers

Informatique

Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Informatique

Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Informatique

Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control

Informatique

Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings

Informatique

Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS'99 Bamberg, Germany, May 26-28, 1999 Proceedings

Informatique

> voir la ressource via SpringerLink | 1999

Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

Informatique

Formal Methods for the Design of Real-Time Systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Informatique

Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6-8, 2002 Proceedings

Informatique

Formal Methods in Computer-Aided Design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings

Informatique

Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6-8, 1996 Proceedings

Informatique

Formal Methods in Computer-Aided Design : Second International Conference, FMCAD' 98 Palo Alto, CA, USA, November 4-6, 1998 Proceedings

Informatique

> voir la ressource via SpringerLink | 1998

Formal Methods in Computer-Aided Design : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Informatique

> voir la ressource via SpringerLink | 2000

Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 - July 2, 1993 Proceedings

Informatique

> voir la ressource via SpringerLink | 1993

Formal methods in system design

Informatique; Sciences et technologies, industries

> voir la ressource via SpringerLink | 01/01/1992 -> 31/12/1996

> voir la ressource via SpringerLink | 01/01/1997 ->

Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Informatique

Formal Models of Agents : ESPRIT Project ModelAge Final Workshop Selected Papers

Informatique

> voir la ressource via SpringerLink | 1999

Formal Moduli of Algebraic Structures

Mathématiques

> voir la ressource via SpringerLink | 1979

Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report

Informatique

> voir la ressource via SpringerLink | 1993

Formal Properties of Finite Automata and Applications : LITP Spring School on Theoretical Computer Science Ramatuelle, France, May 23-27, 1988 Proceedings

Informatique

> voir la ressource via SpringerLink | 1989

Formal Specification and Synthesis of Procedural Controllers for Process Systems

Automatique, recherche opérationnelle

Formal Syntax and Semantics of Java

Informatique

> voir la ressource via SpringerLink | 1999

Formal Systems Specification : The RPC-Memory Specification Case Study

Informatique

Formal Techniques for Networked and Distributed Systems - FORTE 2003 : 23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 - October 2, 2003 Proceedings

Informatique

Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

Informatique

Formal Techniques for Networked and Distributed Sytems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002 Proceedings

Informatique

Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9-13, 1996 Proceedings

Informatique

Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT'98 Lyngby, Denmark, September 14-18, 1998 Proceedings

Informatique

> voir la ressource via SpringerLink | 1998

Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium,FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings

Informatique

> voir la ressource via SpringerLink | 2000

Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9-12, 2002 Proceedings

Informatique