|
|
441.
|
Theoretical Computer Science [electronic resource] : Essays in Memory of Shimon Even / edited by Oded Goldreich, Arnold L. Rosenberg, Alan L. Selman.
by Goldreich, Oded | Rosenberg, Arnold L | Selman, Alan L | 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
|
|
|
442.
|
Formal Models of Communicating Systems [electronic resource] : Languages, Automata, and Monadic Second-Order Logic / by Benedikt Bollig.
by Bollig, Benedikt | 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
|
|
|
443.
|
Nonlinear Structural Engineering [electronic resource] : With Unique Theories and Methods to Solve Effectively Complex Nonlinear Problems / by Demeter G. Fertis.
by Fertis, Demeter G | 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
|
|
|
444.
|
Multi-Objective Machine Learning [electronic resource] / edited by Yaochu Jin.
by Jin, Yaochu | 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
|
|
|
445.
|
Information and Self-Organization [electronic resource] : A Macroscopic Approach to Complex Systems / by Hermann Haken.
by Haken, Hermann | SpringerLink (Online service). Edition: Third Enlarged Edition.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
|
|
|
446.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings / edited by Holger Hermanns, Jens Palsberg.
by Hermanns, Holger | Palsberg, Jens | 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
|
|
|
447.
|
Implementation and Application of Automata [electronic resource] : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers / edited by Jacques Farré, Igor Litovsky, Sylvain Schmitz.
by Farré, Jacques | Litovsky, Igor | Schmitz, Sylvain | 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
|
|
|
448.
|
Selected Areas in Cryptography [electronic resource] : 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers / edited by Bart Preneel, Stafford Tavares.
by Preneel, Bart | Tavares, Stafford | 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
|
|
|
449.
|
Genetic Programming [electronic resource] : 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings / edited by Pierre Collet, Marco Tomassini, Marc Ebner, Steven Gustafson, Anikó Ekárt.
by Collet, Pierre | Tomassini, Marco | Ebner, Marc | Gustafson, Steven | Ekárt, Anikó | 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
|
|
|
450.
|
Information Security Applications [electronic resource] : 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers / edited by Joo-Seok Song, Taekyoung Kwon, Moti Yung.
by Song, Joo-Seok | Kwon, Taekyoung | Yung, Moti | 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
|
|
|
451.
|
Harmonic Analysis and Rational Approximation [electronic resource] : Their Rôles in Signals, Control and Dynamical Systems / edited by J. -D. Fournier, J. Grimm, J. Leblond, J. R. Partington.
by Fournier, J. -D | Grimm, J | Leblond, J | Partington, J. R | 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
|
|
|
452.
|
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings / edited by Jens Gottlieb, Günther R. Raidl.
by Gottlieb, Jens | Raidl, Günther R | 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
|
|
|
453.
|
Algorithmic Information Theory [electronic resource] : Mathematics of Digital Information / by Peter Seibt.
by Seibt, Peter | 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
|
|
|
454.
|
Fuzzy Chaotic Systems [electronic resource] : Modeling, Control, and Applications / by Zhong Li.
by Li, Zhong | 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
|
|
|
455.
|
Research in Computational Molecular Biology [electronic resource] : 10th Annual International Conference, RECOMB 2006, Venice, Italy, April 2-5, 2006. Proceedings / edited by Alberto Apostolico, Concettina Guerra, Sorin Istrail, Pavel A. Pevzner, Michael Waterman.
by Apostolico, Alberto | Guerra, Concettina | Istrail, Sorin | Pevzner, Pavel A | Waterman, 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
|
|
|
456.
|
Relational Methods in Computer Science [electronic resource] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / edited by Wendy MacCaull, Michael Winter, Ivo Düntsch.
by MacCaull, Wendy | Winter, Michael | Düntsch, Ivo | 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
|
|
|
457.
|
Information Security and Cryptology - ICISC 2005 [electronic resource] : 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers / edited by Dong Ho Won, Seungjoo Kim.
by Won, Dong Ho | Kim, Seungjoo | 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
|
|
|
458.
|
Machine Learning Challenges. Evaluating Predictive Uncertainty, Visual Object Classification, and Recognising Tectual Entailment [electronic resource] : First PASCAL Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13, 2005, Revised Selected Papers / edited by Joaquin Quiñonero-Candela, Ido Dagan, Bernardo Magnini, Florence d’Alché-Buc.
by Quiñonero-Candela, Joaquin | Dagan, Ido | Magnini, Bernardo | d’Alché-Buc, Florence | 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
|
|
|
459.
|
Applied Parallel Computing. State of the Art in Scientific Computing [electronic resource] : 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers / edited by Jack Dongarra, Kaj Madsen, Jerzy Waśniewski.
by Dongarra, Jack | Madsen, Kaj | Waśniewski, Jerzy | 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
|
|
|
460.
|
Advances in Machine Learning and Cybernetics [electronic resource] : 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers / edited by Daniel S. Yeung, Zhi-Qiang Liu, Xi-Zhao Wang, Hong Yan.
by Yeung, Daniel S | Liu, Zhi-Qiang | Wang, Xi-Zhao | Yan, Hong | 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
|