|
|
1121.
|
Conceptual Structures: Leveraging Semantic Technologies [electronic resource] : 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings / edited by Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov.
by Rudolph, Sebastian | Dau, Frithjof | Kuznetsov, Sergei O | 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
|
|
|
1122.
|
Infinity in Logic and Computation [electronic resource] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers / edited by Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe.
by Archibald, Margaret | Brattka, Vasco | Goranko, Valentin | Löwe, Benedikt | 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
|
|
|
1123.
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings / edited by Arrems Hua, Shih-Liang Chang.
by Hua, Arrems | Chang, Shih-Liang | 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
|
|
|
1124.
|
Monte Carlo Simulation in Statistical Physics [electronic resource] : An Introduction / by Kurt Binder, Dieter W. Heermann.
by Binder, Kurt | Heermann, Dieter W | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1125.
|
Thermodynamics, Gibbs Method and Statistical Physics of Electron Gases [electronic resource] : Gibbs Method and Statistical Physics of Electron Gases / by Bahram M. Askerov, Sophia Figarova.
by Askerov, Bahram M | Figarova, Sophia | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1126.
|
Time in Quantum Mechanics - Vol. 2 [electronic resource] / edited by Gonzalo Muga, Andreas Ruschhaupt, Adolfo Campo.
by Muga, Gonzalo | Ruschhaupt, Andreas | Campo, Adolfo | 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
|
|
|
1127.
|
Unified Computational Intelligence for Complex Systems [electronic resource] / by John Seiffertt, Donald C. Wunsch.
by Seiffertt, John | Wunsch, Donald C | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1128.
|
Modeling and Control of Complex Physical Systems [electronic resource] : The Port-Hamiltonian Approach / by Vincent Duindam, Alessandro Macchelli, Stefano Stramigioli, Herman Bruyninckx.
by Duindam, Vincent | Macchelli, Alessandro | Stramigioli, Stefano | Bruyninckx, Herman | 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
|
|
|
1129.
|
Modelling, Estimation and Control of Networked Complex Systems [electronic resource] / edited by Alessandro Chiuso, Luigi Fortuna, Mattia Frasca, Alessandro Rizzo, Luca Schenato, Sandro Zampieri.
by Chiuso, Alessandro | Fortuna, Luigi | Frasca, Mattia | Rizzo, Alessandro | Schenato, Luca | Zampieri, Sandro | 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
|
|
|
1130.
|
Downward Causation and the Neurobiology of Free Will [electronic resource] / edited by Nancey Murphy, George F. R. Ellis, Timothy O’Connor.
by Murphy, Nancey | Ellis, George F. R | O’Connor, Timothy | 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
|
|
|
1131.
|
Algebraically Approximate and Noisy Realization of Discrete-Time Systems and Digital Images [electronic resource] / by Yasumichi Hasegawa.
by Hasegawa, Yasumichi | 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
|
|
|
1132.
|
Advances in Bioinformatics and Computational Biology [electronic resource] : 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009. Proceedings / edited by Katia S. Guimarães, Anna Panchenko, Teresa M. Przytycka.
by Guimarães, Katia S | Panchenko, Anna | Przytycka, Teresa M | 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
|
|
|
1133.
|
Artificial Intelligence An International Perspective [electronic resource] : An International Perspective / edited by Max Bramer.
by Bramer, Max | 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
|
|
|
1134.
|
Artificial Immune Systems [electronic resource] : 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009. Proceedings / edited by Paul S. Andrews, Jon Timmis, Nick D. L. Owens, Uwe Aickelin, Emma Hart, Andrew Hone, Andy M. Tyrrell.
by Andrews, Paul S | Timmis, Jon | Owens, Nick D. L | Aickelin, Uwe | Hart, Emma | Hone, Andrew | Tyrrell, Andy M | 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
|
|
|
1135.
|
Recent Advances in Constraints [electronic resource] : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers / edited by Angelo Oddi, François Fages, Francesca Rossi.
by Oddi, Angelo | Fages, François | Rossi, Francesca | 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
|
|
|
1136.
|
Parallel Computing Technologies [electronic resource] : 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings / edited by Victor Malyshkin.
by Malyshkin, Victor | 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
|
|
|
1137.
|
Pairing-Based Cryptography – Pairing 2009 [electronic resource] : Third International Conference Palo Alto, CA, USA, August 12-14, 2009 Proceedings / edited by Hovav Shacham, Brent Waters.
by Shacham, Hovav | Waters, Brent | 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
|
|
|
1138.
|
Fast Software Encryption [electronic resource] : 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers / edited by Orr Dunkelman.
by Dunkelman, Orr | 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
|
|
|
1139.
|
Computer Science - Theory and Applications [electronic resource] : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings / edited by Anna Frid, Andrey Morozov, Andrey Rybalchenko, Klaus W. Wagner.
by Frid, Anna | Morozov, Andrey | Rybalchenko, Andrey | Wagner, Klaus W | 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
|
|
|
1140.
|
Advances in Cryptology - CRYPTO 2009 [electronic resource] : 29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2009. Proceedings / edited by Shai Halevi.
by Halevi, Shai | 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
|