Skip to contents

Pham, Hoang [Author]

System software reliability

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London: Springer, 2006

Published in: Springer series in realibility engineering
Lathrop, John P. [Author]

Linux in small business : a practical user's guide

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berkeley, Calif.: Apress, 2002

Published in: Theexpert's voice
Ball, Thomas [Editor]; Jones, Robert B. [Other] ; CAV 18 2006 Seattle, Wash

Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17 - 20, 2006 ; proceedings ; [part of the Federated Logic Conference (FLoC 2006)]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 4144
Fischer, Klaus [Editor]; Timm, Ingo J. [Editor]; André, Elisabeth [Editor]; Zhong, Ning [Editor] ; MATES 4 2006 Erfurt

Multiagent system technologies : 4th German conference, MATES 2006, Erfurt, Germany, September 19 - 20, 2006 : proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, [2006]

Published in: Lecture notes in computer science ; 4196
Roever, Willem-Paul de [Other]

Concurrency verification : introduction to compositional and noncompositional methods - [1. publ.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, UK; New York, NY, USA: Cambridge University Press, 2001

Published in: Cambridge tracts in theoretical computer science ; 54
Wickham, Hadley [Author]; Çetinkaya-Rundel, Mine [Author]; Grolemund, Garrett [Author]

R for data science : import, tidy, transform, visualize, and model data - [2nd edition]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Beijing; Boston; Farnham; Sebastopol; Tokyo: O'Reilly, 2023
SPSS, Inc. Chicago, Ill

SPSS : Regression Models 11.0

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Chicago, Ill.: SPSS Inc., 2001
McLaughlin, Michael [Author]

Oracle database 10 g express edition PHP web programming : [create dynamic, data-driven web applications ; includes full version of Oracle Database 10g Express Edition, all code examples from the book, and more on CD-ROM]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY [u.a.]: McGraw-Hill/Osborne Media, 2007
Müller-Olm, Markus [Author]

Variations on constants : flow analysis of sequential and parallel programs

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 3800
Ryan, Mark D. [Editor]; Meyer, John-Jules Ch [Other]; Ehrich, Hans-Dieter [Other]

Objects, agents, and features : international seminar, Dagstuhl Castle, Germany, February 16 - 21, 2003 ; revised and invited papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 2975
Minoux, Michel [Author]; Bartnik, Georges [Author]

Graphes, algorithmes, logiciels

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Paris: Bordas Dunod, 1986

Published in: Dunod informatique
Mamavi, Gina [Author]; Depecker, Loïc [Author]

Logiciel et épinglette : guide des termes francophones recommandés

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Paris: La Documentation française, 1991 [erschienen] 1992

Published in: Délégation générale à langue française
Barthet, Marie-France [Author]

Logiciels interactifs et ergonomie : modèles et méthodes de conception

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Paris: Dunod, 1988

Published in: Dunod informatique
Orlan [Other]

Ceci est mon corps... ceci est mon logiciel : entre cultures occidentale et non occidentale

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Paris: Al Dante Ed., 2011

Published in: Cahiers du Midi
Deutsche Kommission Elektrotechnik, Elektronik, Informationstechnik

Anforderungen an Software : (IEC 61508-3:2010); Deutsche Fassung EN 61508-3:2010 = Software requirements = Exigences concernant les logiciels

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Beuth, 2011

Published in: Deutsches Institut für Normung: DIN-VDE-Normen ; 0803,3 - Funktionale Sicherheit sicherheitsbezogener elektrischer,elektronischer,programmierbarer elektronischer Systeme ; 3 - DIN-EN-Normen ; 61508,3,2011
Deutsche Kommission Elektrotechnik, Elektronik, Informationstechnik

Allgemeines, Begriffe, Anforderungen an Systeme, Software und Hardware : (IEC 61511-1:2003 + Corrigendum 2004); Deutsche Fassung EN 61511-1:2004 = Framework, definitions, system, hardware and software requirements = Cadre, définitions, exigences pour le système, le matériel et le logiciel

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Beuth, 2005

Published in: Deutsches Institut für Normung: DIN-VDE-Normen ; 0810,1 - Funktionale Sicherheit - Sicherheitstechnische Systeme für die Prozessindustrie ; 1 - DIN-EN-Normen ; 61511,1,2005
Dione, Bernard [Editor]; Savard, Rejean [Other] ; International Federation of Library Associations and Institutions

Managing technologies and automated library systems in developing countries : open source vs commercial options ; proceedings of the IFLA Pre-Conference Satellite Meeting ; Dakar, Sénégal, August 15 - 16 Août 2007 : logiciels libres vs options commerciales ; actes du Colloque Satellite FIAB Pré-Congrès = Le management des technologies et des systèmes automatisés de bibliothèques dans les pays en développement

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: Saur, 2008

Published in: International Federation of Library Associations and Institutions: IFLA publications ; 132
Dubus, Jérémy [Author] ; Lille 1 [Contributor]; Geib, Jean-Marc [Contributor]; Merle, Philippe [Contributor]

Une démarche orientée modèle pour le déploiement de systèmes en environnements ouverts distribués ; A model-based approach for deployment of software systems in open distributed environments

View online
Schließen

Links

http://www.theses.fr/2008LIL10089/document

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2008-10-10
Cherifi, Nadir [Author] ; Lille 1 [Contributor]; Grimaud, Gilles [Contributor]; Vantroys, Thomas [Contributor]; Boé, Alexandre [Contributor]

Assistance au développement de logiciels embarqués contraints en énergie ; Development support for energy-constrained embedded software

View online
Schließen

Links

http://www.theses.fr/2018LIL1I036/document

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2018-09-19
Cherifi, Nadir [Author] ; Université de Lille (2018-2021) [Contributor]; Grimaud, Gilles [Contributor]; Vantroys, Thomas [Contributor]; Boé, Alexandre [Contributor]

Assistance au développement de logiciels embarqués contraints en énergie ; Development support for energy-constrained embedded software

View online
Schließen

Links

http://www.theses.fr/2018LILUI036/document

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2018-09-19

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication