IST Austria Library

Your search returned 409 results.

Not what you expected? Check for suggestions
1.
Integrated circuit and system design : power and timing modeling, optimization and simulation : 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004 : proceedings / Enrico Macii, Vassilis Paliouras and Odysseas Koufopavlou (eds.).

by PATMOS (Workshop) (14th : 2004 : Santorini, Greece) | Macii, Enrico | Paliouras, Vassilis | Koufopavlou, Odysseas.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; London : Springer, 2004Other title: PATMOS 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
2.
Formal methods in computer-aided design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings / Alan J. Hu, Andrew K. Martin (eds.).

by FMCAD 2004 (2004 : Austin, Tex.) | Hu, Alan J. (Alan John) | Martin, Andrew K.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2004Other title: FMCAD 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
3.
The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings / ed. by B.T. Denvir [and others].

by Denvir, B. T [edt] | Workshop on the Analysis of Concurrent Systems (12-09-1983 - 16-09-1983 : Cambridge).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©1985Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
4.
Compiler construction : 9th International Conference, CC 2000 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 : Berlin, Germany, March 25 - April 2, 2000 : proceedings / David A. Watt (ed.).

by Watt, David A. (David Anthony), 1946- [edt] | International Conference on Compiler Construction, CC (9 : 25-03-2000 - 02-04-2000 : Berlin, Germany) | Joint European Conferences on Theory and Practice of Software, ETAPS (3 : Berlin, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2000Other title: CC 2000.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
5.
Perspectives of system informatics : third International Andrei Ershov memorial conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.).

by Bjørner, D. (Dines), 1937- [edt] | Broy, M, 1949- [edt] | Zamulin, Alexandre V [edt] | International Andrei Ershov Memorial Conference on Persepctives of System Informatics, PSI (3 : 06-07-1999 - 09-07-1999 : Novosibirsk, Russia).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
6.
Computer safety, reliability and security : 17th international conference, SAFECOMP '98, Heidelberg, Germany, October 5-7, 1998 : proceedings / Wolfgang Ehrenberger (ed.).

by SAFECOMP (Conference) (17th : 1998 : Heidelberg, Germany) | Ehrenberger, W. D [edt] | International Conference on Computer Safety, Reliability, and Security, SAFECOMP (17 : 05-10-1998 - 07-10-1998 : Heidelberg, Germamy).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©1998Other title: SAFECOMP'98.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
7.
Compiler construction : 7th international conference, CC'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings / Kai Koskimies (ed.).

by Koskimies, Kai [edt] | International Conference on Compiler Construction, CC (7 : 28-03-1998 - 04-04-1998 : Lisbon, Portugal) | Joint European Conferences on Theory and Practice of Software, ETAPS (Lisbon, Portugal).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©1998Other title: CC'98.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
8.
Evolvable systems : from biology to hardware : 5th International Conference, ICES 2003, Trondheim, Norway, March 17-20, 2003 : proceedings / Andy M. Tyrrell, Pauline C. Haddow, Jim Torresen (eds.).

by International Conference on Evolvable Systems (5th : 2003 : Trondheim, Norway) | Tyrrell, Andy M | Haddow, Pauline C, 1964- | Torresen, Jim, 1964-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
9.
Reconfigurable computing : architectures, tools, and applications : third international workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007 : proceedings / Pedro C. Diniz [and others] (eds.).

by ARC (Symposium) (3rd : 2007 : Mangaratiba, Brazil) | Diniz, Pedro C.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ARC 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
10.
Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings / Dominique Borrione, Wolfgang Paul (eds.).

by CHARME 2005 (2005 : Saarbrücken, Germany) | Borrione, Dominique | Paul, Wolfgang J, 1951-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: CHARME 2005 | IFIP CHARME 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
11.
Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings.

by Hutchison, David, 1949-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
12.
Foundations of Software Technology and Theoretical Computer Science : Eighth Conference, Pune, India, December 21-23, 1988. Proceedings.

by Nori, Kesav V [editor] | Kumar, Sanjeev [editor].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: New York : Springer, Dec. 1988Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
13.
Implementation and Application of Functional Languages : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 : revised selected papers / Sven-Bodo Scholz, Olaf Chitil (eds.).

by International Symposium on Implementation and Application of Functional Languages (20th : 2008 : Hatfield, Hertfordshire, England) | Scholz, Sven-Bodo | Chitil, Olaf.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
14.
Automated technology for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings / Tevfik Bultan, Pao-Ann Hsiung (eds.).

by ATVA (Symposium) (9th : 2011 : Taipei, Taiwan) | Bultan, Tevfik | Hsiung, Pao-Ann.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg ; New York : Springer, ©2011Other title: ATVA 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
15.
Frontiers of combining systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 : proceedings / Cesare Tinelli, Viorica Sofronie-Stokkermans (eds.).

by FroCoS (Symposium) (8th : 2011 : Saarbrücken, Germany) | Tinelli, C. (Cesare) | Sofronie-Stokkermans, Viorica.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
16.
The mathematics of language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings / Makoto Kanazawa [and others] (eds.).

by Mathematics of Language (12th : 2011 : Nara, Japan) | Kanazawa, Makoto, 1964-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg ; New York : Springer-Verlag Berlin Heidelberg, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
17.
Extreme Programming and Agile Methods - XP / Agile Universe 2003 : Third XP Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003. Proceedings.

by Maurer, F. (Frank) | Wells, Don.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
18.
Integrated circuit and system design : power and timing modeling, optimization, and simulation : 21st international workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011 : proceedings / José L. Ayala [and others] (eds.).

by PATMOS (Workshop) (21st : 2011 : Madrid, Spain) | Ayala, Jose L.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Other title: PATMOS 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
19.
Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings / Uli Fahrenberg, Stavros Tripakis (eds.).

by FORMATS (Conference) (9th : 2011 : Ålborg, Denmark) | Fahrenberg, Uli | Tripakis, Stavros.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Other title: FORMATS 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
20.
Multiagent system technologies : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011 : proceedings / Franziska Klügl, Sascha Ossowski (eds.).

by MATES (Conference) (9th : 2011 : Berlin, Germany) | Klügl, Franziska | Ossowski, Sascha, 1968-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags

Powered by Koha