Recherche

23 résultat(s) · 73 ms

Recherche en cours…
Couverture : Cloud, grid and high performance computing

Cloud, grid and high performance computing

2011

Couverture : Reliable object-oriented software

Reliable object-oriented software

Ed Seidewitz, Mike (19..-....) Stark

1995

Couverture : An introduction to formal specification and Z

An introduction to formal specification and Z

Ben Potter, Jane Sinclair

1996

Design patterns

Design patterns

Erich Gamma, Richard Helm

1999

Couverture : Software blueprints

Software blueprints

David Robertson, Jaume Agustí

1999

Couverture : Writing scientific software

Writing scientific software

Suely Oliveira, David E. Stewart

2006

Couverture : Open Modeling with UML

Open Modeling with UML

Brian Henderson-Sellers, Bhuvan Unhelkar

2000

Couverture : More process patterns

More process patterns

Scott W. Ambler

1999

Couverture : Principles and applications of distributed event-based systems

Principles and applications of distributed event-based systems

2010

Couverture : Constructing correct software

Constructing correct software

John Cooke

1998

Couverture : Model driven architecture for reverse engineering technologies

Model driven architecture for reverse engineering technologies

Liliana Favre

2010

Couverture : Usability engineering

Usability engineering

Jakob Nielsen

1993

Couverture : The Usability Engineering Lifecycle

The Usability Engineering Lifecycle

Deborah J. Mayhew

1999

Couverture : The B language and method

The B language and method

Kevin Lano

1996

Couverture : Introduction to VDM

Introduction to VDM

Mark Woodman, Benedict Heal

1993

Couverture : The comingled code

The comingled code

Joshua Lerner, Mark Schankerman

2010

Vite fait, bien fait !

Vite fait, bien fait !

Jean-Pierre Vickoff

1998

Le développement de logiciel en C++

Le développement de logiciel en C++

Russel Winder

1994

Couverture : Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog

1997

Pour mieux développer avec C++

Pour mieux développer avec C++

Aurélien Géron, Fatmé Tawbi

1999

Le Cahier des charges d'une application informatique

Le Cahier des charges d'une application informatique

Christian Bénard

1990

La Maîtrise du développement de logiciel

La Maîtrise du développement de logiciel

Barbara Liskov, John Guttag

1990

Modèle et outils du développement d'application

Modèle et outils du développement d'application

Yphise

1993