Using event-b for critical device software systems

Edisi

-

ISBN/ISSN

9781447152606

Deskripsi Fisik

-

Judul Seri

-

No. Panggil

E982

A Journey through cultures : metaphors for guiding the design of cross-cultur…

A Journey Through Cultures addresses one of the hottest topics in contemporary HCI: cultural diversity amongst users. For a number of years the HCI community has been investigating alternatives to enhance the design of cross-cultural systems. Most contributions to date have followed either a ‘design for each’ or a ‘design for all’ strategy. A Journey Through Cultures takes a very dif…

Creativity and rationale : enhancing human experience by design

Creativity and rationale comprise an essential tension in design. They are two sides of the coin; contrary, complementary, but perhaps also interdependent. Designs always serve purposes. They always have an internal logic. They can be queried, explained, and evaluated. These characteristics are what design rationale is about. But at the same time designs always provoke experiences and insights.…

Guide to modeling and simulation of systems of systems

Edisi

-

ISBN/ISSN

9780857298652

Deskripsi Fisik

-

Judul Seri

-

No. Panggil

E903

Applied mathematics

Edisi

-

ISBN/ISSN

9789462390096

Deskripsi Fisik

-

Judul Seri

-

No. Panggil

E897

Visual mathematics and cyberlearning

Edisi

-

ISBN/ISSN

9789400723214

Deskripsi Fisik

-

Judul Seri

-

No. Panggil

E893

The seventh european conference on combinatorics, graph theory and applications

Edisi

-

ISBN/ISSN

9788876424755

Deskripsi Fisik

-

Judul Seri

-

No. Panggil

E891

Matematica Numerica

Edisi

-

ISBN/ISSN

9788847055414

Deskripsi Fisik

-

Judul Seri

-

No. Panggil

E886

Meccanica Razionale

Edisi

-

ISBN/ISSN

9788847054950

Deskripsi Fisik

-

Judul Seri

-

No. Panggil

E885

Trends in harmonic analysis

Edisi

-

ISBN/ISSN

9788847028531

Deskripsi Fisik

-

Judul Seri

-

No. Panggil

E877