Search Results

1

Hybrid systems : computation and control : 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005 : proceedings /

Hybrid systems : computation and control : 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

2

Komplexität von Entscheidungsproblemen : ein Seminar /

Komplexität von Entscheidungsproblemen : ein Seminar /

Berlin ; New York : Springer-Verlag, 1976

Book

3

Seminar on functional operators and equations, Forschungsinstitut für Mathematik, ETH, Zürich, October 1965-July 1966

Seminar on functional operators and equations, Forschungsinstitut für Mathematik, ETH, Zürich, October 1965-July 1966

by Targonski, György I.
Berlin, New York, Springer-Verlag, 1967

Book

4

Logic of programs : workshop, ETH Zürich, May-July 1979 /

Logic of programs : workshop, ETH Zürich, May-July 1979 /

Berlin ; New York : Springer, 1981

Book

5

Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000 : proceedings /

Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000 : proceedings /

Berlin ; New York : Springer, 2000

Conference Proceeding Book

6

Agent systems, mobile agents, and applications : Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, Zürich, Switzerland, September 13-15, 2000 : proceedings /

Agent systems, mobile agents, and applications : Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000,...

Berlin ; New York : Springer, 2000

Conference Proceeding Book

7

Recent advances in intrusion detection : 5th international symposium, RAID 2002, Zurich, Switzerland, October 16-18, 2002 : proceedings /

Recent advances in intrusion detection : 5th international symposium, RAID 2002, Zurich, Switzerland, October 16-18, 2002 : proceedings /

Berlin ; New York : Springer-Verlag, 2002

Conference Proceeding Book

8

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /

Berlin ; New York : Springer, 2001

Conference Proceeding Book

9

Pervasive computing : first international conference, Pervasive 2002, Zurich, Switzerland, August 26-28, 2002 : proceedings /

Pervasive computing : first international conference, Pervasive 2002, Zurich, Switzerland, August 26-28, 2002 : proceedings /

Berlin ; New York : Springer, 2002

Conference Proceeding Book

10

Theory and practice of model transformations : first international conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 ; proceedings /

Theory and practice of model transformations : first international conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 ; proceedings /

Berlin : Springer, 2008

Conference Proceeding Book

11

Software engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papers /

Software engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papers /

Berlin ; New York : Springer, 2007

Conference Proceeding Book

12

The Internet of things : first international conference, IOT 2008, Zurich, Switzerland, March 26-28, 2008 : proceedings /

The Internet of things : first international conference, IOT 2008, Zurich, Switzerland, March 26-28, 2008 : proceedings /

Berlin ; New York : Springer, 2008

Conference Proceeding Book

13

Verified Software : theories, tools, experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions /

Verified Software : theories, tools, experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions...

Berlin ; New York : Springer, 2008

Conference Proceeding Book