Embedded software : :: SCD d'Orléans

Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings

Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	International conference on EMbedded SOFTware :Tahoe City, Calif.
Beste egile batzuk:	Henzinger, Thomas A., 1962- (Argitalpenaren zuzendaria), Kirsch, Christoph M., 1968- (Argitalpenaren zuzendaria)
Formatua:	Livre numérique
Hizkuntza:	Anglais
Argitaratua:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Saila:	Lecture notes in computer science 2211
Gaiak:	Systèmes embarqués (informatique) Génie logiciel Informatique Logiciels > Développement Actes de congrès
Sarrera elektronikoa:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Oharra:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Embedded software, first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001, proceedings, Thomas A. Henzinger, Christoph M. Kirsch (eds.), 2001, New York, Springer, 1 vol. (IX-504 p.), Lecture notes in computer science, 3-540-42673-6 • Embedded Software, Texte imprimé, 9783662178027

Antzeko izenburuak

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings

Embedded software : third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings

Software frameworks and embedded control systems
nork: Pasetti, Alessandro

Software and compilers for embedded systems : 8th international workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004 : proceedings

Software and compilers for embedded systems : 7th international workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : proceedings

Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands November 25 29, 1996

Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings

Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES '98, Montréal, Canada, June 9-12, 1998 : proceedings

Embedded processor design challenges : systems, architectures, modeling, and simulation - SAMOS
nork: Deprettere, Ed F., 1944-

Cryptographic hardware and embedded systems : CHES 2004 : 6th international workshop, Cambridge, MA, USA, August 11-13, 2004 : proceedings

Software process technology : 5th European workshop, EWSPT '96, Nancy, France, October 8-11, 1996 : proceedings

Software product lines : Second International Conference, SPLC 2, San Diego, CA, USA, August 19 22, 2002 : proceedings

Software process technology : 8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001 : proceedings

Software configuration management : ICSE Workshops SCM 2001 and SCM 2003, Toronto, Canada, May 14 15, 2001 and Portland, OR, USA, May 9 10, 2003 : selected papers

Software process technology : second European workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992 : proceedings

Model checking software : 8th International SPIN Workshop Toronto, Canada, May 19 20, 2001 : proceedings

Theoretical aspects of computer software : ; proceedings 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001

Software process technology : 6th European Workshop, EWSPT'98, Weybridge, UK, September 1998 : proceedings

Software process technology : third European Workshop EWSPT'94, Villard de Lance, France, February 7-9 1994 : proceedings

Software process technology : 4th European workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings

Software process technology : 7th European workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedings

Software architecture : First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004 : proceedings
nork: Oquendo, Flavio, 1958-...., auteur en informatique

Studies of software design : ICSE '93 workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers

Software product-family engineering : 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers
nork: Van der Linden, Frank, 1954-

Software product-family engineering : 4th international workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001 : revised papers

Software product lines : Third international conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004 : proceedings

Software configuration management : ICSE SCM-4 and SCM-5 workshops : selected papers

COTS-based software systems : First International Conference, ICCBSS 2002 Orlando, FL, USA, February 4 6, 2002 : proceedings

COTS-based software systems : Third international conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004 : proceedings

Model checking software : 10th International SPIN workshop, Portland, OR, USA, may 9-10, 2003 : proceedings

Software configuration management : ICSE'96 SCM-6 Workshop, Berlin, Germany, March 25 26, 1996 : selected papers

Software engineering education : [5th] SEI Conference 1991, Pittsburgh, Pennsylvania, USA, October 7-8, 1991 : proceedings

Software process improvement : 11th european conference, EuroSPI 2004, Trondheim, Norway, november 10-12, 2004 : proceedings

Software configuration management : ICSE'97 SCM-7 Workshop, Boston, MA, USA, May 18 19, 1997 : proceedings

Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings

COTS-based software systems : second international conference, ICCBSS 2003, Ottawa, Canada, February 10-13, 2003 : proceedings

Generative and component-based software engineering : third international conference, GCSE 2001, Erfurt, Germany, September 2001 : proceedings

Development and evolution of software architecture for product families : Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain February 26 27, 1998 : proceedings

Logiciels embarqués : Viser l'excellence dans le développement
nork: Dern, Jérôme
Argitaratua: (2014)

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales