Refine your search

Your search returned 871 results.

Not what you expected? Check for suggestions
1.
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 .
2.
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 .
3.
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 .
4.
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 .
5.
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 .
6.
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 .
7.
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 .
8.
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 .
9.
Fundamentals of computation theory : 16th international symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007 : proceedings / Erzsébet Csuhaj-Varjú, Zoltán Ésik (eds.).

by FCT (Symposium) (16th : 2007 : Budapest, Hungary) | Csuhaj-Varjú, E | Ésik, Zoltán, 1951-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: FCT 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Mathematical foundations of computer science 2007 : 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26-31, 2007 : proceedings / Luděk Kučera, Antonín Kučera (eds.).

by Symposium on Mathematical Foundations of Computer Science (1972- ) (32nd : 2007 : Český Krumlov, Czech Republic) | Kučera, Luděk | Kučera, A. (Antonín).

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: MFCS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Computational science and its applications : ICCSA 2007 : international conference, Kuala Lumpur, Malaysia, August 26-29, 2007 : proceedings / Osvaldo Gervasi, Marina L. Gavrilova (eds.).

by ICCSA 2007 (2007 : Kuala Lumpur, Malaysia) | Gervasi, Osvaldo | Gavrilova, Marina L.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Other title: ICCSA 2007.Online access: Click here to access online | Click here to access online | Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings / Volker Diekert, Mikhail V. Volkov, Andrei Voronkov (eds.).

by International Computer Science Symposium in Russia (2nd : 2007 : Ekaterinburg, Russia) | Diekert, Volker, 1955- | Volkov, Mikhail V | Voronkov, Andrei, 1959-.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: Second International Symposium on Computer Science in Russia | International Symposium on Computer Science in Russia | CSR 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Advances in computation and intelligence : second international symposium, ISICA 2007, Wuhan, China, September 21-23, 2007 : proceedings / Lishan Kang, Yong Liu, Sanyou Zeng (eds.).

by ISICA (Symposium) (2nd : 2007 : Wuhan, China) | Kang, Lishan | Liu, Yong, 1966- | Zeng, Sanyou.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: Computation and intelligence | ISICA 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Machines, computations, and universality : 5th international conference, MCU 2007, Orleans, France, September 10-13, 2007 : proceedings / Jérôme Durand-Lose, Maurice Margenstern (eds.).

by MCU 2007 (2007 : Orléans, France) | Durand-Lose, Jérôme | Margenstern, Maurice.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: MCU 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Evolvable systems : from biology to hardware : 7th international conference, ICES 2007, Wuhan, China, September 21-23, 2007 : proceedings / Lishan Kang, Yong Liu, Sanyou Zeng (eds.).

by International Conference on Evolvable Systems (7th : 2007 : Wuhan, China) | Kang, Lishan | Liu, Yong, 1966- | Zeng, Sanyou.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ICES 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Stochastic algorithms: foundations and applications : 4th international symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007 : proceedings / Juraj Hromkovič [and others] (eds.).

by SAGA 2007 (2007 : Zurich, Switzerland) | Hromkovič, Juraj, 1958-.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: SAGA 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.).

by Bjørner, D. (Dines), 1937- | Zhou, Chaochen, 1937- | Jones, C. B. (Cliff B.), 1944- | Liu, Zhiming, 1961- | Woodcock, Jim.

Material 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 .
18.
Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings / Jean-Francois Raskin, P.S. Thiagarajan (eds.).

by FORMATS (Conference) (5th : 2007 : Salzburg, Austria) | Raskin, Jean-François, 1972- | Thiagarajan, P. S.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Other title: FORMATS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
String processing and information retrieval : 14th international symposium, SPIRE 2007, Santiago, Chile, October 29-31, 2007 : proceedings / Nivio Ziviani, Ricardo Baeza-Yates (eds.).

by SPIRE (Symposium) (14th : 2007 : Santiago, Chile) | Ziviani, Nivio | Baeza-Yates, R. (Ricardo).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: SPIRE 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Artificial neural networks -- ICANN 2007. Part I : 17th international conference, Porto, Portugal, September 9-13, 2007 : proceedings / Joaquim Marques de Sa [and others] (eds.).

by International Conference on Artificial Neural Networks (European Neural Network Society) (17th : 2007 : Porto, Portugal) | Sá, J. P. Marques de, 1946-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ICANN 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha