IST Austria Library

Your search returned 26 results.

Not what you expected? Check for suggestions
1.
Algebraic biology : second international conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007 : proceedings / Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia (eds.).

by AB 2007 (2007 : Hagenberg im Mühlkreis, Austria) | Anai, Hirokazu | Horimoto, Katsuhisa | Kutsia, Temur.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: AB 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
2.
Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings / Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.).

by CALCO (Conference) (2nd : 2007 : Bergen, Norway) | Mossakowski, Till | Montanari, U. (Ugo) | Haveraaen, Magne.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: CALCO 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
3.
Recent trends in algebraic development techniques : 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers / Jose Luiz Fiadeiro, Pierre-Yves Schobbens (eds.).

by WADT 2006 (2006 : La Roche-en-Ardenne, Belgium) | Fiadeiro, José Luiz, 1961- | Schobbens, Pierre-Yves, 1961-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2007Other title: WADT 2006.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
4.
Algebraic informatics : second international conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007 : revised selected and invited papers / Symeon Bozapalidis, George Rahonis (eds.).

by CAI 2007 (2007 : Thessalonikē, Greece) | Bozapalidēs, Symeōn | Rachōnēs, Geōrgios, 1965-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: CAI 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
5.
Formal concept analysis : 6th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedings / Raoul Medina, Sergei Obiedkov (eds.).

by International Conference on Formal Concept Analysis (6th : 2008 : Montréal, Québec) | Medina, Raoul | Obiedkov, Sergei.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Other title: ICFCA 2008.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
6.
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers / José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.).

by WADT 2004 (2004 : Barcelona, Spain) | Fiadeiro, José Luiz, 1961- | Mosses, Peter | Orejas, F. (Fernando).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: WADT 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
7.
Applications and theory of Petri nets 2005 : 26th international conference, ICATPN 2005, Miami, USA, June 20-25, 2005 : proceedings / Gianfranco Ciardo, Philippe Darondeau (eds.).

by International Conference on Applications and Theory of Petri Nets (26th : 2005 : Miami, Fla.) | Ciardo, Gianfranco | Darondeau, Philippe.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: ICATPN 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
8.
Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers / Wendy MacCaull, Michael Winter, Ivo Düntsch (eds.).

by International Seminar on Relational Methods in Computer Science (8th : 2005 : St. Catharines, Ont.) | MacCaull, Wendy | Winter, Michael (Professor) | Düntsch, Ivo | European Cooperation in the Field of Scientific and Technical Research (Organization). COST Action 274 TARSKI (Project). Workshop (2005 : St. Catharines, Ont.) | International Workshop on Applications of Kleene Algebra (3rd : 2005 : St. Catharines, Ont.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Online 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.
Formal concept analysis : 4th international conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings / Rokia Missaoui, Jürg Schmid (eds.).

by International Conference on Formal Concept Analysis (4th : 2006 : Dresden, Germany) | Missaoui, R | Schmid, Jürg, 1944-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: ICFCA 2006.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.
Algebraic methodology and software technology : 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings / Michael Johnson, Varmo Vene (eds.).

by International Conference on Algebraic Methodology and Software Technology (11th : 2006 : Kingissepa, Estonia) | Johnson, Michael, 1959- | Vene, Varmo.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2006Other title: AMAST 2006.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.
Formal concept analysis : 7th international conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009 : proceedings / Sébastien Ferré́, Sebastian Rudolph (eds.).

by International Conference on Formal Concept Analysis (7th : 2009 : Darmstadt, Germany) | Ferré, Sébastien | Rudolph, Sebastian (Computer scientist).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Other title: ICFCA 2009.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
13.
Theoretical aspects of computing : 6th international colloquium ; proceedings, ICTAC 2009, Kuala Lumpur, Malaysia, August 16-20, 2009 / Martin Leucker, Carroll Morgan (eds.).

by ICTAC (Colloquium) (6th : 2009 : Kuala Lumpur, Malaysia) | Leucker, Martin | Morgan, Carroll, 1952-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg ; New York : Springer, ©2009Other title: ICTAC 2009.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
14.
Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, the Netherlands, October 1621, 2001 Revised Papers / edited by Harrie C.M. Swart.

by Swart, Harrie C. M.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2002Online 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.
Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement / edited by Werner Kuich, George Rahonis.

by Kuich, Werner, 1941- | Rachōnēs, Geōrgios, 1965-.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©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.
Lectures on Petri Nets I: Basic Models : Advances in Petri Nets / edited by Wolfgang Reisig, Grzegorz Rozenberg.

by Reisig, Wolfgang | Rozenberg, Grzegorz.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag, 1998Online 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.
Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings / Chris Hawblitzel, Dale Miller (eds.).

by CPP 2012 (2012 : Kyoto, Japan) | Hawblitzel, Chris | Miller, Dale (Dale A.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: CPP 2012.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
18.
Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 Proceedings / edited by Nachum Dershowitz, Naomi Lindenstrauss.

by Dershowitz, Nachum | Lindenstrauss, Naomi.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1995Online 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.
Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '96 Karlsruhe, Germany, September 18-20, 1996 Proceedings / edited by Jacques Calmet, Carla Limongelli.

by International Symposium DISCO '96 (1996 : Karlsruhe, Germany) | Calmet, Jacques | Limongelli, Carla.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1996Online 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.
Efficient Graph Rewriting and Its Implementation / edited by Heiko Dörr.

by Dörr, Heiko, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1995Online 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