ULTIME ACQUISIZIONI BMIF "Volumi collane"

AUTORE TITOLO COLLOCAZ.

- Stefani, Jean-Bernard Distrib. Applic. And interop.. LNCS 2893 INF - Blundo, Carlo Theoretical computer science LNCS 2841 INF - Ibaraki, Toshihide Algorithms and Computation LNCS 2906 INF - Pinkston, Timothy-Mark High performance Computing.. LNCS 2913 INF- - Stiller, Burkhard Group Communications and.... LNCS 2816 INF - Jeckle, Mario Web Services- ICWS-Europe.. LNCS 2853 INF - Benatallah, Boualem Technologies for E-Services LNCS 2819 INF - Dau, Fritjof The Logic System of Cocept... LNCS 2892 INF - Uraltseva, N. N. Proc.of the St.Petersburg........ P VII 209 MAT - Navarro Gonzalez, Jan.A C-Differentiable Spaces O XIII 1824 MAT - Kamvissis, Spyridon Semiclassical Soliton Ensem... N VII 154 MAT - Song, Il-Yeol Conceptual Modeling............... LNCS 2813 INF - Dong, Jin Song Formal Methods and............... LNCS 2885 INF - Daemen, Joan Fast Software Encryption LNCS 2365 INF - Johansson, Thomas Fast Software Encryption LNCS 2887 INF - Horlait, Eric Mobile Agents for Teleco........ LNCS 2881 INF - Schaeffer, Jonathan Computers and Games LNCS 2883 INF - Spaccapietra, Stefano Journal on Data Semantics I LNCS 2800 INF - Marshall, Alan Management of Multimedia.. LNCS 2839 INF - Rist, Thomas Intelligent Virtual Agents LNCS 2792 INF - Henninger, Scott Advances in Learning Software LNCS 2640 INF - Mayer, Marta Automated reasoning with LNCS 2796 INF - Zaiane, Osmar R. Mining Multimedia and......... LNCS 2797 INF - Banzhaf,Wolfgang Advances in Artificial Life LNCS 2801 INF - Gunter, Andreas KI 2003: Advances in Art....... LNCS 2821 INF - Aichernig, Bernard Formal Methods at the ........... LNCS 2757 INF - Krall, Andreas Software and Compilers......... LNCS 2826 INF - Snekkenes, Einar Computer Security-ESORICS. LNCS 2808 INF - Geist, Daniel Correct hardware Design and.... LNCS 2860 INF - Favela, Jesus Groupware: Design,Implem....... LNCS 2806 INF - Barth,Wolf Compact Complex Surfaces N II 4a MAT - Jeusfeld, Manfred A. Conceptual Modeling for Novel.. LNCS 2814 INF - Benson, Gary Algorithms in Bioinformatics LNBI 2812 INF - Najm, Elie Formal Methods For Open........... LNCS 2884 INF - Nystrom, Ingela Geometry For Computer LNCS 2886 INF - Michaelis, Bernd Pattern Recognition........................ LNCS 2781 INF - Bai, Fengshan Electronic Information.................. LNCS 2730 INF - Bernardo, Marco Formal Methods for Software for,, LNCS 2804 INF - Dongarra, Jack Recent Advances in Parallel Virtual LNCS 2840 INF - Dingledine, Roger Privacy Enhancing........................... LNCS 2 760 INF - Konig, Hartmut Formal Techniques........................... LNCS 2 767 INF - Paterson,Kenneth G Cryptography and Coding................ LNCS 2898 INF - Balet, Olivier Virtual Storytelling LNCS 2897 INF - Saraswat, Vijay A. Advances in Computing Science LNCS 2896 INF - Karlsson, Gunnar Quality for All LNCS 2811 INF _Ohori, Atsushi Programming Languages .......... LNCS 2895 INF - Garcia, Narciso Visual Content Processing......... LNCS 2849 INF - Boyd , Colin Information Security LNCS 2851 INF - Pfenning, Frank Generative Programming and........ LNCS 2830 INF - Di Battista, Giuseppe Algorithms- Esa 2003 LNCS 2832 INF - Bliek, Christian Global Optimization and LNCS 2861 INF - Feitelson, Dror Job Scheduling Strategies LNCS 2862 INF - Yazici, Adnan Computer and Information.... LNCS 2869 INF - Wilson, Michael J. Mathematics of Surfaces................ LNCS 2768 INF - Chico,Jorge Juan Integrated Circuit and System Design LNCS 2799 INF - Kahng, Hyun- Kook Information Networking LNCS 2662 INF - Olivè, Antoni Advanced Conceptual Modeling... LNCS 2784 INF - de Lemos, Rogerio Dependable Computing LNCS 2847 INF - Dohmen, Klaus Improved Bonferroni inequalities O XIII 1826 MAT - Pilgrim, Kevin M. Combinations of Complex........... O XIII 1827 MAT - Chow, S.-N. Dynamical Systems O XIII 1822 MAT - Anile, A. M. Mathematical Problems.... O XIII 1823 MAT - Hiai, Fumio Means of Hilbert Space Operators O XIII 1820 MAT - Azèma, J. Seminaire de probabilites XXXVII O XIII 1832 MAT - Gil', Michael I. Operator Functions and ................. O XIII 1830 MAT - Altman, Eitan Discrete-Event Control.................. O XIII 1829 MAT - Green, David J. Grobner Bases and the Computation O XIII 1828 MAT - Teufel, Stefan Adiabatic Perturbation Theory......... . O XIII 1821 MAT - Walter, Colin D. Cryptographic Hardware and............ LNCS 2779 INF - Ueno, Kenji Algebraic Geometry 3 P XVII 2818MAT - Pires, Fernando Moura Progress in Artificial intelligence LNCS 2902 INF - Laih, Chi Sung Advances in Cryptology................. LNCS 2894 INF - Cappelli, Amedeo AI* IA 2003: Advances.... LNCS 2829 INF - Hall, Brian C. Lie Groups, lie Algebras, and GTM 222 MAT - Gindikin, S Lie Groups and Symmetric P VII 210 MAT - Gelfand, I. M. Selected Topics in integral.. P XVII 220 MAT - Moreno-Dìaz, Roberto Computer Aided Systems.... LNCS 2809 INF - Gedeon, Tamàs D. AI 2003. Advances.............. LNCS 2903 INF - Cheung,Peter Y.K. Field-Programmable........... LNCS 2778 INF - Konstantas, Dimitri Object-Oriented.................. LNCS 2817 INF - Lee, Jaeho Intelligent Agents................... LNCS 2891 INF - Fich, Faith Ellen Distributed Computing LNCS 2848 INF - Zhou, Xingming Advanced Parallel.................. LNCS 2834 INF - Backhouse, Roland Generic Programming LNCS 2793 INF - Bry, Francois Principles and Practice of LNCS 2901 INF - Ehrig, Hartmut Petri Net Technology.... LNCS 2472 INF - Lindell, Yehuda Composition of Secure...... LNCS 2815 INF - Marik, Vladimir Holonic and Multi-Agent..... LNCS 2744 INF - Veit, Daniel Matchmaking in Electronic.... LNCS 2882 INF - Alur, Rajeev Embedded Software LNCS 2855 INF - Hoffmann, Jorg Utilizing Problem Structure LNCS 2854 INF - Blanken, Henk Intelligent Search on XML... LNCS 2818 INF - Dojat, Michel Artificial Intelligence........ LNCS 2780 INF - Smirnov, Michael Quality of Future Iternet.... LNCS 2856 INF - Vardi, Moshe Y. Logic for Programming LNCS 2850 INF - Nascimento, Mario A. String Processing and Inform. LNCS 2857 INF - Veidenbaum, Alex High performance Computing LNCS 2858 INF - Vigna, Giovanni Recent Advances in Intrusion LNCS 2820 INF - Gavaldà, Ricard Algorithmic Learning Theory LNCS 2842 INF - Matousek, Vàclav Text, Speech and.................... LNCS 2807 INF - Omondi, Amos Advances in Computer Systems LNCS 2823 INF - Becher, Eberhard Digital rights Management LNCS 2770 INF - Ventre, Giorgio Interactive Multimedia on Next LNCS 2899 INF - Gorodetsky, Vladimir Computer, Network Security LNCS 2776 INF - de Boer, Frank S. Formal Methods for Comp...... LNCS 2852 INF - Johansson, Thomas Progress in Cryptology............ LNCS 2904 INF - Wirsing, Martin Recent Trends in Algebraic..... LNCS 2755 INF - Albrecht, Andreas Stochastic Algorithms: Found.. LNCS 2827 INF - Zhou, Jianying Applied Cryptography and..... LNCS 2846 INF - Kalinichenko, Leonid Advances in Datanases........... LNCS 2798 INF - Araki, Keijiro FME 2003: Formal Methods LNCS 2805 INF - Rossi, Francesca Principles and Practice LNCS 2833 INF - Jorge, Joaquim A. Interactive Systems LNCS 2844 INF - Apolloni, Bruno Neural Nets LNCS 2859 INF - Grieser, Gunter Discovery Science LNCS 2843 INF - Stevens, Perdita "UML" 2003- The Unified.... LNCS 2863 INF - Quing, Sihan Information and communi....... LNCS 2836 INF - Dey, Anind K. UbiComp 2003. Ubiquitous...... LNCS 2864 INF - Lavrac, Nada Knowledge Discovery in ......... LNCS 2838 INF - Horvath, Tamàs Inductive Logic Programming LNCS 2385 INF - Bianchi-Berthouze, Nadia Databases in Networked Inf.... LNCS 2822 INF - Schillo, Michael Multiagent System............... LNCS 2831 INF - Lioy, Antonio Communications and mult........ LNCS 2828 INF - Lavrac, Nada Machine Learning: .................. LNCS 2837 INF - Anderson, Stuart Computer Safety Reliability...... LNCS 2788 INF - Peters, Carol Advances in Cross-Language .... LNCS 2785 INF - Baaz, Matthias Computer Science Logic............ LNCS 2803 INF - Gee, James C. Biomedical Image Registration LNCS 2717 INF - Lanzi, Pier Luca Learning Classifier Systems LNCS 2661 INF - Zaiane, Osmar R. Webkdd 2002- Mining........... LNCS 2703 INF - Kemper, Peter Computer Performance Evaluation LNCS 2794 INF - Bellahsene, Zohra Database and XMLT Technolgie... LNCS 2824 INF - Kuhn, Werner Spatial Information Theory............ LNCS 2825 INF - Conti, Marco Personal Wireless Communica....... LNCS 2775 INF - Gurevich, Yuri Abstract State Machines LNCS 1912 INF .