Научная библиотека ТГУ catalog › Results of search for 'an:566285'

Your search returned 1290 results.

	301.	Personal Wireless Communications Электронный ресурс IFIP TC6 11th International Conference, PWC 2006, Albacete, Spain, September 20-22, 2006, Proceedings edited by Pedro Cuenca, Luis Orozco-Barbosa. by Cuenca, Pedro \| Orozco-Barbosa, Luis \| 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)
	302.	Fundamentals of Algebraic Graph Transformation Электронный ресурс by Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer. by Ehrig, Hartmut \| Ehrig, Karsten \| Prange, Ulrike \| Taentzer, Gabriele \| SpringerLink (Online service). Series: Monographs 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)
	303.	Embedded Software and Systems (vol. # 3820) Электронный ресурс Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings edited by Man LinZhaohui Wu, Laurence T. Yang, Wei Zhao et al. by Lin, Man \| Wu, Zhaohui \| Yang, Laurence T \| Zhao, Wei \| Zhou, Xingshe \| Zhu, Yian \| 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)
	304.	Recent Trends in Algebraic Development Techniques Электронный ресурс 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers edited by José Luiz Fiadeiro, Peter Mosses, Fernando Orejas. by Fiadeiro, José Luiz \| Mosses, Peter \| Orejas, Fernando \| 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)
	305.	Intelligent Agents and Multi-Agent Systems Электронный ресурс 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers edited by Michael Wayne Barley, Nik Kasab by Barley, Michael Wayne \| Kasabov, Nik \| 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)
	306.	Foundations of Software Science and Computational Structures (vol. # 3441) Электронный ресурс 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 edite by Sassone, Vladimiro \| 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)
	307.	Engineering Societies in the Agents World V Электронный ресурс 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers edited by Marie-Pierre Gleizes, Andrea Omicini, Franco Zambo by Gleizes, Marie-Pierre \| Omicini, Andrea \| Zambonelli, Franco \| 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)
	308.	Mechanizing Mathematical Reasoning Электронный ресурс Essays in Honor of JГ¶rg H. Siekmann on the Occasion of His 60th Birthday edited by Dieter Hutter, Werner Stephan. by Hutter, Dieter \| Stephan, Werner \| 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)
	309.	Component-Based Software Engineering (vol. # 3489) Электронный ресурс 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 edited by Ivica Crnkovic, George T. Heineman, Heinz W. Schmidt, Judith A. Stafford et al. by Crnkovic, Ivica \| Heineman, George T \| Schmidt, Heinz W \| Stafford, Judith A \| Szyperski, Clemens \| Wallnau, Kurt \| 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)
	310.	ZB 2005: Formal Specification and Development in Z and B Электронный ресурс 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings edited by Martin Henson, Steve King, Steve Schneider, Helen Treharne by Henson, Martin \| King, Steve \| Schneider, Steve \| Treharne, Helen \| 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)
	311.	UML Modeling Languages and Applications Электронный ресурс <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers edited by Nuno Jardim Nunes, Alberto Rodrigues da Silva, Bran Selic, Ambrosio Tov by Jardim Nunes, Nuno \| Rodrigues da Silva, Alberto \| Selic, Bran \| Toval Alvarez, Ambrosio \| 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)
	312.	Web Engineering Электронный ресурс edited by Emilia Mendes, Nile Mosley. by Mendes, Emilia \| Mosley, Nile \| 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)
	313.	Dependable Computing - EDCC 2005 Электронный ресурс 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings edited by Mario Dal Cin, Mohamed Kaâniche, András Pataricza. by Dal Cin, Mario \| Kaâniche, Mohamed \| Pataricza, Andrá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)
	314.	Defence Applications of Multi-Agent Systems Электронный ресурс International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers edited by Simon G. Thompson, Robert Ghanea-Hercock. by Thompson, Simon G \| Ghanea-Hercock, Robert \| 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)
	315.	Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) Электронный ресурс 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings edited by Roberto Gorrieri, Heike Wehrheim. by Gorrieri, Roberto \| Wehrheim, Heike \| 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)
	316.	Testing of Communicating Systems (vol. # 3964) Электронный ресурс 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings edited by M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko. by Uyar, M. Ümit \| Duale, Ali Y \| Fecko, Mariusz 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 GmbH., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	317.	Verification, Model Checking, and Abstract Interpretation Электронный ресурс 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings / edited by Byron Cook, Andreas Podelski. by Cook, Byron \| Podelski, Andreas \| 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)
	318.	RoboCup 2005: Robot Soccer World Cup IX Электронный ресурс edited by Ansgar Bredenfeld, Adam Jacoff, Itsuki Noda, Yasutake Takahashi. by Bredenfeld, Ansgar \| Jacoff, Adam \| Noda, Itsuki \| Takahashi, Yasutake \| 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)
	319.	Formal Methods for Open Object-Based Distributed Systems Электронный ресурс 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / edited by Gilles Barthe, Frank S. Boer. by Barthe, Gilles \| Boer, Frank S \| 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)
	320.	Engineering Societies in the Agents World VI Электронный ресурс 6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers edited by Oğuz Dikenelli, Marie-Pierre Gleizes, Alessandro by Dikenelli, Oğuz \| Gleizes, Marie-Pierre \| Ricci, Alessandro \| 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)
	321.	Innovative Concepts for Autonomic and Agent-Based Systems Электронный ресурс Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers edited by Michael G. HincheyPatric by Hinchey, Michael G \| Rago, Patricia \| Rash, James L \| Rouff, Christopher A \| Sterritt, Roy \| Truszkowski, Walt \| 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)
	322.	Multi-Agent Systems and Applications Электронный ресурс 9th ECCAI Advanced Course, ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001 Prague, Czech Republic, July 2-13, 2001 Selected Tutorial Papers / edited by Michael Luck, Vladimír Mařík, Olga Štěpánková, Robert Trappl. by Luck, Michael \| Mařík, Vladimír \| Trappl, Robert. Series: Lecture Notes in Computer ScienceMaterial 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)
	323.	Verification, Model Checking, and Abstract Interpretation Электронный ресурс Third International Workshop, VMCAI 2002 Venice, Italy, January 21вЂ“22, 2002 Revised Papers / edited by Agostino Cortesi. by Cortesi, Agostino. Series: Lecture Notes in Computer ScienceMaterial 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)
	324.	UbiComp 2006: Ubiquitous Computing Электронный ресурс 8th International Conference, UbiComp 2006, Orange County, CA, USA, September 17-21, 2006, Proceedings edited by Paul Dourish, Adrian Friday. by Dourish, Paul \| Friday, Adrian \| 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)
	325.	Information Networking Advances in Data Communications and Wireless Networks Электронный ресурс International Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers edited by Ilyoung Chong, Kenji Kawahara. by Chong, Ilyoung \| Kawahara, Kenji \| 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)
	326.	Modular Programming Languages Электронный ресурс 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings edited by David Lightfoot, Clemens Szyperski. by Lightfoot, David \| Szyperski, Clemens \| 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)
	327.	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 : Log in to add tags Add to cart (remove)
	328.	Resource Allocation in Wireless Networks Электронный ресурс Theory and Algorithms edited by Slawomir Stanczak, Marcin Wiczanowski, Holger Boche. by Stanczak, Slawomir \| Boche, Holger \| Wiczanowski, Marcin \| 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)
	329.	Leveraging Applications of Formal Methods Электронный ресурс First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers edited by Tiziana Maragria, Bernhard Steffen. by Maragria, Tiziana \| Steffen, Bernhard \| 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)
	330.	Theoretical Aspects of Computing - ICTAC 2006 Электронный ресурс Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings edited by Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone. by Barkaoui, Kamel \| Cavalcanti, Ana \| Cerone, Antonio \| 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)
	331.	Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops Электронный ресурс ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7 by Min, Geyong \| Di Martino, Beniamino \| Guo, Minyi \| Ruenger, Gudula \| Yang, Laurence T \| 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)
	332.	Autonomic and Trusted Computing Электронный ресурс 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings / edited by Chunming Rong, Martin Gilje Jaatun, Frode Eika Sandnes, Laurence T. Yang, Jianhua Ma. by Rong, Chunming \| Jaatun, Martin Gilje \| Ma, Jianhua \| Sandnes, Frode Eika \| Yang, Laurence 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)
	333.	Software Engineering for Multi-Agent Systems IV Электронный ресурс Research Issues and Practical Applications edited by Alessandro GarciaRicardo Choren, Carlos Lucena, Paolo Giorgini et al. by Garcia, Alessandro \| Choren, Ricardo \| Giorgini, Paolo \| Holvoet, Tom \| Lucena, Carlos \| Romanovsky, Alexander \| 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)
	334.	Service Availability Электронный ресурс 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings / edited by Takashi Nanya, Fumihiro Maruyama, András Pataricza, Miroslaw Malek. by Nanya, Takashi \| Malek, Miroslaw \| Maruyama, Fumihiro \| Pataricza, András \| 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)
	335.	Static Analysis Электронный ресурс 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings / edited by Hanne Riis Nielson, Gilberto Filé. by Nielson, Hanne Riis \| Filé, Gilberto \| 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)
	336.	Coordination Models and Languages Электронный ресурс 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings / edited by Doug Lea, Gianluigi Zavattaro. by Lea, Doug \| Zavattaro, Gianluigi \| 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)
	337.	Algebraic Informatics Электронный ресурс Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers / edited by Symeon Bozapalidis, George Rahonis. by Bozapalidis, Symeon \| Rahonis, 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, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	338.	Formal Methods and Software Engineering Электронный ресурс 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings. by Butler, Michael \| Hinchey, Michael G \| Larrondo-Petrie, María M \| 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)
	339.	Domain Modeling and the Duration Calculus Электронный ресурс International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures / edited by Chris W. George, Zhiming Liu, Jim Woodcock. by George, Chris W \| Liu, Zhiming \| Woodcock, Jim \| 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)
	340.	Service-Oriented Computing - ICSOC 2007 Электронный ресурс Fifth International Conference, Vienna, Austria, September 17-20, 2007. Proceedings / edited by Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan. by Krämer, Bernd J \| Lin, Kwei-Jay \| Narasimhan, Priya \| 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)
	341.	SDL 2007: Design for Dependable Systems Электронный ресурс 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings / edited by Emmanuel Gaudin, Elie Najm, Rick Reed. by Gaudin, Emmanuel \| Najm, Elie \| Reed, Rick \| 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)
	342.	New Frontiers in Applied Artificial Intelligence Электронный ресурс 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 WrocЕ‚aw, Poland, June 18-20, 2008 Proceedings / ed by Nguyen, Ngoc Thanh \| Ali, Moonis \| Borzemski, Leszek \| Grzech, Adam \| 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)
	343.	Program Analysis and Compilation, Theory and Practice Электронный ресурс Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / edited by Thomas Reps, Mooly Sagiv, Jörg Bauer. by Reps, Thomas \| Bauer, Jörg \| Sagiv, Mooly \| 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)
	344.	Static Analysis Электронный ресурс 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 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, María Alpuente, Germán Vidal. by Hutchison, David \| Alpuente, María \| 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 \| Vidal, Germán \| 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)
	345.	Tools and Algorithms for the Construction and Analysis of Systems Электронный ресурс 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal. by Grumberg, Orna \| Huth, Michael \| 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)
	346.	Verified Software: Theories, Tools, Experiments Электронный ресурс First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / edited by Bertrand Meyer, Jim Woodcock. by Meyer, Bertrand \| Woodcock, Jim \| 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)
	347.	The Disappearing Computer Электронный ресурс Interaction Design, System Infrastructures and Applications for Smart Environments / edited by Norbert Streitz, Achilles Kameas, Irene Mavrommati. by Streitz, Norbert \| Kameas, Achilles \| Mavrommati, Irene \| 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)
	348.	Recent Advances in Evolutionary Computation for Combinatorial Optimization Электронный ресурс edited by Janusz Kacprzyk, Carlos Cotta, Jano Hemert. by Kacprzyk, Janusz \| Cotta, Carlos \| Hemert, Jano \| SpringerLink (Online service). Series: Studies in Computational IntelligenceSource: 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)
	349.	Conceptual Modelling in Information Systems Engineering Электронный ресурс edited by John Krogstie, Andreas Lothe Opdahl, Sjaak Brinkkemper. by Krogstie, John \| Brinkkemper, Sjaak \| Opdahl, Andreas Lothe \| SpringerLink (Online service). Source: 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)
	350.	Managing Traffic Performance in Converged Networks Электронный ресурс 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedings / edited by Lorne Mason, Tadeusz Drwiega, James Yan. by Mason, Lorne \| Drwiega, Tadeusz \| Yan, James \| 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)

First
Previous
1
2
3
4
5
6
7
8
9
10
Next
Last

Scientific Library of Tomsk State University

E-catalog

Refine your search

Availability

Bibliographic level

Authors

Topics

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

Your search returned 1290 results.