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

Your search returned 110 results.

	1.	High Performance Computing for Computational Science - VECPAR 2008 Электронный ресурс 8th International Conference, Toulouse, France, June 24-27, 2008. 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, José M. Laginha M. Palma, Patrick R. Amestoy, Michel Daydé, Marta Mattoso, João Correia Lopes. by Amestoy, Patrick R \| Daydé, Michel \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Lopes, João Correia \| Mattern, Friedemann \| Mattoso, Marta \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Palma, José M. Laginha M \| Pandu Rangan, C \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Tygar, Doug \| Vardi, Moshe Y \| Weikum, Gerhard \| Hutchison, David \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin [a. o.] Springer 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Coordination of Large-Scale Multiagent Systems Электронный ресурс edited by Paul Scerri, Régis Vincent, Roger Mailler. by Scerri, Paul \| Mailler, Roger \| Vincent, Régis \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	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)
	4.	Computational Science and Its Applications - ICCSA 2005 (vol. # 3480) Электронный ресурс International Conference, Singapore, May 9-12, 2005, Proceedings, Part I edited by Marina L. Gavrilova, Osvaldo Gervasi, Vipin Kumar, Antonio Laganà by Gavrilova, Marina L \| Gervasi, Osvaldo \| Kumar, Vipin \| Laganà, Antonio \| Lee, Heow Pueh \| Mun, Youngsong \| Tan, Chih Jeng Kenneth \| Taniar, David \| 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)
	5.	Computational Science and Its Applications - ICCSA 2005 Part II Электронный ресурс International Conference, Singapore, May 9-12, 2005, Proceedings, Part II edited by Marina L. Gavrilova, Osvaldo Gervasi, Vipin Kumar, Antonio Laganà, et a by Gavrilova, Marina L \| Gervasi, Osvaldo \| Kumar, Vipin \| Laganà, Antonio \| Lee, Heow Pueh \| Mun, Youngsong \| Tan, Chih Jeng Kenneth \| Taniar, David \| 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)
	6.	Computational Science and Its Applications - ICCSA 2005 (vol. # 3482) Электронный ресурс International Conference, Singapore, May 9-12. 2005, Proceedings, Part III edited by Marina L. Gavrilova, Osvaldo Gervasi, Vipin Kumar, Antonio Laganà by Gavrilova, Marina L \| Gervasi, Osvaldo \| Kumar, Vipin \| Laganà, Antonio \| Lee, Heow Pueh \| Mun, Youngsong \| Tan, Chih Jeng Kenneth \| Taniar, David \| 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)
	7.	Computational Science -- ICCS 2005 (vol. # 3516) Электронный ресурс 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III edited by Jack Dongarra, Peter M.A. Sloot, V.S. Sunderam, G. Dick van Albada. by Dongarra, Jack \| Sloot, Peter M. A \| Sunderam, V. S \| Van Albada, G. Dick \| 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)
	8.	Computational Science and Its Applications - ICCSA 2006 (vol. # 3981) Электронный ресурс International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part II edited by Marina Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan by Gavrilova, Marina \| Choo, Hyunseung \| Gervasi, Osvaldo \| Kumar, Vipin \| Laganà, Antonio \| Mun, Youngsong \| Tan, Chih Jeng Kenneth \| Taniar, David \| 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)
	9.	Computational Science and Its Applications - ICCSA 2006 (vol. # 3983) Электронный ресурс International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV edited by Marina Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan by Gavrilova, Marina \| Choo, Hyunseung \| Gervasi, Osvaldo \| Kumar, Vipin \| Laganà, Antonio \| Mun, Youngsong \| Tan, Chih Jeng Kenneth \| Taniar, David \| 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)
	10.	Automata, Languages and Programming (vol. # 4051) Электронный ресурс 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I edited by Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegene by Bugliesi, Michele \| Preneel, Bart \| Sassone, Vladimiro \| Wegener, Ingo \| 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)
	11.	Automata, Languages and Programming (vol. # 4052) Электронный ресурс 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II edited by Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegen by Bugliesi, Michele \| Preneel, Bart \| Sassone, Vladimiro \| Wegener, Ingo \| 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)
	12.	SOFSEM 2007: Theory and Practice of Computer Science Электронный ресурс 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings. by Leeuwen, Jan \| Hoek, Wiebe \| Italiano, Giuseppe F \| Meinel, Christoph \| Plášil, František \| Sack, Harald \| 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)
	13.	Computational Science - ICCS 2008 Электронный ресурс 8th International Conference, KrakГіw, Poland, June 23-25, 2008, Proceedings, Part I / edited by Marian Bubak, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot. by Bubak, Marian \| Albada, Geert Dick van \| Dongarra, Jack \| Sloot, Peter M. A \| 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.	Computational Science - ICCS 2007 Электронный ресурс 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV / 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 : Log in to add tags Add to cart (remove)
	15.	Computational Science and Its Applications - ICCSA 2008 Электронный ресурс International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I / edited by Osvaldo Gervasi, Beniamino Murgante, Antonio Laganà, David Taniar, Youngsong Mun, Benjamino Murgante, David Taniar. by Gervasi, Osvaldo \| Gavrilova, Marina L \| Laganà, Antonio \| Mun, Youngsong \| Murgante, Beniamino \| Taniar, David \| 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)
	16.	Computational Science - ICCS 2007 Электронный ресурс 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II / 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 : Log in to add tags Add to cart (remove)
	17.	Advances in Metaheuristics for Hard Optimization Электронный ресурс edited by Patrick Siarry, Zbigniew Michalewicz. by Siarry, Patrick \| Michalewicz, Zbigniew \| SpringerLink (Online service). Series: Natural Computing SeriesSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	18.	Multiobjective Problem Solving from Nature Электронный ресурс From Concepts to Applications / edited by Joshua Knowles, David Corne, Kalyanmoy Deb, Deva Raj Chair. by Knowles, Joshua \| Chair, Deva Raj \| Corne, David \| Deb, Kalyanmoy \| SpringerLink (Online service). Series: Natural Computing SeriesSource: Springer e-booksMaterial 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.	Decision Procedures Электронный ресурс An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman. by Kroening, Daniel \| Strichman, Ofer \| SpringerLink (Online service). Series: Texts in Theoretical Computer Science, An Eatcs SeriesSource: 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.	Engineering Theories of Software Intensive Systems Электронный ресурс Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004 / edited by Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare. by Broy, Manfred \| Grünbauer, Johannes \| Harel, David \| Hoare, Tony \| SpringerLink (Online service). Series: NATO Science Series, Series II: Mathematics, Physics and ChemistrySource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer, 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	21.	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)
	22.	Euro-Par 2005 Parallel Processing Электронный ресурс 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings edited by José C. Cunha, Pedro D. Medeiros by Cunha, José C \| Medeiros, Pedro D \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin [a. o.] Springer-Verlag 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	23.	SOFSEM 2005: Theory and Practice of Computer Science Электронный ресурс 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján Slovakia, January 22-28, 2005, Proceedings edited by Mária Bieliková by Bieliková, Mária \| Charon-Bost \| Sýkora, Ondrej \| Vojtáš, Peter \| 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.	Transactions on Computational Science II Электронный ресурс 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, Marina L. Gavrilova, C. J. Kenneth Tan, Yingxu Wang, Yiyu Yao, Guoyin Wang. by Hutchison, David \| Gavrilova, Marina L \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Steffen, Bernhard \| Sudan, Madhu \| Tan, Chih Jeng Kenneth \| Terzopoulos, Demetri \| Tygar, Doug \| Vardi, Moshe Y \| Wang, Guoyin \| Wang, Yingxu \| Weikum, Gerhard \| Yao, Yiyu \| 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)
	25.	Automata, Languages and Programming (vol. # 3580) Электронный ресурс 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings edited by Luis Caires, Giuseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi by Caires, Luís \| Italiano, Giuseppe F \| Monteiro, Luis \| Palamidessi, Catuscia \| Yung, Moti \| 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.	Petri Net Synthesis electronic resource by Eric Badouel, Luca Bernardinello, Philippe Darondeau. by Badouel, Eric [author.] \| Bernardinello, Luca [author.] \| Darondeau, Philippe [author.] \| SpringerLink (Online service). Series: Texts in Theoretical Computer Science. An EATCS SeriesEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	27.	Graph and Model Transformation electronic resource General Framework and Applications / by Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann. by Ehrig, Hartmut [author.] \| Ermel, Claudia [author.] \| Golas, Ulrike [author.] \| Hermann, Frank [author.] \| SpringerLink (Online service). Series: Monographs in Theoretical Computer Science. An EATCS SeriesEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	28.	Memristor Networks electronic resource edited by Andrew Adamatzky, Leon Chua. by Adamatzky, Andrew [editor.] \| Chua, Leon [editor.] \| SpringerLink (Online service). Source: 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.	High Performance Computing for Computational Science -- VECPAR 2014 electronic resource 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers / edited by Michel Daydé, Osni Marques, Kengo Nakajima. by Daydé, Michel [editor.] \| Marques, Osni [editor.] \| Nakajima, Kengo [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 : Log in to add tags Add to cart (remove)
	30.	Concurrent Programming: Algorithms, Principles, and Foundations [electronic resource] : Algorithms, Principles, and Foundations / by Michel Raynal. by Raynal, Michel [author.] \| SpringerLink (Online service). Source: 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)
	31.	Signal Processing and Information Technology electronic resource Second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012, Revised Selected Papers / edited by Vinu V. Das, Passent Elkafrawy. by Das, Vinu V [editor.] \| Elkafrawy, Passent [editor.] \| SpringerLink (Online service). Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications EngineeringSource: 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)
	32.	Science Gateways for Distributed Computing Infrastructures electronic resource Development Framework and Exploitation by Scientific User Communities / edited by Péter Kacsuk. by Kacsuk, Péter [editor.] \| SpringerLink (Online service). Source: 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)
	33.	Computational Science -- ICCS 2005 (vol. # 3515) Электронный ресурс 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part II edited by G. Dick van Albada, Jack Dongarra, Peter M.A. Sloot, V.S. Sunderam. by Albada, Geert Dick van \| Dongarra, Jack \| Sloot, Peter M. A \| Sunderam, V. S \| 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)
	34.	Theoretical and Experimental DNA Computation Электронный ресурс by Martyn Amos. by Amos, Martyn \| SpringerLink (Online service). Series: Natural Computing SeriesSource: 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)
	35.	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 : Log in to add tags Add to cart (remove)
	36.	High Performance Computing for Computational Science - VECPAR 2006 Электронный ресурс 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers edited by Michel Daydé, José M. L. M. Palma, Álvaro L. G. A. Coutinho, Esther Pacitti, João Correia Lopes by Coutinho, Álvaro L. G. A \| Lopes, João Correia \| Pacitti, Esther \| Palma, José M. L. M \| Daydé, Michel \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin [a. o.] Springer-Verlag 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	37.	SOFSEM 2008: Theory and Practice of Computer Science Электронный ресурс 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings / edited by Viliam Geffert, Juhani Karhumäki, Alberto Bertoni, Bart Preneel, Pavol Návrat, Mária Bieliková by Geffert, Viliam \| Bertoni, Alberto \| Bieliková, Mária \| Karhumäki, Juhani \| Návrat, Pavol \| Preneel, Bart \| 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)
	38.	Principles of the Spin Model Checker Электронный ресурс by Mordechai Ben-Ari. by Ben-Ari, Mordechai \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: London : Springer-Verlag London Limited, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	39.	Theoretical Aspects of Computing - ICTAC 2008 Электронный ресурс 5th International Colloquium, Istanbul, Turkey, September 1-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, John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun. by Hutchison, David \| Fitzgerald, John S \| Haxthausen, Anne E \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| 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 \| Yenigün, Hüsnü \| 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)
	40.	Euro-Par 2008 - Parallel Processing Электронный ресурс 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 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, Emilio Luque, Tomàs Margalef, Domingo Benítez by Hutchison, David \| Benítez, Domingo \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Luque, Emilio \| Margalef, Tomàs \| 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 \| 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)
	41.	Euro-Par 2007 Parallel Processing Электронный ресурс 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings / edited by Anne-Marie Kermarrec, Luc Bougé, Thierry Priol. by Kermarrec, Anne-Marie \| Bougé, Luc \| Priol, Thierry \| 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)
	42.	Petri Nets and Other Models of Concurrency - ICATPN 2006 Электронный ресурс 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings edited by S by Donatelli, Susanna \| Thiagarajan, P. S \| 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)
	43.	Computer and Information Sciences - ISCIS 2005 Электронный ресурс 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings edited by Tunga Güngör, Fikret Gürgen, Can Özturan, Pinar Yolum. by Güngör, Tunga \| Yolum, Pinar \| Gürgen, Fikret \| Özturan, Can \| 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)
	44.	A Computer Scientist's Guide to Cell Biology Электронный ресурс A Travelogue from a Stranger in a Strange Land edited by William W. Cohen. by Cohen, William W \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Norwell : Springer Science+Business Media, LLC, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	45.	CryptoSchool electronic resource by Joachim von zur Gathen. by von zur Gathen, Joachim [author.] \| SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	46.	Behavior Modeling -- Foundations and Applications electronic resource International Workshops, BM-FA 2009-2014, Revised Selected Papers / edited by Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth. by Roubtsova, Ella [editor.] \| McNeile, Ashley [editor.] \| Kindler, Ekkart [editor.] \| Gerth, 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: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	47.	Combinatorics on Words electronic resource 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings / edited by Florin Manea, Dirk Nowotka. by Manea, Florin [editor.] \| Nowotka, Dirk [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 : Log in to add tags Add to cart (remove)
	48.	Combinatorial Search: From Algorithms to Systems electronic resource by Youssef Hamadi. by Hamadi, Youssef [author.] \| SpringerLink (Online service). Source: 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)
	49.	Transactions on Computational Science XXII electronic resource edited by Marina L. Gavrilova, C. J. Kenneth Tan. by Gavrilova, Marina L [editor.] \| Tan, C. J. Kenneth [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)
	50.	Model-Driven Software Migration: A Methodology electronic resource Reengineering, Recovery and Modernization of Legacy Systems / by Christian Wagner. by Wagner, Christian [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)

1
2
3
Next
Last

Scientific Library of Tomsk State University

E-catalog

Refine your search

Availability

Bibliographic level

Authors

Topics

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

Your search returned 110 results.