skip to main content
Langue :
Afficher les résultats avec :

Résultats 1 - 10 sur 43  pour Articles en ligne

résultats 1 2 3 4 5 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Practical Introduction to PSL
Material Type:
ebook
Ajouter au Panier

A Practical Introduction to PSL

Eisner, Cindy ; Fisman, Dana

Appartient à la collection : Integrated circuits and systems (Print), ISSN 1558-9412

Boston, MA. Springer US. Springer e-books, 2006

2
Ontology-based semantic models for supply chain management
Material Type:
Article
Ajouter au Panier

Ontology-based semantic models for supply chain management

Ye, Yan ; Yang, Dong ; Jiang, Zhibin ; Tong, Lixin

International journal of advanced manufacturing technology, 2008-07, Vol.37 (11), p.1250-1260 [Evalué par les pairs]

London: Springer-Verlag

3
A knowledge-based approach to assembly sequence planning
Material Type:
Article
Ajouter au Panier

A knowledge-based approach to assembly sequence planning

Dong, Tianyang ; Tong, Ruofeng ; Zhang, Ling ; Dong, Jinxiang

International journal of advanced manufacturing technology, 2007-05, Vol.32 (11), p.1232-1244 [Evalué par les pairs]

London: Springer-Verlag

4
An agent- and service-based collaborative design architecture under a dynamic integration environment
Material Type:
Article
Ajouter au Panier

An agent- and service-based collaborative design architecture under a dynamic integration environment

Qiu, H B ; Shao, X Y ; Li, P G ; Gao, L

International journal of advanced manufacturing technology, 2007-11, Vol.35 (1), p.15-25 [Evalué par les pairs]

London: Springer-Verlag

5
Integrating engineering design and analysis using a multi-representation approach
Material Type:
Article
Ajouter au Panier

Integrating engineering design and analysis using a multi-representation approach

Peak, Russell S ; Fulton, Robert E ; Nishigaki, Ichirou ; Okamoto, Noriaki

Engineering with computers, 1998-06, Vol.14 (2), p.93-114 [Evalué par les pairs]

New York: Springer-Verlag

6
On the imaginative constructivist nature of design: a theoretical approach
Material Type:
Article
Ajouter au Panier

On the imaginative constructivist nature of design: a theoretical approach

Kazakçı, Akın O

Research in engineering design, 2013-04, Vol.24 (2), p.127-145 [Evalué par les pairs]

London: Springer-Verlag

7
On the conversion of functional models: bridging differences between functional taxonomies in the modeling of user actions
Material Type:
Article
Ajouter au Panier

On the conversion of functional models: bridging differences between functional taxonomies in the modeling of user actions

van Eck, Dingmar

Research in engineering design, 2010-04, Vol.21 (2), p.99-111 [Evalué par les pairs]

London: Springer-Verlag

8
Scenario-based verification of real-time systems using Uppaal
Material Type:
Article
Ajouter au Panier

Scenario-based verification of real-time systems using Uppaal

Li, Shuhao ; Balaguer, Sandie ; David, Alexandre ; Larsen, Kim G ; Nielsen, Brian ; Pusinskas, Saulius ; Dams, Dennis R ; Cavalcanti, Ana

Formal methods in system design, 2010-12, Vol.37 (2), p.200-264 [Evalué par les pairs]

Boston: Springer US

9
QoS-aware management of monotonic service orchestrations
Material Type:
Article
Ajouter au Panier

QoS-aware management of monotonic service orchestrations

Benveniste, Albert ; Jard, Claude ; Kattepur, Ajay ; Rosario, Sidney ; Thywissen, John A

Formal methods in system design, 2014-02, Vol.44 (1), p.1-43 [Evalué par les pairs]

Boston: Springer US

10
A Practical Methodology for the Formal Verification of RISC Processors
Material Type:
Article
Ajouter au Panier

A Practical Methodology for the Formal Verification of RISC Processors

Tahar, Sofiéne ; Kumar, Ramayya

Formal methods in system design, 1998-09, Vol.13 (2), p.159-225 [Evalué par les pairs]

Boston: Kluwer Academic Publishers

Résultats 1 - 10 sur 43  pour Articles en ligne

résultats 1 2 3 4 5 next page

Refine Search Results

Élargir mes résultats

  1.   

N'afficher que

  1. Evalués par les pairs (42)
  2. Catalogue (1)

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

Recherche dans les bases de données distantes en cours. Merci de patienter.