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

Your search returned 102 results.

	1.	A new approach to scientific computation edited by Ulrich W. Kulisch, Willard L. Miranker. by Symposium on a New Approach to Scientific Computation 1982 IBM Thomas J. Watson Research Center \| Kulisch, Ulrich \| Miranker, Willard L \| International Business Machines Corporation. Series: Notes and reports in computer science and applied mathematicsMaterial type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Orlando a. o. Academic press 1983Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Comparative Genomics Электронный ресурс International Workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008. Proceedings / edited by Sorin Istrail, Pavel Pevzner, Michael S. Waterman, Craig E. Nelson, Stéphane Vialette. by Istrail, Sorin \| Nelson, Craig E \| Pevzner, Pavel \| Vialette, Stéphane \| Waterman, Michael 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)
	3.	Term Rewriting and Applications Электронный ресурс 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings / edited by Franz Baader. by Baader, Franz \| 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)
	4.	Developments in Language Theory (vol. # 4036) Электронный ресурс 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings edited by Oscar H. Ibarra, Zhe Dang. by Ibarra, Oscar H \| Dang, Zhe \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	5.	Language and Automata Theory and Applications electronic resource 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe. by Dediu, Adrian-Horia [editor.] \| Martín-Vide, Carlos [editor.] \| Sierra-Rodríguez, José-Luis [editor.] \| Truthe, Bianca [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	6.	Algorithms and Computation electronic resource 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings / edited by Sudebkumar Prasant Pal, Kunihiko Sadakane. by Pal, Sudebkumar Prasant [editor.] \| Sadakane, Kunihiko [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	7.	WALCOM: Algorithms and Computation [electronic resource] : 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings / edited by Subir Kumar Ghosh, Takeshi Tokuyama. by Ghosh, Subir Kumar [editor.] \| Tokuyama, Takeshi [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)
	8.	Algebraic and Algorithmic Aspects of Differential and Integral Operators electronic resource 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers / edited by Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz. by Barkatou, Moulay [editor.] \| Cluzeau, Thomas [editor.] \| Regensburger, Georg [editor.] \| Rosenkranz, Markus [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	9.	Computer Algebra in Scientific Computing [electronic resource] : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov. by Gerdt, Vladimir P [editor.] \| Koepf, Wolfram [editor.] \| Mayr, Ernst W [editor.] \| Vorozhtsov, Evgenii V [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	10.	Quantum Attacks on Public-Key Cryptosystems electronic resource by Song Y. Yan. by Yan, Song Y [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Boston, MA : Springer US : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	11.	Artificial Intelligence and Symbolic Computation electronic resource 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings / edited by Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martín-Mateos. by Aranda-Corral, Gonzalo A [editor.] \| Calmet, Jacques [editor.] \| Martín-Mateos, Francisco J [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	12.	Using Algebraic Geometry Электронный ресурс by David A. Cox, John Little, Donal O’shea by Cox, David A \| Little, John \| O’shea, Donal \| SpringerLink (Online service). Series: Graduate Texts in MathematicsEdition: Second Edition.Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: New York, NY : 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)
	13.	Mathematical Software - ICMS 2006 Электронный ресурс Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings edited by Andres Iglesias, Nobuki Takayama. by Iglesias, Andres \| Takayama, Nobuki \| 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)
	14.	Getting Started with MuPAD Электронный ресурс by Miroslaw Majewski. by Majewski, Miroslaw \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	15.	Types for Proofs and Programs Электронный ресурс International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers edited by Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner. by Filliatre, Jean-Christophe \| Paulin-Mohring, Christine \| Werner, Benjamin \| 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)
	16.	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)
	17.	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)
	18.	Arithmetic of Finite Fields Электронный ресурс 2nd International Workshop, WAIFI 2008 Siena, Italy, July 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, Joachim Gathen, José Luis Imaña, Çetin Kaya Koç by Hutchison, David \| Gathen, Joachim \| Imaña, José Luis \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Koç, Çetin Kaya \| 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)
	19.	Theory and Applications of Relational Structures as Knowledge Instruments II Электронный ресурс International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers edited by Harrie de Swart, Ewa Orlowska, Gunther Schmi by Swart, Harrie de \| Orlowska, Ewa \| Roubens, Marc \| Schmidt, Gunther \| 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)
	20.	Pairing-Based Cryptography вЂ“ Pairing 2007 Электронный ресурс First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings / edited by Tsuyoshi Takagi, Tatsuaki Okamoto, Eiji Okamoto, Takeshi Okamoto. by Takagi, Tsuyoshi \| Okamoto, Eiji \| Okamoto, Takeshi \| Okamoto, Tatsuaki \| 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)
	21.	Algebra and Coalgebra in Computer Science Электронный ресурс Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings / edited by Till Mossakowski, Ugo Montanari, Magne Haveraaen. by Mossakowski, Till \| Haveraaen, Magne \| Montanari, Ugo \| 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)
	22.	Theoretical Aspects of Computing - ICTAC 2008 Электронный ресурс 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun. by Hutchison, David \| Fitzgerald, John S \| Haxthausen, Anne E \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Tygar, Doug \| Vardi, Moshe Y \| Weikum, Gerhard \| Yenigün, Hüsnü \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	23.	Reliable Implementation of Real Number Algorithms: Theory and Practice Электронный ресурс International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol. by Hutchison, David \| Hertling, Peter \| Hoffmann, Christoph M \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Luther, Wolfram \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Revol, Nathalie \| 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)
	24.	Pairing-Based Cryptography вЂ“ Pairing 2008 Электронный ресурс Second International Conference, Egham, UK, September 1-3, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Steven D. Galbraith, Kenneth G. Paterson. by Hutchison, David \| Galbraith, Steven D \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Paterson, Kenneth G \| 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)
	25.	Provable Security Электронный ресурс Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 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, Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai. by Hutchison, David \| Baek, Joonsang \| Bao, Feng \| Chen, Kefei \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Lai, Xuejia \| 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)
	26.	Coding Theory and Applications Электронный ресурс Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 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, Ángela Barbero. by Hutchison, David \| Barbero, Ángela \| 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)
	27.	Sequences and Their Applications - SETA 2004 Электронный ресурс Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers edited by Tor Helleseth, Dilip Sarwate, Hong-Yeop Song, Kyeongcheol Yang. by Helleseth, Tor \| Sarwate, Dilip \| Song, Hong-Yeop \| Yang, Kyeongcheol \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	28.	Symbolic Integration I Электронный ресурс Transcendental Functions / by Manuel Bronstein. by Bronstein, Manuel \| SpringerLink (Online service). Series: Algorithms and Computation in MathematicsEdition: Second Edition.Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	29.	Research in Cryptology Электронный ресурс Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Stefan Lucks, Ahmad-Reza Sadeghi, Christopher Wolf. by Hutchison, David \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Lucks, Stefan \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Sadeghi, Ahmad-Reza \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Tygar, Doug \| Vardi, Moshe Y \| Weikum, Gerhard \| Wolf, Christopher \| 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)
	30.	Rewriting and Typed Lambda Calculi electronic resource Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / edited by Gilles Dowek. by Dowek, Gilles [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	31.	Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz. by Libkin, Leonid [editor.] \| Kohlenbach, Ulrich [editor.] \| Queiroz, Ruy [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	32.	Belief-based Stability in Coalition Formation with Uncertainty [electronic resource] : An Intelligent Agents’ Perspective / by Chi-kong Chan, Ho-fung Leung. by Chan, Chi-kong [author.] \| Leung, Ho-fung [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	33.	Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger. by Carette, Jacques [editor.] \| Aspinall, David [editor.] \| Lange, Christoph [editor.] \| Sojka, Petr [editor.] \| Windsteiger, Wolfgang [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	34.	Computational Methods in Systems Biology electronic resource 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings / edited by Pedro Mendes, Joseph O. Dada, Kieran Smallbone. by Mendes, Pedro [editor.] \| Dada, Joseph O [editor.] \| Smallbone, Kieran [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	35.	Types for Proofs and Programs Электронный ресурс International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / edited by Thorsten Altenkirch, Conor McBride. by Altenkirch, Thorsten \| McBride, Conor \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	36.	Developments in Language Theory Электронный ресурс 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 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, Masami Ito, Masafumi Toyama. by Hutchison, David \| Ito, Masami \| 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 \| Toyama, Masafumi \| 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)
	37.	Algorithmic Number Theory Электронный ресурс 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings / edited by Alfred J. Poorten, Andreas Stein. by Poorten, Alfred J \| Stein, 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)
	38.	High Performance Computational Science and Engineering Электронный ресурс IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22вЂ“27, 2004, Toulouse, France / edited by Michael K. Ng, Andrei Doncescu, Laurence T. Yang, Tau Leng. by Ng, Michael K \| Doncescu, Andrei \| Leng, Tau \| Yang, Laurence T \| SpringerLink (Online service). Series: IFIP вЂ” The International Federation for Information ProcessingSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : International Federation for Information Processing, 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	39.	Applied Algebra, Algebraic Algorithms and Error-Correcting Codes Электронный ресурс 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006, Proceedings edited by Marc Fossorier, Hideki Imai, Shu Lin, Alain Poli. by Fossorier, Marc \| Imai, Hideki \| Lin, Shu \| Poli, Alain \| 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)
	40.	Term Rewriting and Applications (vol. # 3467) Электронный ресурс 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings edited by Jürgen Giesl. by Giesl, Jürgen \| 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)
	41.	Algebraic Methodology and Software Technology Электронный ресурс 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings edited by Michael Johnson, Varmo Vene. by Johnson, Michael \| Vene, Varmo \| 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)
	42.	Discovering Mathematics with Magma Электронный ресурс Reducing the Abstract to the Concrete edited by Wieb Bosma, John Cannon. by Bosma, Wieb \| Cannon, John \| SpringerLink (Online service). Series: Algorithms and Computation in MathematicsSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	43.	Recent Trends in Algebraic Development Techniques Электронный ресурс 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers / edited by José Luiz Fiadeiro, Pierre-Yves Schobbens. by Fiadeiro, José Luiz \| Schobbens, Pierre-Yves \| 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)
	44.	Types for Proofs and Programs Электронный ресурс International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers / edited by Marino Miculan, Ivan Scagnetto, Furio Honsell. by Miculan, Marino \| Honsell, Furio \| Scagnetto, Ivan \| 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)
	45.	Concurrency, Graphs and Models Электронный ресурс Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / edited by Pierpaolo Degano, Rocco Nicola, José Meseguer. by Degano, Pierpaolo \| Meseguer, José \| Nicola, Rocco \| 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)
	46.	Applied Algebra, Algebraic Algorithms and Error-Correcting Codes Электронный ресурс 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007. Proceedings / edited by Boztaş Serdar, Hsiao-Feng (Francis) Lu. by Boztaş, Serdar \| Lu, Hsiao-Feng (Francis) \| 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)
	47.	Language and Automata Theory and Applications Электронный ресурс Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Carlos Martín-Vide, Friedrich Otto, Henning Fernau. by Hutchison, David \| Fernau, Henning \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Martín-Vide, Carlos \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Otto, Friedrich \| 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)
	48.	Dynamic Brain - from Neural Spikes to Behaviors Электронный ресурс 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised 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, Maria Marinaro, Silvia Scarpetta, Yoko Yamaguchi. by Hutchison, David \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Marinaro, Maria \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Scarpetta, Silvia \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Tygar, Doug \| Vardi, Moshe Y \| Weikum, Gerhard \| Yamaguchi, Yoko \| 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)
	49.	Cours d’optique Электронный ресурс Simulations et exercices résolus avec Maple®, Matlab®, Mathematica®, Mathcad® by Möller, Karl D \| Bélorgoet, Claude \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Paris : Springer-Verlag France, Paris, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	50.	Intelligent Computer Mathematics electronic resource International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / edited by Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban. by Watt, Stephen M [editor.] \| Davenport, James H [editor.] \| Sexton, Alan P [editor.] \| Sojka, Petr [editor.] \| Urban, Josef [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)