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

Your search returned 634 results.

	451.	Automated Reasoning Электронный ресурс 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / edited by Jaime G. Carbonell, Jörg Siekmann, Alessandro Armando, Peter Baumgartner, Gilles Dowek. by Carbonell, Jaime G \| Armando, Alessandro \| Baumgartner, Peter \| Dowek, Gilles \| Siekmann, Jörg \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	452.	Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 Электронный ресурс 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Brazil, October 23-27, 2006 edited by Jaim by Sichman, Jaime Simao \| Coelho, Helder \| Rezende, Solange Oliveira \| 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)
	453.	Programming Languages and Systems (vol. # 4279) Электронный ресурс 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings edited by Naoki Kobayashi. by Kobayashi, Naoki \| 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)
	454.	Object-Oriented Technology Электронный ресурс ECOOP 2001 Workshop Reader: ECOOP 2001 Workshops, Panel, and Posters Budapest, Hungary, June 18-22, 2001 Proceedings / edited by Ákos Frohner. by Frohner, Ákos. 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)
	455.	Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments Электронный ресурс 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III / edited by Julie A. Jacko. by Jacko, Julie 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)
	456.	LATIN 2006: Theoretical Informatics Электронный ресурс 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings edited by José R. Correa, Alejandro Hevia, Marcos Kiwi. by Correa, José R \| Hevia, Alejandro \| Kiwi, Marcos \| 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)
	457.	Functional and Logic Programming Электронный ресурс 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings edited by Masami Hagiya, Philip Wadler. by Hagiya, Masami \| Wadler, Philip \| 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)
	458.	Extreme Programming and Agile Processes in Software Engineering (vol. # 4044) Электронный ресурс 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings edited by Pekka Abrahamsson, Michele Marchesi, Giancarlo by Abrahamsson, Pekka \| Marchesi, Michele \| Succi, Giancarlo \| 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)
	459.	Advances in Computer Systems Architecture Электронный ресурс 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings / edited by Lynn Choi, Yunheung Paek, Sangyeun Cho. by Choi, Lynn \| Cho, Sangyeun \| Paek, Yunheung \| 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)
	460.	Principles and Practice of Constraint Programming вЂ“ CP 2007 Электронный ресурс 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings / edited by Christian Bessière by Bessière, Christian \| 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)
	461.	Testing of Software and Communicating Systems Электронный ресурс 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings / edited by Kenji Suzuki, Teruo Hig by Suzuki, Kenji \| Hasegawa, Toru \| Higashino, Teruo \| Ulrich, Andreas \| 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)
	462.	Declarative Agent Languages and Technologies IV Электронный ресурс 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers edited by Matteo Baldoni, Ulle Endriss. by Baldoni, Matteo \| Endriss, Ulle \| 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)
	463.	Requirements Engineering: Foundation for Software Quality Электронный ресурс 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings / edited by Barbara Paech, Colette Rolland. by Paech, Barbara \| Rolland, Colette \| 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)
	464.	Practical Aspects of Declarative Languages Электронный ресурс 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings / edited by Paul Hudak, David S. Warren. by Hudak, Paul \| Warren, David 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)
	465.	High Performance Embedded Architectures and Compilers Электронный ресурс Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings / edited by Koen Bosschere, David Kaeli, Per Stenström, et al. by Bosschere, Koen \| Kaeli, David \| Stenström, Per \| Ungerer, Theo \| Whalley, 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 Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	466.	Formal Modeling and Analysis of Timed Systems Электронный ресурс 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings / edited by Jean-François Raskin, P. S. Thiagarajan. by Raskin, Jean-François \| 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 Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	467.	Perspectives of Systems Informatics Электронный ресурс 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers / edited by Irina Virbitskaite, Andrei Voronkov. by Virbitskaite, Irina \| Voronkov, Andrei \| 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)
	468.	Hardware and Software, Verification and Testing Электронный ресурс Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers / edited by Eyal Bin, Avi Ziv, Shmuel Ur. by Bin, Eyal \| Ur, Shmuel \| Ziv, Avi \| 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)
	469.	STACS 2007 Электронный ресурс 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings / edited by Wolfgang Thomas, Pascal Weil. by Thomas, Wolfgang \| Weil, Pascal \| 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)
	470.	25 Years of Model Checking Электронный ресурс History, Achievements, Perspectives / edited by Orna Grumberg, Helmut Veith. by Grumberg, Orna \| Veith, Helmut \| 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)
	471.	Interactive Systems. Design, Specification, and Verification Электронный ресурс 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers / edited by Gavin Doherty, Ann Blandford. by Doherty, Gavin \| Blandford, Ann \| 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)
	472.	Unfoldings Электронный ресурс A Partial-Order Approach to Model Checking / by Javier Esparza, Keijo Heljanko. by Esparza, Javier \| Heljanko, Keijo \| SpringerLink (Online service). Series: Monographs 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)
	473.	Universal Access in Human-Computer Interaction. Ambient Interaction Электронный ресурс 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, by Stephanidis, Constantine \| 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)
	474.	Programming Multi-Agent Systems Электронный ресурс 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers / edited by Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff. by Dastani, Mehdi \| El Fallah Seghrouchni, Amal \| Ricci, Alessandro \| Winikoff, Michael \| 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)
	475.	Coordination, Organizations, Institutions, and Norms in Agent Systems III Электронный ресурс COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers / edited by Jaime SimГЈo Sichman, Julian Padget, Sascha Ossowski, Pablo Noriega. by Sichman, Jaime Simão \| Noriega, Pablo \| Ossowski, Sascha \| Padget, Julian \| 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)
	476.	Cryptographic Hardware and Embedded Systems - CHES 2007 Электронный ресурс 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings / edited by Pascal Paillier, Ingrid Verbauwhede. by Paillier, Pascal \| Verbauwhede, Ingrid \| 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)
	477.	Foundations of Security Analysis and Design IV Электронный ресурс FOSAD 2006/2007 Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri. by Aldini, Alessandro \| Gorrieri, Roberto \| 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)
	478.	Logic for Programming, Artificial Intelligence, and Reasoning Электронный ресурс 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov. by Dershowitz, Nachum \| Voronkov, Andrei \| 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)
	479.	Machines, Computations, and Universality Электронный ресурс 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings / edited by Jérôme Durand-Lose, Maurice Margenstern. by Durand-Lose, Jérôme \| Margenstern, Maurice \| 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)
	480.	Advances in Rule Interchange and Applications Электронный ресурс International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings / edited by Adrian Paschke, Yevgen Biletskiy. by Paschke, Adrian \| Biletskiy, Yevgen \| 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)
	481.	Formal Methods and Testing Электронный ресурс An Outcome of the FORTEST Network, Revised Selected Papers / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman. by Hierons, Robert M \| Bowen, Jonathan P \| Harman, Mark \| 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)
	482.	The Semantic Web Электронный ресурс 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Proceedings edited by Karl Aberer, Key-Sun Choi et al. by Aberer, Karl \| Allemang, Dean \| Choi, Key-Sun \| Cudré-Mauroux, Philippe \| Golbeck, Jennifer \| Lee, Kyung-Il \| Maynard, Diana \| Mika, Peter \| Mizoguchi, Riichiro \| Nixon, Lyndon \| Noy, Natasha \| Schreiber, Guus \| 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 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	483.	Engineering Interactive Systems Электронный ресурс Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Peter Forbrig, Fabio Paternò by Hutchison, David \| Forbrig, Peter \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Paternò, Fabio \| 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, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	484.	The Semantic Web Электронный ресурс 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 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 Domingue, Chutiporn Anutariya. by Hutchison, David \| Anutariya, Chutiporn \| Domingue, John \| 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 Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	485.	High Performance Embedded Architectures and Compilers Электронный ресурс Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings / edited by Per Stenström, Michel Dubois, Manolis Katevenis, Rajiv Gupta, Theo Ungerer. by Stenström, Per \| Dubois, Michel \| Gupta, Rajiv \| Katevenis, Manolis \| Ungerer, Theo \| 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)
	486.	Verified Software: Theories, Tools, Experiments Электронный ресурс Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 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, Natarajan Shankar, Jim Woodcock. by Hutchison, David \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Shankar, Natarajan \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Tygar, Doug \| Vardi, Moshe Y \| Weikum, Gerhard \| 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)
	487.	Software Architectures, Components, and Applications Электронный ресурс Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers / edited by Sven Overhage, Clemens A. Szyperski, Ralf Reussner, Judith A. Stafford. by Overhage, Sven \| Reussner, Ralf \| Stafford, Judith A \| Szyperski, Clemens 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)
	488.	LATIN 2008: Theoretical Informatics Электронный ресурс 8th Latin American Symposium, BГєzios, Brazil, April 7-11, 2008. Proceedings / edited by Eduardo Sany Laber, Claudson Bornstein, Loana Tito Nogueira, Luerbio Faria. by Laber, Eduardo Sany \| Bornstein, Claudson \| Faria, Luerbio \| Nogueira, Loana Tito \| 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)
	489.	Logic Functions and Equations Электронный ресурс Examples and Exercises / by Bernd Steinbach, Christian Posthoff. by Steinbach, Bernd \| Posthoff, Christian \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	490.	Practical Problems in VLSI Physical Design Automation Электронный ресурс by Sung Kyu Lim. by Lim, Sung Kyu \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Science + Business Media B.V, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	491.	Communicating Sequential Processes. The First 25 Years Электронный ресурс Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders. by Abdallah, Ali E \| Jones, Cliff B \| Sanders, Jeff W \| 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)
	492.	Extreme Programming and Agile Processes in Software Engineering (vol. # 3556) Электронный ресурс 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings edited by Hubert Baumeister, Mike Holcombe, Michele Marc by Baumeister, Hubert \| Holcombe, Mike \| Marchesi, Michele \| 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)
	493.	Software Engineering 3 Электронный ресурс Domains, Requirements, and Software Design / by Dines Bjøner by Bjørner, Dines \| SpringerLink (Online service). Series: Texts in Theoretical Computer Science An EATC 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)
	494.	Mathematical Foundations of Computer Science 2005 Электронный ресурс 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings edited by Joanna Jedrzejowicz, Andrzej Szepietowski. by Jedrzejowicz, Joanna \| Szepietowski, Andrzej \| 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)
	495.	Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 3728) Электронный ресурс 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings edited by Vassili by Paliouras, Vassilis \| Verkest, Diederik \| Vounckx, Johan \| 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)
	496.	Object-Oriented Technology. ECOOP 2004 Workshop Reader Электронный ресурс ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports edited by Jacques Malenfant, Bjarte M. Østvold by Malenfant, Jacques \| 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)
	497.	Agent Communication Электронный ресурс International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004 edited by Frank Dignum, Marc-Philippe Huget, Rogier M. van Eijk. by Dignum, Frank \| Huget, Marc-Philippe \| Van Eijk, Rogier 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 GmbH., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	498.	Introduction to Embedded System Design Using Field Programmable Gate Arrays Электронный ресурс by Rahul Dubey. by Dubey, Rahul \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: London : Springer London, 2009Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	499.	Programming Languages and Systems (vol. # 3444) Электронный ресурс 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, by 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 GmbH., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	500.	Scenarios: Models, Transformations and Tools Электронный ресурс International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers edited by Stefan Leue, Tarja J. Systä by Leue, Stefan \| Systä, Tarja J \| 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)

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

Scientific Library of Tomsk State University

E-catalog

Refine your search

Availability

Bibliographic level

Authors

Topics

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

Your search returned 634 results.