IST Austria Library

Refine your search

Your search returned 1703 results.

Not what you expected? Check for suggestions
1.
Hybrid metaheuristics : third international workshop, HM 2006, Gran Canaria, Spain, October 13-14, 2006 : proceedings / Francisco Almeida [and others] (eds.).

by HM (Workshop) (3rd : 2006 : Agaete, Canary Islands) | Almeida, Francisco (Almeida Rodríguez).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: HM 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
2.
Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings / Klaus Schneider, Jens Brandt (eds.).

by TPHOLs (20th : 2007 : Kaiserslautern, Germany) | Schneider, Klaus, 1967- | Brandt, Jens, 1978-.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: TPHOLs 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.
Parallel computing technologies : 9th international conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007 ; proceedings / Victor Malyshkin (ed.).

by International Conference on Parallel Computing Technologies (9th : 2007 : Pereslavlʹ-Zalesskiĭ, Russia) | Malyshkin, V. Ė. (Viktor Ėmmanuilovich).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: PaCT 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
4.
Computers and games : 5th international conference, CG 2006, Turin, Italy, May 29-31, 2006 : revised papers / H. Jaap van den Herik, Paolo Ciancarini, H.H.L.M. (Jeroen) Donkers (eds.).

by CG (Conference) (5th : 2006 : Turin, Italy) | Herik, Jaap van den | Ciancarini, Paolo, 1959- | Donkers, H. H. L. M.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: CG 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
5.
Experimental algorithms : 6th international workshop, WEA 2007, Rome, Italy, June 6-8, 2007 : proceedings / Camil Demetrescu (ed.).

by WEA (Workshop) (6th : 2007 : Rome, Italy) | Demetrescu, Camil.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: WEA 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.
Computational and ambient intelligence : 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastian, Spain, June 20-22, 2007 : proceedings / Francisco Sandoval [and others] (eds.).

by International Work-Conference on Artificial and Natural Neural Networks (9th : 2007 : San Sebastián, Spain) | Sandoval, Francisco.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: 9th International Work-Conference on Artificial and Natural Neural Networks | Ninth International Work-Conference on Artificial and Natural Neural Networks | International Work-Conference on Artificial and Natural Neural Networks | IWANN 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
7.
Petri nets and other models of concurrency : ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 ; proceedings / Jetty Kleijn, Alex Yakovlev (eds.).

by International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (28th : 2007 : Siedlce, Poland) | Kleijn, Jetty | Yakovlev, Alex.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrence | Twenty-eighth International Conference on Applications and Theory of Petri Nets and Other Models of Concurrence | International Conference on Applications and Theory of Petri Nets and Other Models of Concurrence | ICATPN 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.
Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday / Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.).

by Comon, Hubert | Kirchner, Claude | Kirchner, H. (Hélène).

Source: Springer e-booksMaterial type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Online 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.
Developments in language theory : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007 : proceedings / Tero Harju, Juhani Karhumäki, Arto Lepistö (eds.).

by Conference on Developments in Language Theory (11th : 2007 : Turku, Finland) | Harju, T | Karhumäki, Juhani | Lepistö, Arto.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: DLT 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.
Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings / Werner Damm, Holger Hermanns (eds.).

by CAV (Conference) (19th : 2007 : Berlin, Germany) | Damm, Werner | Hermanns, Holger, 1967-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: CAV 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
11.
Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings / Dragan Bošnački, Stefan Edelkamp (eds.).

by International SPIN Workshop (14th : 2007 : Berlin, Germany) | Bošnački, Dragan, 1963- | Edelkamp, Stefan | CAV (Conference) (19th : 2007 : Berlin, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: SPIN 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
12.
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
13.
Computing and combinatorics : 13th annual international conference, COCOON 2007, Banff, Canada, July 16-19, 2007 : proceedings / Guohui Lin (ed.).

by COCOON (Conference) (13th : 2007 : Banff, Alta.) | Lin, Guohui.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: COCOON 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
14.
Unconventional computation : 6th international conference, UC 2007, Kingston, Canada, August 13-17, 2007 : proceedings / Selim G. Akl [and others] (eds.).

by UC (Conference) (6th : 2007 : Kingston, Ont.) | Akl, Selim G.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Other title: UC 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
15.
Combinatorial optimization and applications : first international conference, COCOA 2007, Xi'an, China, August 14-16, 2007 : proceedings / Andreas Dress, Yinfeng Xu, Binhai Zhu (eds.).

by COCOA (Conference) (1st : 2007 : Xi'an Shi, China) | Dress, Andreas | Xu, Yinfeng | Zhu, Binhai, 1966-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: COCOA 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
16.
Embedded computer systems : architectures, modeling, and simulation : 7th international workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007 : proceedings / Stamatis Vassiliadis, Mladen Berekovic, Timo D. Hämäläinen (eds.).

by SAMOS 2007 (2007 : Samos, Greece) | Vassiliadis, Stamatis | Bereković, Mladen | Hämäläinen, Timo D.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: SAMOS 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
17.
Frontiers in algorithmics : first annual international workshop, FAW 2007, Lanzhou, China, August 1-3, 2007 : proceedings / Franco P. Preparata, Qizhi Fang (eds.).

by FAW 2007 (2007 : Lanzhou Shi, China) | Preparata, Franco P | Fang, Qizhi.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: FAW 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
18.
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
19.
Artificial immune systems : 6th international conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007 : proceedings / Leandro Nunes de Castro, Fernando Jose Von Zuben, Helder Knidel (eds.).

by ICARIS (Conference) (6th : 2007 : Santos, São Paulo, Brazil) | De Castro, Leandro Nunes, 1974- | Von Zuben, Fernando J | Knidel, Helder.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ICARIS 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
20.
Algorithms and data structures : 10th international workshop, WADS 2007, Halifax, Canada, August 15-17, 2007 : proceedings / Frank Dehne, Jörg-Rüdiger Sack, Norbert Zeh (eds.).

by WADS 2007 (2007 : Halifax, N.S.) | Dehne, F. (Frank), 1960- | Sack, J.-R. (Jörg-Rüdiger), 1954- | Zeh, Norbert.

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

Powered by Koha