Научная библиотека ТГУ catalog

Your search returned 271 results.

	1.	Formal Models of Communicating Systems Электронный ресурс Languages, Automata, and Monadic Second-Order Logic / by Benedikt Bollig. by Bollig, Benedikt \| SpringerLink (Online service). Source: 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 : Log in to add tags Add to cart (remove)
	2.	Implementation and Applications of Automata Электронный ресурс 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 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, Oscar H. Ibarra, Bala Ravikumar. by Hutchison, David \| Ibarra, Oscar H \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Ravikumar, Bala \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Tygar, Doug \| Vardi, Moshe Y \| 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 : Log in to add tags Add to cart (remove)
	3.	Algorithmic Learning Theory (vol. # 4264) Электронный ресурс 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings edited by José L. Balcázar, Philip M. Long, Frank Stephan. by Balcázar, José L \| Long, Philip M \| Stephan, 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 GmbH., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	DNA Computing (vol. # 4287) Электронный ресурс 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers edited by Chengde Mao, Takashi Yokomori. by Mao, Chengde \| Yokomori, Takashi \| 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 : Log in to add tags Add to cart (remove)
	5.	High Performance Computing - HiPC 2006 Электронный ресурс 13th International Conference Bangalore, India, December 18-21, 2006, Proceedings edited by Yves L. Robert, Manish Parashar, Ramamurthy Badrinath, Viktor K. Prasanna. by Robert, Yves L \| Badrinath, Ramamurthy \| Parashar, Manish \| Prasanna, Viktor K \| 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 : Log in to add tags Add to cart (remove)
	6.	Genetic Programming Электронный ресурс 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007. Proceedings / edited by Marc Ebner, Michael O’Neill, Anikó Ekárt, Leonardo Vanneschi, Anna Isabel Esparcia-Alcázar by Ebner, Marc \| Ekárt, Anikó \| Esparcia-Alcázar, Anna Isabel \| O’Neill, Michael \| Vanneschi, Leonardo \| 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 : Log in to add tags Add to cart (remove)
	7.	Unconventional Computing Электронный ресурс 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 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, Cristian S. Calude, José Félix Costa, Rudolf Freund, Marion Oswald, Grzegorz Rozenberg. by Hutchison, David \| Calude, Cristian S, 1952- \| Costa, José Félix \| Freund, Rudolf \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Oswald, Marion \| Pandu Rangan, C \| Rozenberg, Grzegorz \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Tygar, Doug \| Vardi, Moshe Y \| 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 : Log in to add tags Add to cart (remove)
	8.	Theory of Computation Электронный ресурс by Dexter C. Kozen. by Kozen, Dexter C \| SpringerLink (Online service). Series: Texts in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: London : Springer-Verlag London Limited, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	9.	Complexity Theory and Cryptology Электронный ресурс An Introduction to Cryptocomplexity / by Jörg Rothe. by Rothe, Jörg \| SpringerLink (Online service). Series: Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association for Theoretical Computer Science (EATCS)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 : Log in to add tags Add to cart (remove)
	10.	Advances in Natural Computation (vol. # 3611) Электронный ресурс First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II edited by Ke Chen, Yew Soon Ong, Lipo Wang. by Chen, Ke \| Ong, Yew Soon \| Wang, Lipo \| 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 : Log in to add tags Add to cart (remove)
	11.	Parameterized Complexity Theory Электронный ресурс by Jörg Flum, Martin Grohe. by Flum, Jörg \| Grohe, Martin \| SpringerLink (Online service). Series: Texts in Theoretical Computer Science. An EATCS SeriesSource: 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 : Log in to add tags Add to cart (remove)
	12.	Learning and Intelligent Optimization Электронный ресурс Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. 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, Vittorio Maniezzo, Roberto Battiti, Jean-Paul Watson. by Hutchison, David \| Battiti, Roberto \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Maniezzo, Vittorio \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Tygar, Doug \| Vardi, Moshe Y \| Watson, Jean-Paul \| 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 Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	13.	Cellular Automata Электронный ресурс 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 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, Hiroshi Umeo, Shin Morishita, Katsuhiro Nishinari, Toshihiko Komatsuzaki, Stefania Bandini. by Hutchison, David \| Bandini, Stefania \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Komatsuzaki, Toshihiko \| Mattern, Friedemann \| Mitchell, John C \| Morishita, Shin \| Naor, Moni \| Nierstrasz, Oscar \| Nishinari, Katsuhiro \| Pandu Rangan, C \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Tygar, Doug \| Umeo, Hiroshi \| Vardi, Moshe Y \| 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 : Log in to add tags Add to cart (remove)
	14.	Implementation and Application of Automata Электронный ресурс 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers / edited by Jan Holub, Jan ЕЅdГЎrek. by Holub, Jan \| 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 : Log in to add tags Add to cart (remove)
	15.	High Performance Computing вЂ“ HiPC 2007 Электронный ресурс 14th International Conference, Goa, India, December 18-21, 2007. Proceedings / edited by Srinivas Aluru, Manish Parashar, Ramamurthy Badrinath, Viktor K. Prasanna. by Aluru, Srinivas \| Badrinath, Ramamurthy \| Parashar, Manish \| Prasanna, Viktor K \| 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, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	16.	Parameterized and Exact Computation Электронный ресурс Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings / edited by Martin Grohe, Rolf Niedermeier. by Grohe, Martin \| Niedermeier, Rolf \| 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 : Log in to add tags Add to cart (remove)
	17.	Computational Intelligence and Security Электронный ресурс International Conference, CIS 2006, Guangzhou, China, November 3-6, 2006, Revised Selected Papers / edited by Yuping Wang, Yiu-ming Cheung, Hailin Liu. by Wang, Yuping \| Cheung, Yiu-ming \| Liu, Hailin \| 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 : Log in to add tags Add to cart (remove)
	18.	Parallel Problem Solving from Nature - PPSN X Электронный ресурс 10th International Conference Dortmund, Germany, September 13-17, 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, Günter Rudolph, Thomas Jansen, Simon Lucas, Carlo Poloni, Nicola Beume. by Hutchison, David \| Beume, Nicola \| Jansen, Thomas \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Lucas, Simon \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Poloni, Carlo \| Rudolph, Günter \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Tygar, Doug \| Vardi, Moshe Y \| 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 : Log in to add tags Add to cart (remove)
	19.	Ant Colony Optimization and Swarm Intelligence Электронный ресурс 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 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, Marco Dorigo, Mauro Birattari, Christian Blum, Maurice Clerc, Thomas Stützle, Alan F. T. Winfield. by Hutchison, David \| Birattari, Mauro \| Blum, Christian \| Clerc, Maurice \| Dorigo, Marco \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Steffen, Bernhard \| Stützle, Thomas \| Sudan, Madhu \| Terzopoulos, Demetri \| Tygar, Doug \| Vardi, Moshe Y \| Weikum, Gerhard \| Winfield, Alan F. T \| 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 : Log in to add tags Add to cart (remove)
	20.	Implementation and Application of Automata (vol. # 3845) Электронный ресурс 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers edited by Jacques Farré, Igor Litovsky, Sylvain Sch by Farré, Jacques \| Litovsky, Igor \| Schmitz, Sylvain \| 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 : Log in to add tags Add to cart (remove)
	21.	Algorithms and Complexity Электронный ресурс 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006, Proceedings edited by Tiziana Calamoneri, Irene Finocchi, Giuseppe F. Italiano. by Calamoneri, Tiziana \| Finocchi, Irene \| Italiano, Giuseppe F \| 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 : Log in to add tags Add to cart (remove)
	22.	Advances in Neural Networks - ISNN 2005 (vol. # 3497) Электронный ресурс Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part II edited by Xiaofeng Liao, Jun Wang, Zhang Yi. by Liao, Xiaofeng \| Wang, Jun \| Yi, Zhang \| 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 : Log in to add tags Add to cart (remove)
	23.	Distributed and Parallel Computing Электронный ресурс 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings edited by Andrzej Goscinski, Michael by Goscinski, Andrzej \| Hobbs, Michael \| Zhou, Wanlei \| 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 : Log in to add tags Add to cart (remove)
	24.	Implementation and Application of Automata (vol. # 4094) Электронный ресурс 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings edited by Oscar H. Ibarra, Hsu-Chun Yen. by Ibarra, Oscar H \| Yen, Hsu-Chun \| 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 : Log in to add tags Add to cart (remove)
	25.	Unconventional Computation (vol. # 3699) Электронный ресурс 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings edited by Cristian S. CaludeMichael J. Dinneen, Gheorghe Paun, Mario de Jesus Pérez-Jímenez et al by Calude, Cristian S, 1952- \| Dinneen, Michael J \| Paun, Gheorghe \| Pérez-Jímenez, Mario de Jesus \| Rozenberg, Grzegorz \| 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 : Log in to add tags Add to cart (remove)
	26.	Computational Intelligence and Security (vol. # 3802) Электронный ресурс International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part II edited by Yiu-ming CheungYue Hao, Licheng Jiao, Yong-Chang Jiao et al. by Cheung, Yiu-ming \| Hao, Yue \| Jiao, Licheng \| Jiao, Yong-Chang \| Liu, Jiming \| Ma, Jianfeng \| Wang, Yuping \| Yin, Hujun \| 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 : Log in to add tags Add to cart (remove)
	27.	Energy Minimization Methods in Computer Vision and Pattern Recognition Электронный ресурс 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005, Proceedings edited by Anand Rangarajan, Baba Vemuri, Alan L. by Rangarajan, Anand \| Vemuri, Baba \| Yuille, Alan L \| 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 : Log in to add tags Add to cart (remove)
	28.	Language and Automata Theory and Applications electronic resource 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe. by Dediu, Adrian-Horia [editor.] \| Martín-Vide, Carlos [editor.] \| Sierra-Rodríguez, José-Luis [editor.] \| Truthe, Bianca [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, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	29.	Intelligent Strategies for Pathway Mining electronic resource Model and Pattern Identification / edited by Qingfeng Chen, Baoshan Chen, Chengqi Zhang. by Chen, Qingfeng [editor.] \| Chen, Baoshan [editor.] \| Zhang, Chengqi [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, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	30.	Reversible Computation electronic resource 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings / edited by Shigeru Yamashita, Shin-ichi Minato. by Yamashita, Shigeru [editor.] \| Minato, Shin-ichi [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, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	31.	Algorithmic Learning Theory [electronic resource] : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings / edited by Sanjay Jain, Rémi Munos, Frank Stephan, Thomas Zeugmann. by Jain, Sanjay [editor.] \| Munos, Rémi [editor.] \| Stephan, Frank [editor.] \| Zeugmann, Thomas [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	32.	Automata, Languages, and Programming [electronic resource] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II / edited by Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, David Peleg. by Fomin, Fedor V [editor.] \| Freivalds, Rūsiņš [editor.] \| Kwiatkowska, Marta [editor.] \| Peleg, David [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	33.	Reversible Computation [electronic resource] : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings / edited by Gerhard W. Dueck, D. Michael Miller. by Dueck, Gerhard W [editor.] \| Miller, D. Michael [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	34.	Reversible Computation [electronic resource] : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers / edited by Robert Glück, Tetsuo Yokoyama. by Glück, Robert [editor.] \| Yokoyama, Tetsuo [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	35.	Developments in Language Theory [electronic resource] : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / edited by Marie-Pierre Béal, Olivier Carton. by Béal, Marie-Pierre [editor.] \| Carton, Olivier [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	36.	The Nature of Computation. Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe. by Bonizzoni, Paola [editor.] \| Brattka, Vasco [editor.] \| Löwe, Benedikt [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	37.	Implementation and Application of Automata [electronic resource] : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings / edited by Stavros Konstantinidis. by Konstantinidis, Stavros [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	38.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Martin Middendorf, Christian Blum. by Middendorf, Martin [editor.] \| Blum, Christian [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	39.	Advances in Neural Networks – ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I / edited by Chengan Guo, Zeng-Guang Hou, Zhigang Zeng. by Guo, Chengan [editor.] \| Hou, Zeng-Guang [editor.] \| Zeng, Zhigang [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	40.	Theory and Applications of Satisfiability Testing – SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / edited by Matti Järvisalo, Allen Van Gelder. by Järvisalo, Matti [editor.] \| Van Gelder, Allen [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	41.	Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers / edited by Kazuo Iwama, Yasuhito Kawano, Mio Murao. by Iwama, Kazuo [editor.] \| Kawano, Yasuhito [editor.] \| Murao, Mio [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	42.	Descriptional Complexity of Formal Systems [electronic resource] : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings / edited by Helmut Jurgensen, Rogério Reis. by Jurgensen, Helmut [editor.] \| Reis, Rogério [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	43.	DNA Computing and Molecular Programming [electronic resource] : 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings / edited by David Soloveichik, Bernard Yurke. by Soloveichik, David [editor.] \| Yurke, Bernard [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, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	44.	AI 2013: Advances in Artificial Intelligence [electronic resource] : 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings / edited by Stephen Cranefield, Abhaya Nayak. by Cranefield, Stephen [editor.] \| Nayak, Abhaya [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, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	45.	Membrane Computing electronic resource 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers / edited by Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Petr Sosík, Claudio Zandron. by Gheorghe, Marian [editor.] \| Rozenberg, Grzegorz [editor.] \| Salomaa, Arto [editor.] \| Sosík, Petr [editor.] \| Zandron, Claudio [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, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	46.	Foundational and Practical Aspects of Resource Analysis electronic resource Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers / edited by Ugo Dal Lago, Ricardo Peña. by Dal Lago, Ugo [editor.] \| Peña, Ricardo [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, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	47.	Learning and Intelligent Optimization electronic resource 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers / edited by Panos M. Pardalos, Mauricio G.C. Resende, Chrysafis Vogiatzis, Jose L. Walteros. by Pardalos, Panos M [editor.] \| Resende, Mauricio G.C [editor.] \| Vogiatzis, Chrysafis [editor.] \| Walteros, Jose L [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, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	48.	Implementation and Application of Automata electronic resource 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings / edited by Markus Holzer, Martin Kutrib. by Holzer, Markus [editor.] \| Kutrib, Martin [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, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	49.	Cellular Automata electronic resource 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014. Proceedings / edited by Jarosław Wąs, Georgios Ch. Sirakoulis, Stefania Bandini. by Wąs, Jarosław [editor.] \| Sirakoulis, Georgios Ch [editor.] \| Bandini, Stefania [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, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	50.	LATIN 2014: Theoretical Informatics electronic resource 11th Latin American Symposium, Montevideo, Uruguay, March 31–April 4, 2014. Proceedings / edited by Alberto Pardo, Alfredo Viola. by Pardo, Alberto [editor.] \| Viola, Alfredo [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)

1
2
3
4
5
6
Next
Last

Scientific Library of Tomsk State University

E-catalog

Refine your search

Availability

Bibliographic level

Authors

Topics

База знаний по целевым капиталам

Your search returned 271 results.