Library - International Centre for Theoretical Sciences catalog › Results of search for 'ccl=Provider:Springer Berlin Heidelberg'

	761.	Automated Reasoning with Analytic Tableaux and Related Methods by Harrie de Swart. Series: Lecture Notes in Computer ScienceEdition: 1998Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1998Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	762.	Automated Reasoning with Analytic Tableaux and Related Methods by Neil V. Murray. Series: Lecture Notes in Computer ScienceEdition: 1999Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	763.	Automated Solution of Differential Equations by the Finite Element Method by Anders Logg, Kent-Andre Mardal, Garth Wells. Series: Lecture Notes in Computational Science and EngineeringEdition: 2012Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 2012Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	764.	Automatic Ambiguity Resolution in Natural Language Processing by Alexander Franz. Series: Lecture Notes in Computer ScienceEdition: 1996Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1996Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	765.	Automatic Differentiation by L.B. Rall. Series: Lecture Notes in Computer ScienceEdition: 1981Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1981Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	766.	Automatic Differentiation: Applications, Theory, and Implementations by H. Martin Bücker, George Corliss, Paul Hovland, Uwe Naumann, Boyana Norris. Series: Lecture Notes in Computational Science and EngineeringEdition: 2006Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 2006Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	767.	Automatic Verification Methods for Finite State Systems by Joseph Sifakis. Series: Lecture Notes in Computer ScienceEdition: 1990Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1990Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	768.	Automatic Verification of Sequential Infinite-State Processes by Olaf Burkart. Series: Lecture Notes in Computer ScienceEdition: 1997Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1997Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	769.	Automation, Communication and Cybernetics in Science and Engineering 2009/2010 by Sabina Jeschke, Ingrid Isenhardt, Klaus Henning. Edition: 2011Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 2011Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	770.	Automation, Communication and Cybernetics in Science and Engineering 2011/2012 by Sabina Jeschke, Ingrid Isenhardt, Frank Hees, Klaus Henning. Edition: 2013Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 2013Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	771.	The Automation of Reasoning with Incomplete Information by Torsten Schaub. Series: Lecture Notes in Computer ScienceEdition: 1997Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1997Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	772.	Automorphic Forms on GL (2) by H. Jacquet. Series: Lecture Notes in Mathematics ; v.278Edition: 1972Material type: Computer file; Format: electronic Publication details: Heidelberg Springer Berlin 1972Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	773.	Automorphic Forms on GL (2) by H. Jacquet \| R. P. Langlands. Series: Lecture Notes in Mathematics ; v.114Edition: 1970Material type: Computer file; Format: electronic Publication details: Heidelberg Springer Berlin 1970Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	774.	Automorphic Forms on GL (3,TR) by D. Bump. Series: Lecture Notes in Mathematics ; v.1083Edition: 1984Material type: Computer file; Format: electronic Publication details: Heidelberg Springer Berlin 1984Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	775.	Automorphic Forms on Semisimple Lie Groups by Bhartendu Harishchandra. Series: Lecture Notes in Mathematics ; v.62Edition: 1968Material type: Computer file; Format: electronic Publication details: Heidelberg Springer Berlin 1968Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	776.	Automorphic Forms, Representation Theory and Arithmetic by S. Gelbart; G. Harder; K. Iwasawa; H. Jaquet; N.M. Katz; I. Piatetski-Shapiro; S. Raghavan; T. Shintani; H.M. Stark; D. Zagier. Series: Tata Institute Studies in MathematicsEdition: 1981Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1981Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	777.	Automorphic Functions and Number Theory by Goro Shimura. Series: Lecture Notes in Mathematics ; v.54Edition: 1968Material type: Computer file; Format: electronic Publication details: Heidelberg Springer Berlin 1968Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	778.	Automorphism Groups of Compact Bordered Klein Surfaces by Emilio Bujalance, Jose J. Etayo, Jose M. Gamboa, Grzegorz Gromadzki. Series: Lecture Notes in MathematicsEdition: 1990Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1990Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	779.	- Autonomous Categories by M. Barr. Series: Lecture Notes in Mathematics ; v.752Edition: 1979Material type: Computer file; Format: electronic Publication details: Heidelberg Springer Berlin 1979Online access: Click here to access online Availability: Items available for reference:* Accessible Online (1). : Location(s): . Add to cart (remove)
	780.	Autovalori e autosoluzioni by G. Fichera. Series: C.I.M.E. Summer SchoolsEdition: 2011Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 2011Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 7828 results.