Your search returned 157 results.

Not what you expected? Check for suggestions
Sort
Results
Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on formal modeling and analysis of timed systems, FORMATS 2004, and formal techniques in real-time and fault -tolerant systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings / editors, Yassine Lakhnech, Sergio Yovine.

by FORMATS (Conference) (2004 : Grenoble, France) | Lakhnech, Y. (Yassine) | Yovine, Sergio | LINK (Online service) | FTRTFT 2004 (2004 : Grenoble, France).

Series: Serienbezeichnung | Lecture notes in computer science ; 3253.Material type: Text Text; Format: available online remote Publisher number: 11324249Publication details: Berlin : Springer, 2004Other title: FORMATS 2004 | Formal Modeling and Analysis of Timed Systems | FTRTFT 2004 | Formal Techniques in Real-Time and Fault -Tolerant Systems.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Artificial intelligence and simulation : 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004 : revised selected papers / Tag Gon Kim (ed.).

by Conference on AI, Simulation, and Planning in High Autonomy Systems (13th : 2004 : Cheju-do, Korea) | Kim, Tag Gon.

Series: Serienbezeichnung | Lecture notes in computer science ; 3397. | Lecture notes in computer science. Lecture notes in artificial intelligence.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 11382393Publisher: Berlin ; New York : Springer, ©2005Other title: 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems | Thirteenth International Conference on AI, Simulation, and Planning in High Autonomy Systems | International Conference on AI, Simulation, and Planning in High Autonomy Systems | International Conference on Artificial Intelligence, Simulation, and Planning in High Autonomy Systems | AIS 2004 | AI, simulation, and planning in high autonomy systems.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Systems modeling and simulation : theory and applications : third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004 : revised selected papers / Doo-Kwon Baik (ed.).

by Asian Simulation Conference (3rd : 2004 : Cheju-do, Korea) | Baik, Doo-Kwon.

Series: Serienbezeichnung | Lecture notes in computer science ; 3398. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 11382416Publication details: Berlin ; New York : Springer, ©2005Other title: AsiaSim 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Modeling and using context : 5th international and interdisciplinary conference, CONTEXT 2005, Paris, France, July 5-8, 2005 : proceedings / Anind Dey [and others] (eds.).

by International and Interdisciplinary Conference on Modeling and Using Context (5th : 2005 : Paris, France) | Dey, Anind K, 1970-.

Series: Serienbezeichnung | Lecture notes in computer science ; 3554. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005Other title: CONTEXT 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings / Paul Pettersson, Wang Yi (eds.).

by FORMATS (Conference) (3rd : 2005 : Uppsala, Sweden) | Pettersson, Paul | Yi, Wang.

Series: Serienbezeichnung | Lecture notes in computer science ; 3829.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Multi-agent-based simulation VI : international workshop, MABS 2005, Utrecht, the Netherlands, July 25, 2005 : revised and invited papers / Jaime S. Sichman, Luis Antunes (eds.).

by MABS 2005 (2005 : Utrecht, Netherlands) | Sichman, Jaime S. (Jaime Simão) | Antunes, Luis.

Series: Serienbezeichnung | Lecture notes in computer science ; 3891. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2006Other title: Multi-agent-based simulation 6 | Multi-agent-based simulation six | MABS 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Multi-agent-based simulation XV : International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised selected papers / Francisco Grimaldo, Emma Norling (eds.).

by MABS (Workshop) (15th : 2014 : Paris, France) | Grimaldo, Francisco [editor.] | Norling, Emma [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9002. | LNCS sublibrary. SL 7, Artificial intelligence.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: Multi-agent-based simulation 15 | MABS 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Job scheduling strategies for parallel processing : 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised selected papers / Walfredo Cirne, Narayan Desai (eds.).

by JSSPP (Workshop) (18th : 2014 : Phoenix, Ariz.) | Cirne, Walfredo [editor.] | Desai, Narayan (Narayan L.) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8828. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Energy efficient data centers : third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised selected papers / Sonja Klingert, Marta Chinnici, Milagros Rey Porto (eds.).

by International Workshop on Energy-Efficient Data Centers (3rd : 2014 : Cambridge, England) | Klingert, Sonja [editor.] | Chinnici, Marta [editor.] | Porto, Milagros Rey [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8945. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: E2DC 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Solving software challenges for exascale : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised selected papers / Stefano Markidis, Erwin Laure (eds.).

by International Conference on Exascale Applications and Software (2nd : 2014 : Stockholm, Sweden) | Markidis, Stefano [editor.] | Laure, Erwin [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8759. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: EASC 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Multi-agent systems : 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised selected papers / Nils Bulling (ed.).

by EUMAS (Workshop) (12th : 2014 : Prague, Czech Republic) | Bulling, Nils [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 8953. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: EUMAS 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
High performance computing for computational science -- VECPAR 2014 : 11th International Conference, Eugene, OR, USA, June 30-July 3, 2014, Revised selected papers / Michel Daydé, Osni Marques, Kengo Nakajima (eds.).

by VECPAR (Conference) (11th : 2014 : Eugene, Or.) | Daydé, Michel [editor.] | Marques, Osni [editor.] | Nakajima, Kengo, 1962- [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8969. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: VECPAR 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
High performance computing systems : performance modeling, benchmarking, and simulation : 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised selected papers / Stephen A. Jarvis, Steven A. Wright, Simon D. Hammond (eds.).

by PMBS (Workshop) (5th : 2014 : New Orleans, La.) | Jarvis, Stephen A, 1970- [editor.] | Wright, Steven A. (Research fellow) [editor.] | Hammond, Simon (Simon David) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8966.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: PMBS 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Cellular automata and discrete complex systems : 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised selected papers / edited by Teijiro Isokawa, Katsunobu Imai, Nobuyuki Matsui, Ferdinand Peper, Hiroshi Umeo.

by International Workshop on Cellular Automata and Discrete Complex Systems (20th : 2014 : Himeji, Japan) | Isokawa, Teijiro [editor.] | Imai, Katsunobu [editor.] | Matsui, Nobuyuki [editor.] | Peper, Ferdinand, 1961- [editor.] | Umeo, Hiroshi [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8996.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : : Springer, 2015Other title: AUTOMATA 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Learning and intelligent optimization : 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised selected papers / Clarisse Dhaenens, Laetitia Jourdan, Marie-Eléonore Marmion (eds.).

by LION (Conference) (9th : 2015 : Lille, France) | Dhaenens, Clarisse [editor.] | Jourdan, Laetitia, 1976- [editor.] | Marmion, Marie-Eléonore [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8994. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: LION 9.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Functional imaging and modeling of the heart : 8th International Conference, FIMH 2015, Maastricht, the Netherlands, June 25-27, 2015. Proceedings / Hans van Assen, Peter Bovendeerd, Tammo Delhaas (eds.).

by FIMH (Conference) (8th : 2015 : Maastricht, Netherlands) | Assen, Hans van [editor.] | Bovendeerd, Peter [editor.] | Delhaas, Tammo [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9126. | LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: FIMH 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Behavior modeling -- foundations and applications : International Workshops, BM-FA 2009-2014, Revised selected papers / Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth (eds.).

by Roubtsova, Ella [editor.] | McNeile, Ashley [editor.] | Kindler, Ekkart [editor.] | Gerth, Christian [editor.] | International Workshop on Behaviour Modelling in Model-Driven Architecture (1st : 2009 : Enschede, Netherlands) | International Workshop on Behaviour Modelling: Foundation and Applications (2nd : 2010 : Paris, France) | Workshop on Behaviour Modelling: Foundation and Applications (3rd : 2011 : Birmingham, England) | Workshop on Behaviour Modelling: Foundation and Applications (4th : 2012 : Danmarks tekniske højskole) | Workshop on Behaviour Modelling: Foundations and Applications (5th : 2013 : Montpellier, France) | Workshop on Behaviour Modelling: Foundations and Applications (6th : 2014 : York, England).

Series: Serienbezeichnung | Lecture notes in computer science ; 6368. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: BM-FA 2009-2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Parallel computing technologies : 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings / edited by Victor Malyshkin.

by International Conference on Parallel Computing Technologies (13th : 2015 : Petrozavodsk, Russia) | Malyshkin, V. Ė. (Viktor Ėmmanuilovich) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9251. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: PaCT 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Modelling and simulation for autonomous systems : second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, revised selected papers / Jan Hodicky (ed.).

by MESAS (Workshop) (2nd : 2015 : Prague, Czech Republic) | Hodicky, Jan [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9055. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: MESAS 2015.Online access: Click here to access online | Click here to access online Availability: Items available for loan: e-Library (1).
Latent variable analysis and signal separation : 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings / Emmanuel Vincent, Arie Yeredor, Zbyněk Koldovský, Petr Tichavský (eds.).

by International Conference on Latent Variable Analysis and Signal Separation (12th : 2015 : Liberec, Czech Republic) | Vincent, Emmanuel [editor.] | Yeredor, Arie [editor.] | Koldovský, Zbyněk [editor.] | Tichavský, Petr [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9237. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: LVA/ICA 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha