ULTIME ACQUISIZIONI BMIF "Volumi collane"

AUTORE TITOLO COLLOCAZ.

- Brusilovsky, P. User modeling 2002 LNCS 2702 INF - Zhou, W. Advances in web-based learning LNCS 2783 INF - Blackburn, P. Modeling and using context LNCS 2680 INF - Chung, P. Developments in applied artific. Int... LNCS 2718 INF - Dong, G. Advances in web-age information man... LNCS 2762 INF - Cardelli, L. ECOOP 2003 LNCS 2743 INF - Leuschel, M. Logic based program synthesis... LNCS 2664 INF - Truszkowski, W. Innovative concepts for agent-based... LNCS 2564 INF - Schumacher, M. Security engineering with patterns LNCS 2754 INF - Ito, Masami Developments in language theory LNCS 2450 INF - Guo, M. Parallel and distributed processing... LNCS 2745 INF - Lingas, A. Fundamentals of computation theory LNCS 2751 INF - Ibarra, O. Implementation and application of aut.... LNCS 2759 INF - Ayache, N. Surgery simulation and soft tissue mod... LNCS 2673 INF - Malyshkin, V. Parallel computing technologies LNCS 2763 INF - Champarnaud, J.M. Implementation and application of aut... LNCS 2608 INF - Freire, M.M. High-speed networks and multimendia... LNCS 2720 INF - Rangarajan, A. Energy minimization methods in comp... LNCS 2683 INF - Timmis, J. Artificial immune systems LNCS 2787 INF - Kosch, H. Euro-Par 2003 parallel processing LNCS 2790 INF - Freksa, C. Spatial cognition III LNCS 2685 INF - Rovan, B. Mathematical foundations of c.s.2003 LNCS 2747 INF - Traunmuller, R. Electronic government LNCS 2739 INF - Koubarakis, M. Spatio-temporal database LNCS 2520 INF - Cantù-Paz, E. Genetic and evolutionary computat... LNCS 2724 INF - Van der Aalst, Wil Applications and theory of petri nets 2003 LNCS 2679 INF - Warnow, T. Computing and combinatorics LNCS 2697 INF - Lovelle, J. Web engineering 2003 LNCS 2722 INF - Boneh, D. Advances in cryptology 2003 LNCS 2729 INF - Van der Aalst, W. Business process management LNCS 2678 INF - Huang, S.-T. Self-stabilizing systems LNCS 2704 INF - Reed, R. SDL 2003: system design LNCS 2708 INF - Berthold, M.R. Advances in intelligent data analysis V LNCS 2810 INF - Eder, Johann Advanced information systems engin.... LNCS 2681 INF - Bauknecht, K. E-Commerce and web technologies LNCS 2738 INF - Bigun, J. Image analysis LNCS 2749 INF - Arora, S. Approximation, randomization.... LNCS 2764 INF - Klusch, M. Cooperative information agents VII LNCS 2782 INF - Bilgic, T. Fuzzy sets and systems-IFSA 2003 LNCS 2715 INF - Behnke, S. Hierarchical neural networks... LNCS 2766 INF - Hinchey, M. Formal approaches to agent based... LNCS 2699 INF - James, A. New Horizons in information manag. LNCS 2712 INF - Scholkopf, B. Learning theory and kernel machines LNCS 2777 INF - Pazienza, M.T. Information extraction in the web era LNCS 2700 INF - Conradi, R. Empirical methods and studies in softw.... LNCS 2765 INF - Hadzilacos, T. Advances in spatial and temporal datab.. LNCS 2750 INF - Butz, M. Anticipatory bahavior in adaptive... LNCS 2684 INF - Maurer, F. Extreme programming and agile methods LNCS 2753 INF - Koch, T. Research and advanced technology... LNCS 2769 INF - Cechich, A. Component-based software quality LNCS 2693 INF - Bakker, E. Image and video retrieval LNCS 2728 INF - Boszormenyi, L. Modular programming languages LNCS 2789 INF - Basin, D. Theorem proving in higher order logics LNCS 2758 INF - Burke, E. Practice and theory of automated... LNCS 2740 INF - Baader, F. Automated deduction CADE-19 LNCS 2741 INF - Voss, M.J. OpenMP shared memory parallel... LNCS 2716 INF - Burakowski, W. Architectures for quality of service... LNCS 2698 INF - Huget, M.-P. Communication in multiagent systems LNCS 2650 INF - Kaashoek, F. Peer-to-peer systems II LNCS 2735 INF - Wright, R. N. Financial cryptography LNCS 2742 INF - Moro, G. Agents and peer-to-peer computing LNCS 2530 INF - Perner, P. Machine learning and data mining... LNCS 2734 INF - Hancock, E. Graph based representations in patt. rec... LNCS 2726 INF - Ashley, K. Case-based reasoning research... LNCS 2689 INF - Mamade, N. Computational processing of the Portug... LNCS 2721 INF - Safavi-Naini, R. Information security and privacy LNCS 2727 INF - Chung, Chin-Wan Web and communication technolog... LNCS 2713 INF - Baeza-Yates, R. Combinatorial pattern matching LNCS 2676 INF - Kaminka, G. A. Robocup 2002: robot soccer world cup VI LNCS 2752 INF - Schmid, U. Inductive synthesis of functional progr. LNCS 2654 INF - De Lemos, R. Architecting dependable systems LNCS 2677 INF - De Moor, A. Conceptual structures for knowledge... LNCS 2746 INF - Dehne, F. Algorithms and data structures LNCS 2748 INF - Butz, A. Smart graphics LNCS 2733 INF - Calude, C. S. Discrete mathematics and theoretical com. LNCS 2731 INF - Amadio, R. CONCUR 2003: concurrency theory LNCS 2761 INF - Chittaro, L. Human-computer interaction with m... LNCS 2795 INF - Feigenbaum, J. Digital rights management LNCS 2696 INF - Kambayashi, Y. Data warehousing and knowledge disc... LNCS 2737 INF - Renals, S. Text-and speech-triggered inf... LNCS 2705 INF - Guerra, C. Mathematical methods for protein.... LNCS 2666 INF - Oquendo, F. Software process technology LNCS 2786 INF - Kaynak, O. Artificial neural networks... LNCS 2714 INF - Nielsen, T. D. Symbolic and quantitative approach... LNCS 2711 INF - Taylor, C. Information processing in medical... LNCS 2732 INF -Esik, Z. Developments in language theory LNCS 2710 INF - Petkov, N. Computer analysis of images... LNCS 2756 INF - Liu, J. Intelligent data engineering... LNCS 2690 INF- - Cwikel, M. Interpolation of weighted banach... N IX 787 - Scheel, A. Radially symmetric patterns... N IX 786 - Sheiham, D. Invariants of boundary link cobordism N IX 784 - Bruner, R.R. The connective K-theory of finite groups N IX 785