|
|
5641.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings / edited by Gilles Barthe, Manuel Hermenegildo.
by Barthe, Gilles [editor.] | Hermenegildo, Manuel [editor.] | 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
|
|
|
5642.
|
Distributed Computing and Networking [electronic resource] : 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings / edited by Krishna Kant, Sriram V. Pemmaraju, Krishna M. Sivalingam, Jie Wu.
by Kant, Krishna [editor.] | Pemmaraju, Sriram V [editor.] | Sivalingam, Krishna M [editor.] | Wu, Jie [editor.] | 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
|
|
|
5643.
|
Declarative Agent Languages and Technologies VII [electronic resource] : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers / edited by Matteo Baldoni, Jamal Bentahar, M. Birna Riemsdijk, John Lloyd.
by Baldoni, Matteo [editor.] | Bentahar, Jamal [editor.] | Riemsdijk, M. Birna [editor.] | Lloyd, John [editor.] | 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
|
|
|
5644.
|
Agents and Peer-to-Peer Computing [electronic resource] : 6th International Workshop, AP2PC 2007, Honululu, Hawaii, USA, May 14-18, 2007, Revised and Selected Papers / edited by Samuel R. H. Joseph, Zoran Despotovic, Gianluca Moro, Sonia Bergamaschi.
by Joseph, Samuel R. H [editor.] | Despotovic, Zoran [editor.] | Moro, Gianluca [editor.] | Bergamaschi, Sonia [editor.] | 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
|
|
|
5645.
|
Teaching Fundamentals Concepts of Informatics [electronic resource] : 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Zurich, Switzerland, January 13-15, 2010. Proceedings / edited by Juraj Hromkovič, Richard Královič, Jan Vahrenhold.
by Hromkovič, Juraj [editor.] | Královič, Richard [editor.] | Vahrenhold, Jan [editor.] | 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
|
|
|
5646.
|
Transactions on Computational Science VII [electronic resource] / edited by Marina L. Gavrilova, C. J. Kenneth Tan.
by Gavrilova, Marina L [editor.] | Tan, C. J. Kenneth [editor.] | 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
|
|
|
5647.
|
Graph-Theoretic Concepts in Computer Science [electronic resource] : 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers / edited by Christophe Paul, Michel Habib.
by Paul, Christophe [editor.] | Habib, Michel [editor.] | 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
|
|
|
5648.
|
WALCOM: Algorithms and Computation [electronic resource] : 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings / edited by Md. Saidur Rahman, Satoshi Fujita.
by Rahman, Md. Saidur [editor.] | Fujita, Satoshi [editor.] | 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
|
|
|
5649.
|
Membrane Computing [electronic resource] : 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers / edited by Gheorghe Păun, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Grzegorz Rozenberg, Arto Salomaa.
by Păun, Gheorghe [editor.] | Pérez-Jiménez, Mario J [editor.] | Riscos-Núñez, Agustín [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | 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
|
|
|
5650.
|
Structural Information and Communication Complexity [electronic resource] : 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers / edited by Shay Kutten, Janez Žerovnik.
by Kutten, Shay [editor.] | Žerovnik, Janez [editor.] | 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
|
|
|
5651.
|
Transactions on Rough Sets XI [electronic resource] / edited by James F. Peters, Andrzej Skowron.
by Peters, James F [editor.] | Skowron, Andrzej [editor.] | 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
|
|
|
5652.
|
Perspectives of Systems Informatics [electronic resource] : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers / edited by Amir Pnueli, Irina Virbitskaite, Andrei Voronkov.
by Pnueli, Amir [editor.] | Virbitskaite, Irina [editor.] | Voronkov, Andrei [editor.] | 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
|
|
|
5653.
|
Practical Aspects of Declarative Languages [electronic resource] : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings / edited by Manuel Carro, Ricardo Peña.
by Carro, Manuel [editor.] | Peña, Ricardo [editor.] | 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
|
|
|
5654.
|
Advances in Nonlinear Speech Processing [electronic resource] : International Conference on Nonlinear Speech Processing, NOLISP 2009, Vic, Spain, June 25-27. Revised Selected Papers / edited by Jordi Solé-Casals, Vladimir Zaiats.
by Solé-Casals, Jordi [editor.] | Zaiats, Vladimir [editor.] | 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
|
|
|
5655.
|
Concurrency, Compositionality, and Correctness [electronic resource] : Essays in Honor of Willem-Paul de Roever / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen.
by Dams, Dennis [editor.] | Hannemann, Ulrich [editor.] | Steffen, Martin [editor.] | 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
|
|
|
5656.
|
High Performance Embedded Architectures and Compilers [electronic resource] : 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings / edited by Yale N. Patt, Pierfrancesco Foglia, Evelyn Duesterwald, Paolo Faraboschi, Xavier Martorell.
by Patt, Yale N [editor.] | Foglia, Pierfrancesco [editor.] | Duesterwald, Evelyn [editor.] | Faraboschi, Paolo [editor.] | Martorell, Xavier [editor.] | 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
|
|
|
5657.
|
Grid Resource Management [electronic resource] : On-demand Provisioning, Advance Reservation, and Capacity Planning of Grid Resources / by Mumtaz Siddiqui, Thomas Fahringer.
by Siddiqui, Mumtaz [author.] | Fahringer, Thomas [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
5658.
|
Biomedical Simulation [electronic resource] : 5th International Symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010. Proceedings / edited by Fernando Bello, Stéphane Cotin.
by Bello, Fernando [editor.] | Cotin, Stéphane [editor.] | 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
|
|
|
5659.
|
Mathematical Methods for Curves and Surfaces [electronic resource] : 7th International Conference, MMCS 2008, Tønsberg, Norway, June 26-July 1, 2008, Revised Selected Papers / edited by Morten Dæhlen, Michael Floater, Tom Lyche, Jean-Louis Merrien, Knut Mørken, Larry L. Schumaker.
by Dæhlen, Morten [editor.] | Floater, Michael [editor.] | Lyche, Tom [editor.] | Merrien, Jean-Louis [editor.] | Mørken, Knut [editor.] | Schumaker, Larry L [editor.] | 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
|
|
|
5660.
|
Fundamentals of Software Engineering [electronic resource] : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani.
by Arbab, Farhad [editor.] | Sirjani, Marjan [editor.] | 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
|
