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

Your search returned 451 results.

	351.	Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday / edited by Bob Coecke, Luke Ong, Prakash Panangaden. by Coecke, Bob [editor.] \| Ong, Luke [editor.] \| Panangaden, Prakash [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)
	352.	Model-Based Methodologies for Pervasive and Embedded Software [electronic resource] : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers / edited by Ricardo J. Machado, Rita Suzana P. Maciel, Julia Rubin, Goetz Botterweck. by Machado, Ricardo J [editor.] \| Maciel, Rita Suzana P [editor.] \| Rubin, Julia [editor.] \| Botterweck, Goetz [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)
	353.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka. by Piterman, Nir [editor.] \| Smolka, Scott A [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)
	354.	System Analysis and Modeling: Theory and Practice [electronic resource] : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers / edited by Øystein Haugen, Rick Reed, Reinhard Gotzhein. by Haugen, Øystein [editor.] \| Reed, Rick [editor.] \| Gotzhein, Reinhard [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)
	355.	Modelling Foundations and Applications electronic resource 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings / edited by Gabriele Taentzer, Francis Bordeleau. by Taentzer, Gabriele [editor.] \| Bordeleau, Francis [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)
	356.	Software Engineering for Resilient Systems electronic resource 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / edited by Alessandro Fantechi, Patrizio Pelliccione. by Fantechi, Alessandro [editor.] \| Pelliccione, Patrizio [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)
	357.	Software Architecture electronic resource 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings / edited by Danny Weyns, Raffaela Mirandola, Ivica Crnkovic. by Weyns, Danny [editor.] \| Mirandola, Raffaela [editor.] \| Crnkovic, Ivica [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)
	358.	Automatic SIMD Vectorization of SSA-based Control Flow Graphs electronic resource by Ralf Karrenberg. by Karrenberg, Ralf [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, 2015Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	359.	Languages, Applications and Technologies electronic resource 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers / edited by José-Luis Sierra-Rodríguez, José-Paulo Leal, Alberto Simões. by Sierra-Rodríguez, José-Luis [editor.] \| Leal, José-Paulo [editor.] \| Simões, Alberto [editor.] \| SpringerLink (Online service). Series: Communications in Computer and Information 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)
	360.	Programming Languages and Systems electronic resource 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings / edited by Xinyu Feng, Sungwoo Park. by Feng, Xinyu [editor.] \| Park, Sungwoo [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)
	361.	Globalizing Domain-Specific Languages electronic resource International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe. by Combemale, Benoit [editor.] \| Cheng, Betty H.C [editor.] \| France, Robert B [editor.] \| Jézéquel, Jean-Marc [editor.] \| Rumpe, Bernhard [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)
	362.	Hardware and Software: Verification and Testing electronic resource 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / edited by Nir Piterman. by Piterman, Nir [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)
	363.	Verification, Model Checking, and Abstract Interpretation electronic resource 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings / edited by Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen. by D’Souza, Deepak [editor.] \| Lal, Akash [editor.] \| Larsen, Kim Guldstrand [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, 2015Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	364.	Trustworthy Global Computing Электронный ресурс Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers / edited by Ugo Montanari, Donald Sannella, Roberto Bruni. by Montanari, Ugo \| Bruni, Roberto \| Sannella, Donald \| 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)
	365.	Transactions on Aspect-Oriented Software Development III Электронный ресурс edited by Awais Rashid, Mehmet Aksit. by Rashid, Awais \| Aksit, Mehmet \| 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)
	366.	Formal Modeling and Analysis of Timed Systems Электронный ресурс 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-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, Franck Cassez, Claude Jard. by Hutchison, David \| Cassez, Franck \| Jard, Claude \| 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 \| 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)
	367.	Coordination, Organizations, Institutions, and Norms in Agent Systems II Электронный ресурс AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers by Noriega, Pablo \| Boella, Guido \| Boissier, Olivier \| Dignum, Virginia \| Fornara, Nicoletta \| Matson, Eric \| Vázquez-Salceda, Javier \| 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)
	368.	Fundamental Approaches to Software Engineering Электронный ресурс 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 by Fiadeiro, José Luiz \| Inverardi, Paola \| 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)
	369.	Formal Methods for Industrial Critical Systems Электронный ресурс 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers / edited by Stefan Leue, Pedro Merino. by Leue, Stefan \| Merino, Pedro \| 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)
	370.	Software-Intensive Systems and New Computing Paradigms Электронный ресурс Challenges and Visions / 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, Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer. by Hutchison, David \| Banâtre, Jean-Pierre \| Hölzl, Matthias \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Rauschmayer, Axel \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Tygar, Doug \| Vardi, Moshe Y \| Weikum, Gerhard \| Wirsing, Martin \| 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)
	371.	Software Engineering Электронный ресурс International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures / 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, Andrea Lucia, Filomena Ferrucci. by Hutchison, David \| Ferrucci, Filomena \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Lucia, Andrea \| 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 Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	372.	Verification, Model Checking, and Abstract Interpretation Электронный ресурс 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. 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, Neil D. Jones, Markus Müller-Olm. by Hutchison, David \| Jones, Neil D \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Mattern, Friedemann \| Mitchell, John C \| Müller-Olm, Markus \| 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 Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	373.	Parsing Techniques Электронный ресурс A Practical Guide / by Dick Grune, Ceriel J. H. Jacobs. by Grune, Dick \| Jacobs, Ceriel J. H \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: New York, NY : Springer Science+Business Media, LLC, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	374.	A Software Process Model Handbook for Incorporating People's Capabilities Электронный ресурс by Silvia Teresita Acuna, Natalia Juristo, Ana Maria Moreno, Alicia Mon. by Acuna, Silvia T \| Juristo, Natalia \| Mon, Alicia \| Moreno, Ana María \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	375.	Hardware Verification with C++ Электронный ресурс A PractitionerвЂ™s Handbook / by Mike Mintz, Robert Ekendahl. by Mintz, Mike \| Ekendahl, Robert \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	376.	Guide to Assembly Language Programming in Linux Электронный ресурс by Sivarama P. Dandamudi. by Dandamudi, Sivarama P \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	377.	Pro Hibernate 3 Электронный ресурс by Dave Minter, Jeff Linwood. by Minter, Dave \| Linwood, Jeff \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berkeley, CA : Apress, Inc., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	378.	Pro J2ME Polish Электронный ресурс Open Source Wireless Java Tools Suite / by Robert Virkus. by Virkus, Robert \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berkeley, CA : Apress, Inc., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	379.	Advances in Design and Specification Languages for Embedded Systems Электронный ресурс edited by Sorin A. Huss. by Huss, Sorin A \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Science+Business Media B.V., 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	380.	Introduction to Programming with Fortran Электронный ресурс by Ian D. Chivers, Jane Sleightholme. by Chivers, Ian D \| Sleightholme, Jane \| SpringerLink (Online service). Source: 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)
	381.	Pro Java EE 5 Performance Management and Optimization Электронный ресурс by Steven Haines. by Haines, Steven \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berkeley, CA : Apress, Inc., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	382.	An Introduction to Network Programming with Java Электронный ресурс by Jan Graba. by Graba, Jan \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: London : Jan Graba, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	383.	Distributed Embedded Control Systems Электронный ресурс Improving Dependability with Coherent Design / by Matjaž Colnarič, Domen Verber, Wolfgang A. Halang. by Colnarič, Matjaž \| Halang, Wolfgang A \| Verber, Domen \| SpringerLink (Online service). Series: Advances in Industrial ControlSource: Springer e-booksMaterial 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)
	384.	Static Analysis (vol. # 3672) Электронный ресурс 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings edited by Chris Hankin, Igor Siveroni. by Hankin, Chris \| Siveroni, Igor \| 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)
	385.	Middleware 2005 Электронный ресурс ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings edited by Gustavo Alonso. by Alonso, Gustavo \| 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)
	386.	Theoretical Aspects of Computing - ICTAC 2004 Электронный ресурс First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers edited by Keijiro Araki, Zhiming Liu. by Araki, Keijiro \| Liu, Zhiming \| 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)
	387.	Programming Multi-Agent Systems (vol. # 3862) Электронный ресурс Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal by Bordini, Rafael H \| Dastani, Mehdi \| Dix, Jürgen \| Seghrouchni, Amal El Fallah \| 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)
	388.	Foundations of Software Science and Computational Structures (vol. # 3921) Электронный ресурс 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn by Aceto, Luca \| Ingólfsdóttir, Anna \| 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)
	389.	Temporal Logic and State Systems Электронный ресурс by Fred Kröger, Stephan Merz. by Kröger, Fred \| Merz, Stephan \| 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)
	390.	ECOOP 2006 - Object-Oriented Programming Электронный ресурс 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings edited by Dave Thomas. by Thomas, Dave \| 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)
	391.	Mathematics of Program Construction Электронный ресурс 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings edited by Tarmo Uustalu. by Uustalu, Tarmo \| 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)
	392.	System Analysis and Modeling: Language Profiles Электронный ресурс 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers edited by Reinhard Gotzhein, Rick Reed. by Gotzhein, Reinhard \| 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 GmbH., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	393.	Formal Approaches to Software Testing (vol. # 3997) Электронный ресурс 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers edited by Wolfgang Grieskamp, Carsten Weise. by Grieskamp, Wolfgang \| Weise, Carsten \| 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)
	394.	Architecting Systems with Trustworthy Components Электронный ресурс International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers edited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski. by Reussner, Ralf H \| Stafford, Judith A \| Szyperski, Clemens 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)
	395.	Static Analysis Электронный ресурс 8th International Symposium, SAS 2001 Paris, France, July 16вЂ“18, 2001 Proceedings / edited by Patrick Cousot. by Cousot, Patrick. 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)
	396.	Automated Technology for Vertification and Analysis Электронный ресурс 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings edited by Susanne Graf, Wenhui Zhang. by Graf, Susanne \| Zhang, Wenhui \| 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)
	397.	Model Checking Software (vol. # 3925) Электронный ресурс 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings edited by Antti Valmari. by Valmari, Antti \| 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)
	398.	Declarative Agent Languages and Technologies III Электронный ресурс Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Pao by Baldoni, Matteo \| Endriss, Ulle \| Omicini, Andrea \| Torroni, Paolo \| 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)
	399.	Ada 2005 Reference Manual. Language and Standard Libraries Электронный ресурс International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 / by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy. by Taft, S. Tucker \| Brukardt, Randall L \| Duff, Robert A \| Leroy, Pascal \| Ploedereder, Erhard \| 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, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	400.	Mathematics of Program Construction Электронный ресурс 9th International Conference, MPC 2008, Marseille, France, July 15-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, Philippe Audebaud, Christine Paulin-Mohring. by Hutchison, David \| Audebaud, Philippe \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Paulin-Mohring, Christine \| 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)

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 451 results.