Results
|
|
4151.
|
|
|
|
4152.
|
|
|
|
4153.
|
|
|
|
4154.
|
|
|
|
4155.
|
|
|
|
4156.
|
|
|
|
4157.
|
|
|
|
4158.
|
|
|
|
4159.
|
|
|
|
4160.
|
|
|
|
4161.
|
|
|
|
4162.
|
|
|
|
4163.
|
|
|
|
4164.
|
|
|
|
4165.
|
|
|
|
4166.
|
|
|
|
4167.
|
|
|
|
4168.
|
|
|
|
4169.
|
|
|
|
4170.
|
|
|
|
4171.
|
|
|
|
4172.
|
|
|
|
4173.
|
|
|
|
4174.
|
Analysis and Synthesis of Logics Электронный ресурс How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. by Carnielli, Walter | Coniglio, Marcelo | Gabbay, Dov M | Gouveia, Paula | Sernadas, Cristina | SpringerLink (Online service). Series: Applied Logic SeriesSource: Springer eBooksMaterial type:  Computer file; Format:
electronic
available online
 Publication details: Dordrecht : Springer Science+Business Media B.V., 2008Online access: Click here to access online Availability: No items available :
|
|
|
4175.
|
|
|
|
4176.
|
|
|
|
4177.
|
|
|
|
4178.
|
|
|
|
4179.
|
|
|
|
4180.
|
|
|
|
4181.
|
Embedded Computer Systems: Architectures, Modeling, and Simulation (vol. # 3553) Электронный ресурс 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings edited by Timo D. Hämäläinen, Andy D. Pimentel, Jarmo Taka by Hämäläinen, Timo D | Pimentel, Andy D | Takala, Jarmo | Vassiliadis, Stamatis | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
|
4182.
|
|
|
|
4183.
|
|
|
|
4184.
|
Introduction à Scilab Электронный ресурс edited by Jean-Philippe Chancelier, François Delebecque, Claude Gomez, Maurice Goursat, Ramine Nikoukhah, Serge Steer. by Chancelier, Jean-Philippe | Delebecque, François | Gomez, Claude | Goursat, Maurice | Nikoukhah, Ramine | Steer, Serge | SpringerLink (Online service). Series: Collection IRISEdition: DeuxiГЁme Г©dition.Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Paris : Springer-Verlag France, 2007Online access: Click here to access online Availability: No items available :
|
|
|
4185.
|
|
|
|
4186.
|
Software Architecture (vol. # 3527) Электронный ресурс 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings edited by Ron Morrison, Flavio Oquendo. by Morrison, Ron | Oquendo, Flavio | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
|
4187.
|
|
|
|
4188.
|
|
|
|
4189.
|
Logical and Relational Learning Электронный ресурс edited by Dov M. Gabbay, Jörg Siekmann, A. Bundy, J. G. Carbonell, M. Pinkal, H. Uszkoreit, M. Veloso, W. Wahlster, M. J. Wooldridge, Luc De Raedt. by Gabbay, Dov M | Bundy, A | Carbonell, J. G | Pinkal, M | De Raedt, Luc | Siekmann, Jörg | Uszkoreit, H | Veloso, M | Wahlster, W | Wooldridge, M. J | SpringerLink (Online service). Series: Cognitive TechnologiesSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
4190.
|
QCD and Numerical Analysis III Электронный ресурс Proceedings of the Third International Workshop on Numerical Analysis and Lattice QCD, Edinburgh June-July 2003 / edited by Artan Bori~i, Andreas Frommer, Bálint Joó, Anthony Kennedy, Brian Pendleton. by Bori~i, Artan | Frommer, Andreas | Joó, Bálint | Kennedy, Anthony | Pendleton, Brian | SpringerLink (Online service). Series: Lecture Notes in Computational Science and EngineeringSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available :
|
|
|
4191.
|
Advances in Grid Computing - EGC 2005 Электронный ресурс European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers edited by M. Bubak, Alfons G. Hoekstra, T. Priol, A. Reinefeld et al. by Bubak, Marian | Hoekstra, Alfons G | Priol, Thierry | Reinefeld, Alexander | Sloot, Peter M. A | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
|
4192.
|
Finite Model Theory and Its Applications Электронный ресурс by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein. by Grädel, Erich | Kolaitis, Phokion G | Libkin, Leonid | Marx, Maarten | Spencer, Joel | Vardi, Moshe Y | Venema, Yde | Weinstein, Scott | SpringerLink (Online service). Series: Texts in Theoretical Computer Science an EATCS SeriesSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
|
4193.
|
|
|
|
4194.
|
|
|
|
4195.
|
|
|
|
4196.
|
|
|
|
4197.
|
Service Availability (vol. # 3335) Электронный ресурс First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers edited by Jörg Kaiser, Miroslaw Malek, Manfred Reitenspieß by Kaiser, Jörg | Malek, Miroslaw | Reitenspieß, Manfred | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
|
4198.
|
Attention and Performance in Computational Vision Электронный ресурс Second International Workshop, WAPCV 2004, Prague, Czech Republic, May 15, 2004, Revised Selected Papers edited by Glyn Humphreys, Lucas Paletta, Erich Rome, John K. Ts by Humphreys, Glyn | Paletta, Lucas | Rome, Erich | Tsotsos, John K | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
|
4199.
|
|
|
|
4200.
|
|
