IST Austria Library

Your search returned 45 results.

Not what you expected? Check for suggestions
1.
Term rewriting and application : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings / Franz Baader (ed.).

by International Conference on Rewriting Techniques and Applications (18th : 2007 : Paris, France) | Baader, Franz.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: RTA 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.
Implementation and application of automata : 12th international conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007 : revised selected papers / Jan Holub, Jan Zdarek (eds.).

by CIAA (Conference) (12th : 2007 : Prague, Czech Republic) | Holub, Jan | Žd̕árek, Jan, 1938-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: CIAA 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.
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
6.
Cryptography and coding : 11th IMA International Conference, Cirencester, UK, December 18-20, 2007 : proceedings / Steven D. Galbraith (ed.).

by IMA International Conference (11th : 2007 : Cirencester, England) | Galbraith, Steven D.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: 11th IMA International Conference | Eleventh IMA International Conference | IMA International Conference.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.
Sequences, subsequences, and consequences : international workshop, SSC 2007, Los Angeles, CA, USA, May 31-June 2, 2007 : revised invited papers / Solomon W. Golomb [and others] (eds.).

by SSC 2007 (2007 : Los Angeles, Calif.) | Golomb, Solomon W. (Solomon Wolf).

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: SSC 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
8.
Concept lattices and their applications : fourth international conference, CLA 2006, Tunis, Tunisia, October 30 - November 1, 2006 ; selected papers / Sadok Ben Yahia, Engelbert Mephu Nguifo, Radim Belohlavek (eds.).

by CLA 2006 (2006 : Ḥammāmāt, Tunisia) | Ben Yahia, Sadok | Nguifo, Engelbert Mephu | Bělohlávek, Radim.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2008Other title: CLA 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
9.
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
10.
Global optimization and constraint satisfaction : second international workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003 : revised selected papers / Christophe Jermann, Arnold Neumaier, Djamila Sam (eds.).

by COCOS 2003 (2003 : Lausanne, Switzerland) | Jermann, Christophe, 1975- | Neumaier, A | Sam, Djamila.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: COCOS 2003.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.
Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings / Jose Luiz Fiadeiro [and others] (eds.).

by CALCO (Conference) (1st : 2005 : Swansea, Wales) | Fiadeiro, José Luiz, 1961-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: CALCO 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
12.
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
13.
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
14.
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
15.
Theory and applications of relational structures as knowledge instruments II : international workshops of COST Action 274, TARSKI, 2002-2005 : selected revised papers / Harrie de Swart [and others] (eds.).

by Swart, H. C. M. de | European Cooperation in the Field of Scientific and Technical Research (Organization). COST Action 274 TARSKI (Project).

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: COST Action 274 TARSKI 2002-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
16.
Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings / Frank Pfenning (ed.).

by International Conference on Rewriting Techniques and Applications (17th : 2006 : Seattle, Wash.) | Pfenning, Frank.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2006Other title: RTA 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
17.
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
18.
Parameterized and exact computation : third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings / Martin Grohe, Rolf Niedermeier (eds.).

by IWPEC (Workshop) (3rd : 2008 : Victoria, B.C.) | Grohe, M. (Martin) | Niedermeier, Rolf.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Other title: IWPEC 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
19.
Logical foundations of computer science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009 : Proceedings / Sergei N. Artemov, Anil Nerode (eds.).

by LFCS (Symposium) (2009 : Deerfield Beach, Fla.) | Artemov, S. N | Nerode, Anil, 1932-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Other title: LFCS 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
20.
Advances in cryptology : proceedings, CRYPTO 2009, 29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2009 / Shai Halevi (ed.).

by CRYPTO (Conference) (29th : 2009 : Santa Barbara, Calif.) | Halevi, Shai | International Association for Cryptologic Research.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg ; New York, NY : Springer, ©2009Other title: CRYPTO 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

Powered by Koha