Special Purpose and Application-Based Systems.
Overview
Works: | 276 works in 276 publications in 276 languages |
---|
Titles
Economics of grids, clouds, systems, and services = 9th international conference, GECON 2012, Berlin, Germany, November 27-28, 2012 : proceedings /
by:
(Electronic resources)
Information security = 12th international conference, ISC 2009, Pisa, Italy, September 7-9, 2009 : proceedings /
by:
(Electronic resources)
The definitive guide to catalyst = writing extensible, scalable, and maintainable Perl-based Web applications /
by:
(Electronic resources)
Embedded systems specification and design languages = selected contributions from FDL'07 /
by:
(Electronic resources)
Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Haptic and audio interaction design = 4th international conference, HAID 2009 Dresden, Germany, September 10-11, 2009 : proceedings /
by:
(Electronic resources)
Information processing in computer-assisted interventions = first international conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010 : proceedings /
by:
(Electronic resources)
Defence Industry Applications of Autonomous Agents and Multi-Agent Systems
by:
(Electronic resources)
Computer safety, reliability, and security = 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings /
by:
(Electronic resources)
Reliable Software Technology - Ada-Europe 2005 = 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /
by:
(Electronic resources)
Formal Modeling and Analysis of Timed Systems : = Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
by:
(Electronic resources)
Communication technologies for vehicles = 4th International Workshop, Nets4Cars/Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Dynamic management of sustainable development = methods for large technical systems /
by:
(Electronic resources)
Advances in power electronics and instrumentation engineering = second international conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling : = Third International Conference, VS 2005, Strasbourg, France, November 30-December 2, 2005, Proceedings
by:
(Electronic resources)
Information security applications = 9th international workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, revised selected papers /
by:
(Electronic resources)
Image and signal processing = 5th international conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012 : proceedings /
by:
(Electronic resources)
Haptics = generating and perceiving tangible sensations, International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010 : proceedings.. Part II /
by:
(Electronic resources)
Formal methods for industrial critical systems = 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings /
by:
(Electronic resources)
Economics of grids, clouds, systems, and services = 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010, proceedings /
by:
(Electronic resources)
Radio frequency identification = security and privacy issues : 6th international workshop, RFIDSec 2010, Istanbul, Turkey, June 8-9, 2010 : revised selected papers /
by:
(Electronic resources)
Formal methods for industrial critical systems = 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings /
by:
(Electronic resources)
Future multimedia networking = third international workshop, FMN 2010, Krakow, Poland, June 17-18, 2010 : proceedings /
by:
(Electronic resources)
Mobile entity localization and tracking in GPS-less environnments = Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009 : proceedings /
by:
(Electronic resources)
Model-based engineering of embedded systems = the SPES 2020 methodology /
by:
(Electronic resources)
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:
(Electronic resources)
Computer Aided Verification = 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings /
by:
(Electronic resources)
Computer Music Modeling and Retrieval. Sense of Sounds = 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers /
by:
(Electronic resources)
Computer safety, reliability, and security = 27th international conference, Safecomp 2008 Newcastle upon Tyne, UK, September 22-25, 2008 proceedings /
by:
(Electronic resources)
RFID: Security and privacy = 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011 : revised selected papers /
by:
(Electronic resources)
Wireless sensor networks = 8th European conference, EWSN 2011, Bonn, Germany, February 23-25, 2011 : proceedings /
by:
(Electronic resources)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices = International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support = Results of the IMPROVE Project /
by:
(Electronic resources)
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:
(Electronic resources)
Communications infrastructure = systems and applications in Europe : first international ICST conference, EuropeComm 2009, London, UK, August 11 - 13, 2009 : revised selected papers /
by:
(Electronic resources)
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:
(Electronic resources)
Ambient intelligence = European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009 : proceedings /
by:
(Electronic resources)
Social robotics = Second International Conference on Social Robotics, ICSR 2010, Singapore, November 23-24, 2010, proceedings /
by:
(Electronic resources)
Intelligent robotics and applications = 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012 : proceedings.. Part I /
by:
(Electronic resources)
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:
(Electronic resources)
Self-organizing systems = 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009 : proceedings /
by:
(Electronic resources)
Stabilization, safety, and security of distributed systems = 11th international symposium, SSS 2009, Lyon, France, November 3-6, 2009 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Wireless Sensor Networks = 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings /
by:
(Electronic resources)
Persuasive Technology = Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings /
by:
(Electronic resources)
Advances in Biometric Person Authentication : = International Workshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22 - 23, 2005, Proceedings
by:
(Electronic resources)
Modelling autonomic communications environments = fourth IEEE international workshop, MACE 2009, Venice, Italy, October 26-27, 2009 : proceedings /
by:
(Electronic resources)
Evolvable systems = from biology to hardware : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, proceedings /
by:
(Electronic resources)
Networks for grid applications = Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Analog circuit design = low voltage low power; short range wireless front-ends; power management and DC-DC /
by:
(Electronic resources)
Dependable Computing - EDCC 2005 = 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /
by:
(Electronic resources)
Hybrid Systems: Computation and Control = 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings /
by:
(Electronic resources)
Intelligent robotics and applications = 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012 : proceedings.. Part II /
by:
(Electronic resources)
Sensing and systems in pervasive computing = engineering context aware systems /
by:
(Electronic resources)
Information security = 14th international conference, ISC 2011, Xi'an, China, October 26-29, 2011 : proceedings /
by:
(Electronic resources)
Dynamic system reconfiguration in heterogeneous platforms = the MORPHEUS approach /
by:
(Electronic resources)
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:
(Electronic resources)
Nano-Net = 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 : proceedings /
by:
(Electronic resources)
Information Security = 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings /
by:
(Electronic resources)
E-voting and identity = third international conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011 : revised selected papers /
by:
(Electronic resources)
Computer networks = 16th conference, CN 2009, Wisla, Poland, June 16 - 20, 2009 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Multi-agent-based simulation XI = international workshop, MABS 2010, Toronto, Canada, May 11, 2010 : revised selected papers /
by:
(Electronic resources)
Wireless sensor networks = 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010 : proceedings /
by:
(Electronic resources)
Pervasive healthcare computing = EMR/EHR, wireless and health monitoring /
by:
(Electronic resources)
Languages for embedded systems and their applications = selected contributions on specification, design, and verification from FDL'08 /
by:
(Electronic resources)
Data and applications security XXIII = 23rd Annual IFIP WG 11.3 Working Conference, Montreal, Canada, July 12-15, 2009 : proceedings /
by:
(Electronic resources)
GeoSpatial semantics = third international conference, GeoS 2009, Mexico City, Mexico, December 3-4, 2009 : proceedings /
by:
(Electronic resources)
Scientific workflows = programming, optimization, and synthesis with ASKALON and AWDL /
by:
(Electronic resources)
Information security = 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012 : proceedings /
by:
(Electronic resources)
Office and SharePoint 2007 User's Guide = Integrating SharePoint with Excel, Outlook, Access, and Word /
by:
(Electronic resources)
IEC 61131-3 = programming industrial automation systems : concepts and programming languages, requirements for programming systems, decision-making aids /
by:
(Electronic resources)
Coordination models and languages = 10th international conference, coordination 2008, Oslo, Norway, June 4-6, 2008. proceedings /
by:
(Electronic resources)
Economics of grids, clouds, systems, and services = 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011 : revised selected papers /
by:
(Electronic resources)
Interactive storytelling = First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, Erfurt, Germany, November 26-29, 2008, proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
From scientific instrument to industrial machine = coping with architectural stress in embedded systems /
by:
(Electronic resources)
Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part II /
by:
(Electronic resources)
Software and data technologies = Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008 : revised selected papers /
by:
(Electronic resources)
Stabilization, safety, and security of distributed systems = 10th international symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008 : proceedings /
by:
(Electronic resources)
Quantum communication and quantum networking = First International Conference, QuantumComm 2009, Naples, Italy, October 26-30, 2009 : revised selected papers /
by:
(Electronic resources)
Intelligent robotics and applications = 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012 : proceedings.. Part III /
by:
(Electronic resources)
GeoSensor Networks = Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers /
by:
(Electronic resources)
Communication technologies for vehicles = third international workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Haptics = generating and perceiving tangible sensations, International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010 : proceedings.. Part I /
by:
(Electronic resources)
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:
(Electronic resources)
Sensor systems and software = third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012 : revised selected papers /
by:
(Electronic resources)
GeoSpatial semantics = 4th international conference, GeoS 2011, Brest, France, May 12-13, 2011 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems = 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings /
by:
(Electronic resources)
Advances in Design and Specification Languages for SoCs = Selected Contributions from FDL'04 /
by:
(Electronic resources)
Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Robust and online large-scale optimization = models and techniques for transportation systems /
by:
(Electronic resources)
Algorithmic aspects of wireless sensor networks = 5th international workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009 : revised selected papers /
by:
(Electronic resources)
Pervasive computing = 6th international conference, Pervasive 2008, Sydney, Australia, May 19-22, 2008 : proceedings /
by:
(Electronic resources)
Web and Wireless Geographical Information Systems = 9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 7-8, 2009 : proceedings /
by:
(Electronic resources)
Simulator-based human factors studies across 25 years = the history of the Halden Man-Machine Laboratory /
by:
(Electronic resources)
Enterprise Applications and Services in the Finance Industry = 3rd International Workshop, FinanceCom 2007, Montreal, Canada, December 8, 2007. Revised Papers /
by:
(Electronic resources)
Latent variable analysis and signal separation = 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012 : proceedings /
by:
(Electronic resources)
Functional Verification of Programmable Embedded Architectures = A Top-Down Approach /
by:
(Electronic resources)
GeoSensor networks = third international conference, GSN 2009, Oxford, UK, July 13-14, 2009 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems = 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Automated technology for verification and analysis = 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings /
by:
(Electronic resources)
Cryptographic Hardware and Embedded Systems -- CHES 2008 = 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings /
by:
(Electronic resources)
Critical information infrastructures security = 5th international workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010 : revised papers /
by:
(Electronic resources)
Principles of Distributed Systems = 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers /
by:
(Electronic resources)
Artificial intelligence and computational intelligence = International Conference, AICI 2009, Shanghai, China, November 7-8, 2009 : proceedings /
by:
(Electronic resources)
E-voting and identity = second international conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009 : proceedings /
by:
(Electronic resources)
High performance computing and applications = second international conference, HPCA 2009, Shanghai, China, August 10-12, 2009 : revised selected papers /
by:
(Electronic resources)
Artificial intelligence and computational intelligence = international conference, AICI 2010, Sanya, China, October 23-24, 2010 : proceedings, part I /
by:
(Electronic resources)
Smart sensing and context = 4th European conference, EuroSSC 2009, Guildford, UK, September 16-18, 2009 : proceedings /
by:
(Electronic resources)
Networks for grid applications = third international ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
New Algorithms, Architectures and Applications for Reconfigurable Computing
by:
(Electronic resources)
Multi-agent-based simulation XII = international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers /
by:
(Electronic resources)
Smart sensing and context = 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010, proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Grid economics and business models = 6th international workshop, GECON 2009, Delft, The Netherlands, August 24, 2009. Proceedings /
by:
(Electronic resources)
Learning and intelligent optimization = third international conference, LION 3, Trento, Italy, January 14-18, 2009 : selected papers /
by:
(Electronic resources)
Embedded and Ubiquitous Computing - EUC 2005 : = International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Advances in security technology = International Conference, SecTech 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008 : revised selected papers /
by:
(Electronic resources)
Embedded robotics = mobile robot design and applications with embedded systems /
by:
(Electronic resources)
Smart Homes and Health Telematics = 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings /
by:
(Electronic resources)
Automated Technology for Verification and Analysis : = Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
by:
(Electronic resources)
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:
(Electronic resources)
Embedded and Ubiquitous Computing - EUC 2005 Workshops : = EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 8-9, 2005
by:
(Electronic resources)
Computer Safety, Reliability, and Security : = 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
by:
(Electronic resources)
Personal Satellite Services = International Conference, PSATS 2009, Rome, Italy, March 18-19, 2009 : revised selected papers /
by:
(Electronic resources)
Hard real-time computing systems = predictable scheduling algorithms and applications /
by:
(Electronic resources)
Critical information infrastructures security = 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009 : revised papers /
by:
(Electronic resources)
Multicore software engineering, performance, and tools = International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Formal methods for industrial critical systems = 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers /
by:
(Electronic resources)
Distributed computing = 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Distributed computing in sensor systems = 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009 : proceedings /
by:
(Electronic resources)
Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part I /
by:
(Electronic resources)
Reliable Software Technologies Ada-Europe 2008 = 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /
by:
(Electronic resources)
Transactions on computational science IV = special issue on security in computing /
by:
(Electronic resources)
Mobile Wireless Middleware, Operating Systems and Applications = Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings /
by:
(Electronic resources)
Cryptographic Hardware and Embedded Systems - CHES 2005 = 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Embedded Software and Systems : = Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings
by:
(Electronic resources)
Self-Stabilizing Systems : = 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005
by:
(Electronic resources)
Exploring music contents = 7th international symposium, CMMR 2010, Malaga, Spain, June 21-24, 2010 : revised papers /
by:
(Electronic resources)
Social robotics = third international conference, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = 30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 : proceedings /
by:
(Electronic resources)
Hybrid Systems: Computation and Control = 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /
by:
(Electronic resources)
Stabilization, safety, and security of distributed systems = 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, proceedings /
by:
(Electronic resources)
Self-sustaining systems = first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers /
by:
(Electronic resources)
Testing software and systems = 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings /
by:
(Electronic resources)
Information security = 13th international conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010 : revised selected papers /
by:
(Electronic resources)
Agents for games and simulations II = trends in techniques, concepts and design /
by:
(Electronic resources)
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:
(Electronic resources)
Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms
by:
(Electronic resources)
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:
(Electronic resources)
Real-world wireless sensor networks = 4th international workshop, REALWSN 2010, Colombo, Sri Lanka, December 16-17, 2010 : proceedings /
by:
(Electronic resources)
Network control and optimization = Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers /
by:
(Electronic resources)
Future Multimedia Networking = Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings /
by:
(Electronic resources)
System analysis and modeling = about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers /
by:
(Electronic resources)
Ubiquitous Computing Systems = Second International Symposium, UCS, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers /
by:
(Electronic resources)
Information Security Applications = 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers /
by:
(Electronic resources)
Computer Music Modeling and Retrieval = Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004, Revised Papers /
by:
(Electronic resources)
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:
(Electronic resources)
Wireless sensor networks = 6th European conference, EWSN 2009, Cork, Ireland, February 11-13, 2009 ; proceedings /
by:
(Electronic resources)
Artificial intelligence and computational intelligence = international conference, AICI 2010, Sanya, China, October 23-24, 2010 : proceedings, part II /
by:
(Electronic resources)
Real-time systems = design principles for distributed embedded applications /
by:
(Electronic resources)
Euro-Par 2012 parallel processing = 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems = 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers /
by:
(Electronic resources)
Nonlinear Speech Modeling and Applications = Advanced Lectures and Revised Selected Papers /
by:
(Electronic resources)
Knowledge management for health care procedures = ECAI 2008 workshop, K4HelP 2008, Patras, Greece, July 21, 2008 : revised selected papers /
by:
(Electronic resources)
Constructing Ambient Intelligence = AmI 2008 workshops, Nuremberg, Germany, 19-22, 2008 ; revised papers /
by:
(Electronic resources)
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:
(Electronic resources)
Dependable Computing : = Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings
by:
(Electronic resources)
Pervasive Computing = Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005, Proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Technologies for Advanced Heterogeneous Networks : = First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005, Proceedings
by:
(Electronic resources)
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:
(Electronic resources)
Latent variable analysis and signal separation = 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010, proceedings /
by:
(Electronic resources)
Embedded Software and Systems = First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers /
by:
(Electronic resources)
Stabilization, safety, and security of distributed systems = 13th international Symposium, SSS 2011, Grenoble, France, October 10-12, 2011 : proceedings /
by:
(Electronic resources)
Growth and development of computer aided innovation = third IFIP WG 5.4 working conference, CAI 2009, Harbin, China, August 20-21, 2009 : proceedings /
by:
(Electronic resources)
Distributed applications and interoperable systems = 9th IFIP WG 6.1 international conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Pervasive computing = 7th international conference,Pervasive 2009, Nara, Japan, May 11-14, 2009 ; proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Algorithmic decision theory = first international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Security trends for FPGAS = from secured to secure reconfigurable systems /
by:
(Electronic resources)
Architecting critical systems = first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 : proceedings /
by:
(Electronic resources)
Innovation in Manufacturing Networks = Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23-25, 2008 /
by:
(Electronic resources)
Embedded Systems Design = The ARTIST Roadmap for Research and Development /
by:
(Electronic resources)
Euro-Par 2009 parallel processing workshops = HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009 : revised selected papers /
by:
(Electronic resources)
Show more
Fewer
Subjects