|
|
281.
|
Term Rewriting and Applications [electronic resource] : 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings / edited by Frank Pfenning.
by Pfenning, Frank | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
282.
|
Discovering Mathematics with Magma [electronic resource] : Reducing the Abstract to the Concrete / edited by Wieb Bosma, John Cannon.
by Bosma, Wieb | Cannon, John | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
283.
|
Relations and Kleene Algebra in Computer Science [electronic resource] : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings / edited by Renate A. Schmidt.
by Schmidt, Renate A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
284.
|
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] [electronic resource] : Foreword by Allan Bundy / by Michael Kohlhase.
by Kohlhase, Michael | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
285.
|
Mathematical Software - ICMS 2006 [electronic resource] : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings / edited by Andrés Iglesias, Nobuki Takayama.
by Iglesias, Andrés | Takayama, Nobuki | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
286.
|
Artificial Intelligence and Symbolic Computation [electronic resource] : 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings / edited by Jacques Calmet, Tetsuo Ida, Dongming Wang.
by Calmet, Jacques | Ida, Tetsuo | Wang, Dongming | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
287.
|
Sequences and Their Applications – SETA 2006 [electronic resource] : 4th International Conference Beijing, China, September 24-28, 2006 Proceedings / edited by Guang Gong, Tor Helleseth, Hong-Yeop Song, Kyeongcheol Yang.
by Gong, Guang | Helleseth, Tor | Song, Hong-Yeop | Yang, Kyeongcheol | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
288.
|
Computer Algebra in Scientific Computing [electronic resource] : 9th International Workshop, CASC 2006, Chişinău, Moldova, September 11-15, 2006. Proceedings / edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov.
by Ganzha, Victor G | Mayr, Ernst W | Vorozhtsov, Evgenii V | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
289.
|
Algorithmic Topology and Classification of 3-Manifolds [electronic resource] / by Sergei Matveev.
by Matveev, Sergei | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
290.
|
Binary Quadratic Forms [electronic resource] : An Algorithmic Approach / by Johannes Buchmann, Ulrich Vollmer.
by Buchmann, Johannes | Vollmer, Ulrich | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
291.
|
Polynomial Representations of GLn [electronic resource] / by James A. Green, Manfred Schocker, Karin Erdmann.
by Green, James A | Schocker, Manfred | Erdmann, Karin | SpringerLink (Online service). Edition: 2nd corrected and augmented edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
292.
|
Quantum Probability and Spectral Analysis of Graphs [electronic resource] / by Akihito Hora, Nobuaki Obata.
by Hora, Akihito | Obata, Nobuaki | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
293.
|
Homological Mirror Symmetry [electronic resource] : New Developments and Perspectives / edited by Karl-Georg Schlesinger, Maximilian Kreuzer, Anton Kapustin.
by Schlesinger, Karl-Georg | Kreuzer, Maximilian | Kapustin, Anton | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
294.
|
Types for Proofs and Programs [electronic resource] : 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 | Scagnetto, Ivan | Honsell, Furio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
295.
|
Algebraic Combinatorics [electronic resource] : Lectures at a Summer School in Nordfjordeid, Norway, June 2003 / by Peter Orlik, Volkmar Welker ; edited by Gunnar Fløystad.
by Orlik, Peter | Welker, Volkmar | Fløystad, Gunnar | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
296.
|
Computability of Julia Sets [electronic resource] / by Mark Braverman, Michael Yampolsky.
by Braverman, Mark | Yampolsky, Michael | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
297.
|
A Mathematical Introduction to Conformal Field Theory [electronic resource] / by M. Schottenloher.
by Schottenloher, M | SpringerLink (Online service). Edition: 2.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
298.
|
Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / edited by Pierpaolo Degano, Rocco Nicola, José Meseguer.
by Degano, Pierpaolo | Nicola, Rocco | Meseguer, José | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
299.
|
Fuzzy Implications [electronic resource] / by Michał Baczyński, Balasubramaniam Jayaram.
by Baczyński, Michał | Jayaram, Balasubramaniam | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
300.
|
Elementary Number Theory, Cryptography and Codes [electronic resource] / by Maria Welleda Baldoni, Ciro Ciliberto, Giulia Maria Piacentini Cattaneo.
by Baldoni, Maria Welleda | Ciliberto, Ciro | Cattaneo, Giulia Maria Piacentini | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
