Special Purpose and Application-Based Systems.

Information processing in computer-assisted interventions = first international conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010 : proceedings / by: (書目-電子資源)

Defence Industry Applications of Autonomous Agents and Multi-Agent Systems by: (書目-電子資源)

Beginning PHP and MySQL E-Commerce = From Novice to Professional / by: (書目-電子資源)

Computer safety, reliability, and security = 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings / by: (書目-電子資源)

Reliable Software Technology - Ada-Europe 2005 = 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings / by: (書目-電子資源)

Formal Modeling and Analysis of Timed Systems : = Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings by: (書目-電子資源)

Communication technologies for vehicles = 4th International Workshop, Nets4Cars/Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012 : proceedings / by: (書目-電子資源)

Guide to software development = designing and managing the life cycle / by: (書目-電子資源)

Formal Methods for Mobile Computing = 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / by: (書目-電子資源)

Dynamic management of sustainable development = methods for large technical systems / by: (書目-電子資源)

Advances in power electronics and instrumentation engineering = second international conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011 : proceedings / by: (書目-電子資源)

Computer and computing technologies in agriculture V = 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.. Part III / by: (書目-電子資源)

Computer and computing technologies in agriculture V = 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.. Part II / by: (書目-電子資源)

Computer and computing technologies in agriculture IV = 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22 - 25, 2010 : selected papers.. Part II / by: (書目-電子資源)

Software Agent-Based Applications, Platforms and Development Kits by: (書目-電子資源)

Virtual Storytelling. Using Virtual Reality Technologies for Storytelling : = Third International Conference, VS 2005, Strasbourg, France, November 30-December 2, 2005, Proceedings by: (書目-電子資源)

Information security applications = 9th international workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, revised selected papers / by: (書目-電子資源)

Image and signal processing = 5th international conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012 : proceedings / by: (書目-電子資源)

Haptics = generating and perceiving tangible sensations, International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010 : proceedings.. Part II / by: (書目-電子資源)

Formal methods for industrial critical systems = 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings / by: (書目-電子資源)

Economics of grids, clouds, systems, and services = 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010, proceedings / by: (書目-電子資源)

Handbook of FPGA design security by: (書目-電子資源)

Radio frequency identification = security and privacy issues : 6th international workshop, RFIDSec 2010, Istanbul, Turkey, June 8-9, 2010 : revised selected papers / by: (書目-電子資源)

Formal methods for industrial critical systems = 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings / by: (書目-電子資源)

Information Processing and Security Systems by: (書目-電子資源)

Future multimedia networking = third international workshop, FMN 2010, Krakow, Poland, June 17-18, 2010 : proceedings / by: (書目-電子資源)

Mobile entity localization and tracking in GPS-less environnments = Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009 : proceedings / by: (書目-電子資源)

Model-based engineering of embedded systems = the SPES 2020 methodology / by: (書目-電子資源)

Virtual and mixed reality = systems and applications : international conference, virtual and mixed reality 2011, held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : proceedings.. Part II / by: (書目-電子資源)

Computer Aided Verification = 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings / by: (書目-電子資源)

Computer Music Modeling and Retrieval. Sense of Sounds = 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers / by: (書目-電子資源)

Encyclopedia of parallel computing by: (書目-電子資源)

Computer safety, reliability, and security = 27th international conference, Safecomp 2008 Newcastle upon Tyne, UK, September 22-25, 2008 proceedings / by: (書目-電子資源)

RFID: Security and privacy = 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011 : revised selected papers / by: (書目-電子資源)

Event-Triggered and Time-Triggered Control Paradigms by: (書目-電子資源)

Network Performance Analysis = Using the J Programming Language / by: (書目-電子資源)

Wireless sensor networks = 8th European conference, EWSN 2011, Bonn, Germany, February 23-25, 2011 : proceedings / by: (書目-電子資源)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices = International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers by: (書目-電子資源)

Universal access in human-computer interaction = 5th international conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 ; proceedings.. Part II,. Intelligent and ubiquitous interaction environments / by: (書目-電子資源)

Grid and distributed computing = international conference, GDC 2009, held as part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings / by: (書目-電子資源)

Data and Applications Security XXII = 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings / by: (書目-電子資源)

Formal methods for computational systems biology = 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures / by: (書目-電子資源)

Computer and computing technologies in agriculture II.. Volume 2,. The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China by: (書目-電子資源)

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support = Results of the IMPROVE Project / by: (書目-電子資源)

Speech, sound and music processing: Embracing research in India = 8th International Symposium, CMMR 2011, 20th International Symposium, FRSM 2011, Bhubaneswar, India, March 9-12, 2011 : revised selected papers / by: (書目-電子資源)

Communications infrastructure = systems and applications in Europe : first international ICST conference, EuropeComm 2009, London, UK, August 11 - 13, 2009 : revised selected papers / by: (書目-電子資源)

Virtual and mixed reality = third international conference, VMR 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 : proceedings / by: (書目-電子資源)

Ambient intelligence = European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009 : proceedings / by: (書目-電子資源)

Social robotics = Second International Conference on Social Robotics, ICSR 2010, Singapore, November 23-24, 2010, proceedings / by: (書目-電子資源)

Intelligent robotics and applications = 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012 : proceedings.. Part I / by: (書目-電子資源)

Toward useful services for elderly and people with disabilities = 9th international conference on smart homes and health telematics, ICOST 2011, Montreal, Canada, June 20-22, 2011 : proceedings / by: (書目-電子資源)

Self-organizing systems = 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009 : proceedings / by: (書目-電子資源)

Stabilization, safety, and security of distributed systems = 11th international symposium, SSS 2009, Lyon, France, November 3-6, 2009 : proceedings / by: (書目-電子資源)

Practical django projects by: (書目-電子資源)

Euro-Par 2011: Parallel processing workshops = CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.. Part I / by: (書目-電子資源)

Socionics : = Scalability of Complex Social Systems by: (書目-電子資源)

Universal access in human-computer interaction = 5th international conference, UAHCI 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 : proceedings.. Part I,. Addressing diversity / by: (書目-電子資源)

Wireless Sensor Networks = 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings / by: (書目-電子資源)

Persuasive Technology = Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings / by: (書目-電子資源)

System Level Design of Reconfigurable Systems-on-Chip by: (書目-電子資源)

Advances in Biometric Person Authentication : = International Workshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22 - 23, 2005, Proceedings by: (書目-電子資源)

Microelectronic systems = circuits, systems and applications / by: (書目-電子資源)

Modelling autonomic communications environments = fourth IEEE international workshop, MACE 2009, Venice, Italy, October 26-27, 2009 : proceedings / by: (書目-電子資源)

Quality of service in heterogeneous networks = 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2009 and 3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, AAA-IDEA 2009, Las Palmas, Gran Canaria, November 23 - 25, 2009 : Proceedings / by: (書目-電子資源)

Applications of intelligent control to engineering systems by: (書目-電子資源)

Evolvable systems = from biology to hardware : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, proceedings / by: (書目-電子資源)

Networks for grid applications = Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers / by: (書目-電子資源)

Biometric Systems = Technology, Design and Performance Evaluation / by: (書目-電子資源)

Impact analysis of solutions for chronic disease prevention and management = 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012 : proceedings / by: (書目-電子資源)

Computer and computing technologies in agriculture V = 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.. Part I / by: (書目-電子資源)

Analog circuit design = low voltage low power; short range wireless front-ends; power management and DC-DC / by: (書目-電子資源)

Dependable Computing - EDCC 2005 = 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings / by: (書目-電子資源)

Hybrid Systems: Computation and Control = 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings / by: (書目-電子資源)

Expert Oracle by: (書目-電子資源)

Reconfigurable RF power amplifiers on silicon for wireless handsets by: (書目-電子資源)

Intelligent robotics and applications = 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012 : proceedings.. Part II / by: (書目-電子資源)

Sensing and systems in pervasive computing = engineering context aware systems / by: (書目-電子資源)

Information security = 14th international conference, ISC 2011, Xi'an, China, October 26-29, 2011 : proceedings / by: (書目-電子資源)

Hardware-dependent software = principles and practice / by: (書目-電子資源)

Dynamic system reconfiguration in heterogeneous platforms = the MORPHEUS approach / by: (書目-電子資源)

Human interface and the management of information = Symposium on Human Interface 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 ; Proceedings.. Part II,. Information and interaction / by: (書目-電子資源)

Nano-Net = 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 : proceedings / by: (書目-電子資源)

Information Security = 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings / by: (書目-電子資源)

Grids, clouds and virtualization by: (書目-電子資源)

E-voting and identity = third international conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011 : revised selected papers / by: (書目-電子資源)

SharePoint 2003 User's Guide by: (書目-電子資源)

Computer networks = 16th conference, CN 2009, Wisla, Poland, June 16 - 20, 2009 : proceedings / by: (書目-電子資源)

Computer and computing technologies in agriculture IV = 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22 - 25, 2010 : selected papers.. Part IV / by: (書目-電子資源)

Multi-agent-based simulation XI = international workshop, MABS 2010, Toronto, Canada, May 11, 2010 : revised selected papers / by: (書目-電子資源)

Wireless sensor networks = 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010 : proceedings / by: (書目-電子資源)

Network security by: (書目-電子資源)

Pervasive healthcare computing = EMR/EHR, wireless and health monitoring / by: (書目-電子資源)

Languages for embedded systems and their applications = selected contributions on specification, design, and verification from FDL'08 / by: (書目-電子資源)

Data and applications security XXIII = 23rd Annual IFIP WG 11.3 Working Conference, Montreal, Canada, July 12-15, 2009 : proceedings / by: (書目-電子資源)

The definitive guide to Django = Web development done right / by: (書目-電子資源)

GeoSpatial semantics = third international conference, GeoS 2009, Mexico City, Mexico, December 3-4, 2009 : proceedings / by: (書目-電子資源)

Scientific workflows = programming, optimization, and synthesis with ASKALON and AWDL / by: (書目-電子資源)

Information security = 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012 : proceedings / by: (書目-電子資源)

Office and SharePoint 2007 User's Guide = Integrating SharePoint with Excel, Outlook, Access, and Word / by: (書目-電子資源)

IEC 61131-3 = programming industrial automation systems : concepts and programming languages, requirements for programming systems, decision-making aids / by: (書目-電子資源)

Coordination models and languages = 10th international conference, coordination 2008, Oslo, Norway, June 4-6, 2008. proceedings / by: (書目-電子資源)

Economics of grids, clouds, systems, and services = 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011 : revised selected papers / by: (書目-電子資源)

Interactive storytelling = First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, Erfurt, Germany, November 26-29, 2008, proceedings / by: (書目-電子資源)

Computer And Computing Technologies In Agriculture. = First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007 /. II by: (書目-電子資源)

From scientific instrument to industrial machine = coping with architectural stress in embedded systems / by: (書目-電子資源)

Artificial life models in hardware by: (書目-電子資源)

Harnessing VLSI system design with EDA tools by: (書目-電子資源)

Service virtualization = reality is overrated / by: (書目-電子資源)

Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part II / by: (書目-電子資源)

Practical django projects by: (書目-電子資源)

Software and data technologies = Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008 : revised selected papers / by: (書目-電子資源)

Stabilization, safety, and security of distributed systems = 10th international symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008 : proceedings / by: (書目-電子資源)

Quantum communication and quantum networking = First International Conference, QuantumComm 2009, Naples, Italy, October 26-30, 2009 : revised selected papers / by: (書目-電子資源)

Intelligent robotics and applications = 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012 : proceedings.. Part III / by: (書目-電子資源)

GeoSensor Networks = Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers / by: (書目-電子資源)

Communication technologies for vehicles = third international workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011 : proceedings / by: (書目-電子資源)

Human interface and the management of information = Symposium on Human Interface 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 ; proceedings.. Part I,. Designing information environments / by: (書目-電子資源)

Advances in communication and networking = Second International Conference on Future Generation Communication and Networking : FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008 : revised selected papers / by: (書目-電子資源)

Haptics = generating and perceiving tangible sensations, International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010 : proceedings.. Part I / by: (書目-電子資源)

Aging friendly technology for health and independence = 8th International Conference on Smart Homes and Health Telematics, ICOST 2010, Seoul, Korea, June 22-24, 2010 : proceedings / by: (書目-電子資源)

Sensor systems and software = third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012 : revised selected papers / by: (書目-電子資源)

GeoSpatial semantics = 4th international conference, GeoS 2011, Brest, France, May 12-13, 2011 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings / by: (書目-電子資源)

Advances in Design and Specification Languages for SoCs = Selected Contributions from FDL'04 / by: (書目-電子資源)

Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part I / by: (書目-電子資源)

Hardware based packet classification for high speed internet routers by: (書目-電子資源)

Unleash the system on chip using FPGAs and Handel C by: (書目-電子資源)

Robust and online large-scale optimization = models and techniques for transportation systems / by: (書目-電子資源)

Algorithmic aspects of wireless sensor networks = 5th international workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009 : revised selected papers / by: (書目-電子資源)

Pervasive computing = 6th international conference, Pervasive 2008, Sydney, Australia, May 19-22, 2008 : proceedings / by: (書目-電子資源)

Web and Wireless Geographical Information Systems = 9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 7-8, 2009 : proceedings / by: (書目-電子資源)

Simulator-based human factors studies across 25 years = the history of the Halden Man-Machine Laboratory / by: (書目-電子資源)

Enterprise Applications and Services in the Finance Industry = 3rd International Workshop, FinanceCom 2007, Montreal, Canada, December 8, 2007. Revised Papers / by: (書目-電子資源)

Latent variable analysis and signal separation = 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012 : proceedings / by: (書目-電子資源)

Guide to FPGA implementation of arithmetic functions by: (書目-電子資源)

Functional Verification of Programmable Embedded Architectures = A Top-Down Approach / by: (書目-電子資源)

Moving Wearables into the Mainstream = Taming the Borg / by: (書目-電子資源)

Practical computing on the cell broadband engine by: (書目-電子資源)

UML for SOC Design by: (書目-電子資源)

Foundations of 3D graphics programming = using JOGL and Java3D / by: (書目-電子資源)

GeoSensor networks = third international conference, GSN 2009, Oxford, UK, July 13-14, 2009 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings / by: (書目-電子資源)

Switching and Learning in Feedback Systems = European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers / by: (書目-電子資源)

Computer and computing technologies in agriculture IV = 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22 - 25, 2010 : selected papers.. Part III / by: (書目-電子資源)

Model-Driven Development of Reliable Automotive Services = Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / by: (書目-電子資源)

E-Government Ict Professionalism and Competences Service Science by: (書目-電子資源)

Automated technology for verification and analysis = 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings / by: (書目-電子資源)

Cryptographic Hardware and Embedded Systems -- CHES 2008 = 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings / by: (書目-電子資源)

Universal access in human-computer interaction = b5th international conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III / by: (書目-電子資源)

Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings / by: (書目-電子資源)

Critical information infrastructures security = 5th international workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010 : revised papers / by: (書目-電子資源)

Principles of Distributed Systems = 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers / by: (書目-電子資源)

Artificial intelligence and computational intelligence = International Conference, AICI 2009, Shanghai, China, November 7-8, 2009 : proceedings / by: (書目-電子資源)

E-voting and identity = second international conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009 : proceedings / by: (書目-電子資源)

Embedded systems design based on formal models of computation by: (書目-電子資源)

The definitive guide to Pylons by: (書目-電子資源)

High performance computing and applications = second international conference, HPCA 2009, Shanghai, China, August 10-12, 2009 : revised selected papers / by: (書目-電子資源)

Artificial intelligence and computational intelligence = international conference, AICI 2010, Sanya, China, October 23-24, 2010 : proceedings, part I / by: (書目-電子資源)

Smart sensing and context = 4th European conference, EuroSSC 2009, Guildford, UK, September 16-18, 2009 : proceedings / by: (書目-電子資源)

Networks for grid applications = third international ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers / by: (書目-電子資源)

Euro-Par 2011: Parallel processing workshops = CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.. Part II / by: (書目-電子資源)

Building innovation pipelines through computer-aided innovation = 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 - July 1, 2011. Proceedings / by: (書目-電子資源)

New Algorithms, Architectures and Applications for Reconfigurable Computing by: (書目-電子資源)

Multi-agent-based simulation XII = international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers / by: (書目-電子資源)

Smart sensing and context = 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010, proceedings / by: (書目-電子資源)

Algorithms for sensor systems = 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers / by: (書目-電子資源)

Grid economics and business models = 6th international workshop, GECON 2009, Delft, The Netherlands, August 24, 2009. Proceedings / by: (書目-電子資源)

Learning and intelligent optimization = third international conference, LION 3, Trento, Italy, January 14-18, 2009 : selected papers / by: (書目-電子資源)

Embedded and Ubiquitous Computing - EUC 2005 : = International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings by: (書目-電子資源)

Analysis, architectures and modelling of embedded systems = Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009 : Proceedings / by: (書目-電子資源)

Virtual and mixed reality = new trends : international conference, virtual and mixed reality 2011, held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : proceedings.. Part I / by: (書目-電子資源)

Advances in security technology = International Conference, SecTech 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008 : revised selected papers / by: (書目-電子資源)

Embedded robotics = mobile robot design and applications with embedded systems / by: (書目-電子資源)

Smart Homes and Health Telematics = 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings / by: (書目-電子資源)

Automated Technology for Verification and Analysis : = Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings by: (書目-電子資源)

Data and Applications Security XIX = 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005, Proceedings / by: (書目-電子資源)

Embedded and Ubiquitous Computing - EUC 2005 Workshops : = EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 8-9, 2005 by: (書目-電子資源)

Computer Safety, Reliability, and Security : = 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings by: (書目-電子資源)

Secure integrated circuits and systems by: (書目-電子資源)

Personal Satellite Services = International Conference, PSATS 2009, Rome, Italy, March 18-19, 2009 : revised selected papers / by: (書目-電子資源)

Hard real-time computing systems = predictable scheduling algorithms and applications / by: (書目-電子資源)

Foundation Blender compositing by: (書目-電子資源)

Critical information infrastructures security = 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009 : revised papers / by: (書目-電子資源)

Multicore software engineering, performance, and tools = International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-電子資源)

Ambient assistive health and wellness management in the heart of the city = 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / by: (書目-電子資源)

Distributed computing = 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009 : proceedings / by: (書目-電子資源)

Software technologies for embedded and ubiquitous systems = 7th IFIP WG 10.2 international workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 : proceedings / by: (書目-電子資源)

Distributed computing in sensor systems = 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009 : proceedings / by: (書目-電子資源)

Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part I / by: (書目-電子資源)

Reliable Software Technologies Ada-Europe 2008 = 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings / by: (書目-電子資源)

Transactions on computational science IV = special issue on security in computing / by: (書目-電子資源)

Mobile Wireless Middleware, Operating Systems and Applications = Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings / by: (書目-電子資源)

Cryptographic Hardware and Embedded Systems - CHES 2005 = 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings / by: (書目-電子資源)

E-Business @ Print = Internet-Based Services and Processes / by: (書目-電子資源)

Cyberspace Security and Defense: Research Issues = Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6-9 September 2004 / by: (書目-電子資源)

XML for Bioinformatics by: (書目-電子資源)

Embedded Software and Systems : = Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings by: (書目-電子資源)

Self-Stabilizing Systems : = 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 by: (書目-電子資源)

Exploring music contents = 7th international symposium, CMMR 2010, Malaga, Spain, June 21-24, 2010 : revised papers / by: (書目-電子資源)

Social robotics = third international conference, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = 30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 : proceedings / by: (書目-電子資源)

Hybrid Systems: Computation and Control = 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings / by: (書目-電子資源)

Stabilization, safety, and security of distributed systems = 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, proceedings / by: (書目-電子資源)

Pro BizTalk 2009 by: (書目-電子資源)

OFDM = concepts for future communication systems / by: (書目-電子資源)

Self-sustaining systems = first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers / by: (書目-電子資源)

Testing software and systems = 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings / by: (書目-電子資源)

Information security = 13th international conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010 : revised selected papers / by: (書目-電子資源)

Agents for games and simulations II = trends in techniques, concepts and design / by: (書目-電子資源)

Autonomous systems-self-organization, management, and control = Proceedings of the 8th international workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6-7, 2008 / by: (書目-電子資源)

Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms by: (書目-電子資源)

VLSI-SoC = advanced research for systems on chip : 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011 : revised selected papers / by: (書目-電子資源)

Real-world wireless sensor networks = 4th international workshop, REALWSN 2010, Colombo, Sri Lanka, December 16-17, 2010 : proceedings / by: (書目-電子資源)

Evaluating AAL systems through competitive benchmarking : indoor localization and tracking = International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011 : revised selected papers / by: (書目-電子資源)

Network control and optimization = Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers / by: (書目-電子資源)

Future Multimedia Networking = Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings / by: (書目-電子資源)

System analysis and modeling = about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers / by: (書目-電子資源)

Ubiquitous Computing Systems = Second International Symposium, UCS, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers / by: (書目-電子資源)

The Definitive Guide to Django = Web Development Done Right / by: (書目-電子資源)

Information Security Applications = 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers / by: (書目-電子資源)

Computer Music Modeling and Retrieval = Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004, Revised Papers / by: (書目-電子資源)

Computer And Computing Technologies In Agriculture. = First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007 /. I by: (書目-電子資源)

Wireless sensor networks = 6th European conference, EWSN 2009, Cork, Ireland, February 11-13, 2009 ; proceedings / by: (書目-電子資源)

Artificial intelligence and computational intelligence = international conference, AICI 2010, Sanya, China, October 23-24, 2010 : proceedings, part II / by: (書目-電子資源)

Real-time systems = design principles for distributed embedded applications / by: (書目-電子資源)

Euro-Par 2012 parallel processing = 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / by: (書目-電子資源)

Nonlinear Speech Modeling and Applications = Advanced Lectures and Revised Selected Papers / by: (書目-電子資源)

Knowledge management for health care procedures = ECAI 2008 workshop, K4HelP 2008, Patras, Greece, July 21, 2008 : revised selected papers / by: (書目-電子資源)

Constructing Ambient Intelligence = AmI 2008 workshops, Nuremberg, Germany, 19-22, 2008 ; revised papers / by: (書目-電子資源)

Computer and computing technologies in agriculture IV = 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22 - 25, 2010 : selected papers.. Part I / by: (書目-電子資源)

Dependable Computing : = Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings by: (書目-電子資源)

Pervasive Computing = Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005, Proceedings / by: (書目-電子資源)

Software technologies for embedded and ubiquitous systems = 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi [i.e. Anacapri] Capri Island, Italy, October 1-3, 2008 ; proceedings / by: (書目-電子資源)

Computer music modeling and retrieval = genesis of meaning in sound and music ; 5th international symposium, CMMR 2008, Copenhagen, Denmark, May 19-23, 2008 ; revised papers / by: (書目-電子資源)

Technologies for Advanced Heterogeneous Networks : = First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005, Proceedings by: (書目-電子資源)

Euro-Par 2010 parallel processing workshops = HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31-September 3 2010 : revised selected papers / by: (書目-電子資源)

Latent variable analysis and signal separation = 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010, proceedings / by: (書目-電子資源)

Embedded Software and Systems = First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / by: (書目-電子資源)

Architecture-based design of multi-agent systems by: (書目-電子資源)

Stabilization, safety, and security of distributed systems = 13th international Symposium, SSS 2011, Grenoble, France, October 10-12, 2011 : proceedings / by: (書目-電子資源)

Growth and development of computer aided innovation = third IFIP WG 5.4 working conference, CAI 2009, Harbin, China, August 20-21, 2009 : proceedings / by: (書目-電子資源)

Distributed applications and interoperable systems = 9th IFIP WG 6.1 international conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009 : proceedings / by: (書目-電子資源)

Computer and computing technologies in agriculture II.. Volume 3,. The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China by: (書目-電子資源)

Pervasive computing = 7th international conference,Pervasive 2009, Nara, Japan, May 11-14, 2009 ; proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010 : proceedings / by: (書目-電子資源)

Algorithms for sensor systems = 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010 : revised selected papers / by: (書目-電子資源)

Life system modeling and intelligent computing = International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, proceedings.. Part II / by: (書目-電子資源)

Computer and Computing Technologies in Agriculture III = Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009 : revised selected papers / by: (書目-電子資源)

Signal processing, image processing, and pattern recognition = international conference, SIP 2009, held as part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings / by: (書目-電子資源)

Algorithmic decision theory = first international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings / by: (書目-電子資源)

Software services for e-Business and e-Society = 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009 : proceedings / by: (書目-電子資源)

Computer and computing technologies in agriculture II.. Volume 1,. The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China by: (書目-電子資源)

Human interface and the management of information = interacting with information : symposium on human interface 2011, held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : proceedings.. Part I / by: (書目-電子資源)

Security trends for FPGAS = from secured to secure reconfigurable systems / by: (書目-電子資源)

Handbook of data intensive computing by: (書目-電子資源)

Architecting critical systems = first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 : proceedings / by: (書目-電子資源)

Innovation in Manufacturing Networks = Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23-25, 2008 / by: (書目-電子資源)

Embedded Systems Design = The ARTIST Roadmap for Research and Development / by: (書目-電子資源)

Euro-Par 2009 parallel processing workshops = HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009 : revised selected papers / by: (書目-電子資源)

Beginning Joomla! by: (書目-電子資源)

JDF : = Process Integration, Technology, Product Description by: (書目-電子資源)

Sanskrit computational linguistics = 4th international symposium, New Delhi, India, December 10-12, 2010 : proceedings / by: (書目-電子資源)

Pro Service-Oriented Smart Clients with .NET 2.0 by: (書目-電子資源)