|
|
151.
|
Hybrid Systems: Computation and Control Электронный ресурс 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings / edited by Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo. by Bemporad, Alberto | Bicchi, Antonio | Buttazzo, Giorgio | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type:  Computer file; Format:
electronic
available online
 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
|
152.
|
Simulated Evolution and Learning Электронный ресурс 6th International Conference, SEAL 2006, Hefei, China, October 15-18, 2006, Proceedings edited by Tzai-Der Wang, Xiaodong Li, Shu-Heng Chen, Xufa Wang. by Wang, Tzai-Der | Chen, Shu-Heng | Li, Xiaodong | Wang, Xufa | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
|
153.
|
Discrete Geometry for Computer Imagery (vol. # 4245) Электронный ресурс 13th International Conference, DGCI 2006, Szeged, Hungary, October 25-27, 2006, Proceedings edited by Attila Kuba, László G. Nyúl, Kálmán Palágyi by Kuba, Attila | Nyúl, László G | Palágyi, Kálmán | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
|
154.
|
Modeling Decisions for Artificial Intelligence Электронный ресурс 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Yuji Yoshida. by Torra, Vicenç | Narukawa, Yasuo | Yoshida, Yuji | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
|
155.
|
Computational Science and High Performance Computing III Электронный ресурс The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, July 23 - 27, 2007 / edited by E. H. Hirschel, W. Schröder, K. Fujii, W. Haase, B. Leer, M. A. Leschziner, M. Pandolfi, J. Periaux, A. Rizzi, B. Roux, Yu. Shokin, Egon Krause, Yurii I. Shokin, Michael Resch, Nina Shokina. by Hirschel, E. H | Fujii, K | Haase, W | Krause, Egon | Leer, B | Leschziner, M. A | Pandolfi, M | Periaux, J | Resch, Michael | Rizzi, A | Roux, B | Schröder, W | Shokin, Yurii I | Shokina, Nina | SpringerLink (Online service). Series: Notes on Numerical Fluid Mechanics and Multidisciplinary DesignSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
156.
|
Computer Aided Systems Theory - EUROCAST 2007 Электронный ресурс 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers / ed. by Roberto Moreno Díaz by Moreno Díaz, Roberto | Pichler, Franz | Quesada Arencibia, Alexis | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
|
157.
|
Computational Science - ICCS 2007 Электронный ресурс 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III / edited by Yong Shi, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot. by Shi, Yong | Albada, Geert Dick van | Dongarra, Jack | Sloot, Peter M. A | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
|
158.
|
Bee-Inspired Protocol Engineering Электронный ресурс From Nature to Networks / by Muddassar Farooq ; edited by G. Rozenberg, Th. Bäck, A. E. Eiben, J. N. Kok, H. P. Spaink. by Farooq, Muddassar | Bäck, Th | Eiben, A. E | Kok, J. N | Rozenberg, G | Spaink, H. P | SpringerLink (Online service). Series: Natural Computing SeriesSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :
|
|
|
159.
|
|
|
|
160.
|
|
|
|
161.
|
Advances in Computation and Intelligence Электронный ресурс Second International Symposium, ISICA 2007 Wuhan, China, September 21-23, 2007 Proceedings / edited by Lishan Kang, Yong Liu, Sanyou Zeng. by Kang, Lishan | Liu, Yong | Zeng, Sanyou | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
|
162.
|
Advances in Geometric Modeling and Processing Электронный ресурс 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008. Proceedings / edited by Falai Chen, Bert Jüttler. by Chen, Falai | Jüttler, Bert | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
163.
|
Languages, Methodologies and Development Tools for Multi-Agent Systems Электронный ресурс First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers / edited by Jaime G. Carbonell, Jörg Siekmann, Mehdi Dastani, Amal Fallah Seghrouchni, João Leite, Paolo Torroni. by Carbonell, Jaime G | Dastani, Mehdi | Fallah Seghrouchni, Amal | Leite, João | Siekmann, Jörg | Torroni, Paolo | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
164.
|
Engineering Societies in the Agents World VIII Электронный ресурс 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers / edited by Jaime G. Carbonell, Jörg Siekmann, Alexander Artikis, Gregory M. P. O’Hare, Kostas Stathis, George Vouros. by Carbonell, Jaime G | Artikis, Alexander | O’Hare, Gregory M. P | Siekmann, Jörg | Stathis, Kostas | Vouros, George | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
165.
|
Bio-Inspired Computing and Communication Электронный ресурс First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 Revised Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Pietro Liò, Eiko Yoneki, Jon Crowcroft, Dinesh C. Verma. by Hutchison, David | Crowcroft, Jon | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Liò, Pietro | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Verma, Dinesh C | Weikum, Gerhard | Yoneki, Eiko | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
166.
|
Model Driven Engineering Languages and Systems Электронный ресурс 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter by Hutchison, David | Bruel, Jean-Michel | Czarnecki, Krzysztof | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Ober, Ileana | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Uhl, Axel | Vardi, Moshe Y | Völter, Markus | Weikum, Gerhard | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
167.
|
Advances in Computation and Intelligence Электронный ресурс Third International Symposium, ISICA 2008 Wuhan, China, December 19-21, 2008 Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Lishan Kang, Zhihua Cai, Xuesong Yan, Yong Liu. by Hutchison, David | Cai, Zhihua | Kanade, Takeo | Kang, Lishan | Kittler, Josef | Kleinberg, Jon M | Liu, Yong | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | Yan, Xuesong | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
168.
|
|
|
|
169.
|
Leveraging Applications of Formal Methods, Verification and Validation Электронный ресурс Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana | Steffen, Bernhard | SpringerLink (Online service). Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :
|
|
|
170.
|
|
|
|
171.
|
|
|
|
172.
|
|
|
|
173.
|
|
|
|
174.
|
|
|
|
175.
|
|
|
|
176.
|
Computational Science and High Performance Computing Электронный ресурс Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003 / edited by Egon Krause, Yurii I. Shokin, Michael Resch, Nina Shokina. by Krause, Egon | Resch, Michael | Shokin, Yurii I | Shokina, Nina | SpringerLink (Online service). Series: Notes on Numerical Fluid Mechanics and Multidisciplinary Design (NNFM)Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available :
|
|
|
177.
|
|
|
|
178.
|
Model Driven Engineering Languages and Systems (vol. # 3713) Электронный ресурс 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings edited by Lionel Briand, Clay Williams. by Briand, Lionel | Williams, Clay | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
|
179.
|
|
|
|
180.
|
|
|
|
181.
|
|
|
|
182.
|
Model Driven Engineering Languages and Systems Электронный ресурс 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings / edited by Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil. by Engels, Gregor | Opdyke, Bill | Schmidt, Douglas C | Weil, Frank | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
|
183.
|
Advances in Artificial Intelligence - IBERAMIA 2008 Электронный ресурс 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings / edited by Jaime G. Carbonell, Jörg Siekmann, Hector Geffner, Rui Prada, Isabel Machado Alexandre, Nuno David. by Carbonell, Jaime G | David, Nuno | Geffner, Hector | Machado Alexandre, Isabel | Prada, Rui | Siekmann, Jörg | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
184.
|
|
|
|
185.
|
|
|
|
186.
|
Modeling Decisions for Artificial Intelligence Электронный ресурс 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings / edited by Jaime G. Carbonell, Jörg Siekmann, Vicenç Torra, Yasuo Narukawa. by Carbonell, Jaime G | Narukawa, Yasuo | Siekmann, Jörg | Torra, Vicenç | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
187.
|
Computer Vision and Computer Graphics. Theory and Applications Электронный ресурс International Conference VISIGRAPH 2007, Barcelona, Spain, March 8-11, 2007. Revised Selected Papers / edited by José Braz, Alpesh Ranchordas, Helder Araújo, João Madeiras Pereira. by Braz, José | Pereira, João Madeiras | Ranchordas, Alpesh | Araújo, Helder | SpringerLink (Online service). Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :
|
|
|
188.
|
|
|
|
189.
|
|
|
|
190.
|
|
|
|
191.
|
New Algorithms for Macromolecular Simulation Электронный ресурс edited by Benedict Leimkuhler, Christophe Chipot, Ron Elber, Aatto Laaksonen, Alan Mark, Tamar Schlick, Christoph Schütte, Robert Skeel. by Leimkuhler, Benedict | Chipot, Christophe | Elber, Ron | Laaksonen, Aatto | Mark, Alan | Schlick, Tamar | Schütte, Christoph | Skeel, Robert | SpringerLink (Online service). Series: Lecture Notes in Computational Science and EngineeringSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
|
|
|
192.
|
|
|
|
193.
|
Solving Software Challenges for Exascale electronic resource International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers / edited by Stefano Markidis, Erwin Laure. by Markidis, Stefano [editor.] | Laure, Erwin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type:  Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
|
194.
|
|
|
|
195.
|
Environmental Software Systems. Infrastructures, Services and Applications electronic resource 11th IFIP WG 5.11 International Symposium, ISESS 2015, Melbourne, VIC, Australia, March 25-27, 2015. Proceedings / edited by Ralf Denzer, Robert M. Argent, Gerald Schimak, Jiří Hřebíček. by Denzer, Ralf [editor.] | Argent, Robert M [editor.] | Schimak, Gerald [editor.] | Hřebíček, Jiří [editor.] | SpringerLink (Online service). Series: IFIP Advances in Information and Communication TechnologySource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
|
196.
|
|
|
|
197.
|
|
|
|
198.
|
Cellular Automata and Discrete Complex Systems electronic resource 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 Isokawa, Teijiro [editor.] | Imai, Katsunobu [editor.] | Matsui, Nobuyuki [editor.] | Peper, Ferdinand [editor.] | Umeo, Hiroshi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
|
199.
|
Latent Variable Analysis and Signal Separation electronic resource 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings / edited by Emmanuel Vincent, Arie Yeredor, Zbyněk Koldovský, Petr Tichavský. by Vincent, Emmanuel [editor.] | Yeredor, Arie [editor.] | Koldovský, Zbyněk [editor.] | Tichavský, Petr [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
|
200.
|
Curves and Surfaces electronic resource 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers / edited by Jean-Daniel Boissonnat, Albert Cohen, Olivier Gibaru, Christian Gout, Tom Lyche, Marie-Laurence Mazure, Larry L. Schumaker. by Boissonnat, Jean-Daniel [editor.] | Cohen, Albert [editor.] | Gibaru, Olivier [editor.] | Gout, Christian [editor.] | Lyche, Tom [editor.] | Mazure, Marie-Laurence [editor.] | Schumaker, Larry L [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
