Ergebnisse einschränken

Sprache

Consortium of Swiss Academic Libraries

Mining and the environment

Zobrist, Jürg ; Giger, Walter

In: Environmental Science and Pollution Research, 2013, vol. 20, no. 11, p. 7487-7489

Consortium of Swiss Academic Libraries

Functional synthesis for linear arithmetic and sets

Kuncak, Viktor ; Mayer, Mikaël ; Piskac, Ruzica ; Suter, Philippe

In: International Journal on Software Tools for Technology Transfer, 2013, vol. 15, no. 5-6, p. 455-474

Consortium of Swiss Academic Libraries

Context-aware counter abstraction

Basler, Gérard ; Mazzucchi, Michele ; Wahl, Thomas ; Kroening, Daniel

In: Formal Methods in System Design, 2010, vol. 36, no. 3, p. 223-245

Consortium of Swiss Academic Libraries

A multi-criteria decision method for sustainability assessment of the use phase of machine tool systems

Avram, Oliver ; Stroud, Ian ; Xirouchakis, Paul

In: The International Journal of Advanced Manufacturing Technology, 2011, vol. 53, no. 5-8, p. 811-828

Consortium of Swiss Academic Libraries

On the assessment of landmark salience for human navigation

Caduff, David ; Timpf, Sabine

In: Cognitive Processing, 2008, vol. 9, no. 4, p. 249-267