Special Purpose and Application-Based Systems.

Principles of Distributed Systems = 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Nonlinear Speech Modeling and Applications = Advanced Lectures and Revised Selected Papers / by: (書目-語言資料,印刷品)

Ubiquitous Computing Systems = Second International Symposium, UCS, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Embedded Software and Systems = First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / 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: (書目-語言資料,印刷品)

Cryptographic Hardware and Embedded Systems - CHES 2005 = 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings / by: (書目-語言資料,印刷品)

Computer Safety, Reliability, and Security : = 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings by: (書目-語言資料,印刷品)

Automated Technology for Verification and Analysis : = Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings by: (書目-語言資料,印刷品)

Advances in Biometric Person Authentication : = International Workshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22 - 23, 2005, Proceedings by: (書目-語言資料,印刷品)

Dependable Computing : = Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings by: (書目-語言資料,印刷品)

Self-Stabilizing Systems : = 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 by: (書目-語言資料,印刷品)

Virtual Storytelling. Using Virtual Reality Technologies for Storytelling : = Third International Conference, VS 2005, Strasbourg, France, November 30-December 2, 2005, Proceedings by: (書目-語言資料,印刷品)

Socionics : = Scalability of Complex Social Systems by: (書目-語言資料,印刷品)

Embedded and Ubiquitous Computing - EUC 2005 Workshops : = EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 8-9, 2005 by: (書目-語言資料,印刷品)

Embedded and Ubiquitous Computing - EUC 2005 : = International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings by: (書目-語言資料,印刷品)

Embedded Software and Systems : = Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings by: (書目-語言資料,印刷品)

Technologies for Advanced Heterogeneous Networks : = First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005, Proceedings by: (書目-語言資料,印刷品)

Formal Modeling and Analysis of Timed Systems : = Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings by: (書目-語言資料,印刷品)

XML for Bioinformatics by: (書目-語言資料,印刷品)

Event-Triggered and Time-Triggered Control Paradigms by: (書目-語言資料,印刷品)

Information Processing and Security Systems 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: (書目-語言資料,印刷品)

Biometric Systems = Technology, Design and Performance Evaluation / by: (書目-語言資料,印刷品)

JDF : = Process Integration, Technology, Product Description by: (書目-語言資料,印刷品)

Software Agent-Based Applications, Platforms and Development Kits by: (書目-語言資料,印刷品)

UML for SOC Design by: (書目-語言資料,印刷品)

System Level Design of Reconfigurable Systems-on-Chip by: (書目-語言資料,印刷品)

Functional Verification of Programmable Embedded Architectures = A Top-Down Approach / by: (書目-語言資料,印刷品)

New Algorithms, Architectures and Applications for Reconfigurable Computing by: (書目-語言資料,印刷品)

SharePoint 2003 User's Guide by: (書目-語言資料,印刷品)

Expert Oracle by: (書目-語言資料,印刷品)

Pro Service-Oriented Smart Clients with .NET 2.0 by: (書目-語言資料,印刷品)

Innovation in Manufacturing Networks = Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23-25, 2008 / by: (書目-語言資料,印刷品)

Coordination models and languages = 10th international conference, coordination 2008, Oslo, Norway, June 4-6, 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: (書目-語言資料,印刷品)

Pervasive computing = 6th international conference, Pervasive 2008, Sydney, Australia, May 19-22, 2008 : proceedings / by: (書目-語言資料,印刷品)

Formal methods for industrial critical systems = 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / by: (書目-語言資料,印刷品)

Embedded systems specification and design languages = selected contributions from FDL'07 / by: (書目-語言資料,印刷品)

Moving Wearables into the Mainstream = Taming the Borg / by: (書目-語言資料,印刷品)

Network Performance Analysis = Using the J Programming Language / 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: (書目-語言資料,印刷品)

Enterprise Applications and Services in the Finance Industry = 3rd International Workshop, FinanceCom 2007, Montreal, Canada, December 8, 2007. Revised Papers / by: (書目-語言資料,印刷品)

Wireless Sensor Networks = 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 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 /. I by: (書目-語言資料,印刷品)

Persuasive Technology = Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings / by: (書目-語言資料,印刷品)

Ingredients for Successful System Level Design Methodology by: (書目-語言資料,印刷品)

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support = Results of the IMPROVE Project / 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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Hybrid Systems: Computation and Control = 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings / by: (書目-語言資料,印刷品)

Computer Music Modeling and Retrieval. Sense of Sounds = 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers / by: (書目-語言資料,印刷品)

Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms by: (書目-語言資料,印刷品)

GeoSensor Networks = Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers / by: (書目-語言資料,印刷品)

Cryptographic Hardware and Embedded Systems -- CHES 2008 = 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings / by: (書目-語言資料,印刷品)

Information Security = 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security = 27th international conference, Safecomp 2008 Newcastle upon Tyne, UK, September 22-25, 2008 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: (書目-語言資料,印刷品)

Practical django projects by: (書目-語言資料,印刷品)

Wireless sensor networks = 6th European conference, EWSN 2009, Cork, Ireland, February 11-13, 2009 ; proceedings / by: (書目-語言資料,印刷品)

Network control and optimization = Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers / by: (書目-語言資料,印刷品)

Transactions on computational science IV = special issue on security in computing / by: (書目-語言資料,印刷品)

Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings / by: (書目-語言資料,印刷品)

Pervasive computing = 7th international conference,Pervasive 2009, Nara, Japan, May 11-14, 2009 ; proceedings / by: (書目-語言資料,印刷品)

Pervasive healthcare computing = EMR/EHR, wireless and health monitoring / by: (書目-語言資料,印刷品)

Mobile Wireless Middleware, Operating Systems and Applications = Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings / by: (書目-語言資料,印刷品)

Languages for embedded systems and their applications = selected contributions on specification, design, and verification from FDL'08 / by: (書目-語言資料,印刷品)

Beginning Joomla! by: (書目-語言資料,印刷品)

Quantum communication and quantum networking = First International Conference, QuantumComm 2009, Naples, Italy, October 26-30, 2009 : revised selected papers / by: (書目-語言資料,印刷品)

Wireless sensor networks = 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010 : proceedings / by: (書目-語言資料,印刷品)

Architecting critical systems = first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 : proceedings / by: (書目-語言資料,印刷品)

Information processing in computer-assisted interventions = first international conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010 : proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2009 parallel processing workshops = HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009 : revised selected papers / by: (書目-語言資料,印刷品)

Hardware based packet classification for high speed internet routers by: (書目-語言資料,印刷品)

IEC 61131-3 = programming industrial automation systems : concepts and programming languages, requirements for programming systems, decision-making aids / by: (書目-語言資料,印刷品)

Architecture-based design of multi-agent systems by: (書目-語言資料,印刷品)

Secure integrated circuits and systems by: (書目-語言資料,印刷品)

Latent variable analysis and signal separation = 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010, proceedings / by: (書目-語言資料,印刷品)

Evolvable systems = from biology to hardware : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, proceedings / by: (書目-語言資料,印刷品)

Economics of grids, clouds, systems, and services = 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010, proceedings / by: (書目-語言資料,印刷品)

Radio frequency identification = security and privacy issues : 6th international workshop, RFIDSec 2010, Istanbul, Turkey, June 8-9, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Artificial intelligence and computational intelligence = international conference, AICI 2010, Sanya, China, October 23-24, 2010 : proceedings, part II / 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: (書目-語言資料,印刷品)

Artificial intelligence and computational intelligence = international conference, AICI 2010, Sanya, China, October 23-24, 2010 : proceedings, part I / by: (書目-語言資料,印刷品)

Social robotics = Second International Conference on Social Robotics, ICSR 2010, Singapore, November 23-24, 2010, proceedings / by: (書目-語言資料,印刷品)

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

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

Views on evolvability of embedded systems by: (書目-電子資源)

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

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

Agents for games and simulations II = trends in techniques, concepts and design / 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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

OFDM = concepts for future communication systems / 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 V = 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.. Part I / by: (書目-電子資源)

Broadband satellite communication systems and the challenges of mobility = IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22-27, 2004, Toulouse, France / 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: (書目-電子資源)

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: (書目-電子資源)

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

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

Euro-Par 2012 parallel processing = 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : 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: (書目-電子資源)

Advanced methods, techniques, and applications in modeling and simulation = Asia Simulation Conference 2011, Seoul, Korea, November 2011 : proceedings / by: (書目-電子資源)

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

Economics of grids, clouds, systems, and services = 9th international conference, GECON 2012, Berlin, Germany, November 27-28, 2012 : proceedings / by: (書目-電子資源)

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

Android best practices by: (書目-電子資源)

Body sensor networks by: (書目-電子資源)

Computer networks = 21st International Conference, CN 2014, Brunow, Poland, June 23-27, 2014 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : proceedings / by: (書目-電子資源)

Cryptographic hardware and embedded systems - CHES 2014 = 16th International Workshop, Busan, South Korea, September 23-26, 2014 : proceedings / by: (書目-電子資源)

Testing software and systems = 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014 : proceedings / by: (書目-電子資源)

Haptics = neuroscience, devices, modeling, and applications : 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014 : proceedings.. Part I / by: (書目-電子資源)

Haptics = neuroscience, devices, modeling, and applications : 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014 : proceedings.. Part II / by: (書目-電子資源)

Indoor location-based services = prerequisites and foundations / by: (書目-電子資源)

Supercomputing for molecular dynamics simulations = handling multi-trillion particles in nanofluidics / by: (書目-電子資源)

Human centered computing = first International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014 : revised selected papers / by: (書目-電子資源)

Communication technologies for vehicles = 8th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015, Sousse, Tunisia, May 6-8, 2015 : proceedings / by: (書目-電子資源)

Global navigation satellite systems and their applications by: (書目-電子資源)

Inclusive smart cities and e-Health = 13th International Conference on Smart Homes and Health Telematics, ICOST 2015, Geneva, Switzerland, June 10-12, 2015 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings / by: (書目-電子資源)

Reliable software technologies - Ada-Europe 2015 = 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015 : proceedings / by: (書目-語言資料,印刷品)

Enhanced building information models = using IoT services and integration patterns / by: (書目-電子資源)

Ad hoc networks = 7th International Conference, AdHocHets 2015, San Remo, Italy, September 1-2, 2015 : proceedings / by: (書目-電子資源)

Internet of vehicles - safe and intelligent mobility = second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015 : proceedings / by: (書目-電子資源)

Future access enablers for ubiquitous and intelligent infrastructures = first International Conference, FABULOUS 2015, Ohrid, Republic of Macedonia, September 23-25, 2015 : revised selected papers / by: (書目-電子資源)

The FLP microsatellite platform = flight operations manual / by: (書目-電子資源)

Geo-informatics in resource management and sustainable ecosystem = third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015 : revised selected papers / by: (書目-電子資源)

Computer engineering and technology = 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015 : revised selected papers / by: (書目-電子資源)

Computational intelligence and intelligent systems = 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015 : revised selected papers / by: (書目-電子資源)

Engineering trustworthy software systems = first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures / by: (書目-電子資源)

Pervasive computing paradigms for mental health = 5th International Conference, MindCare 2015, Milan, Italy, September 24-25, 2015 : revised selected papers / by: (書目-電子資源)

Human centered computing = second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016 : revised selected papers / by: (書目-電子資源)

Cloud computing = 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015 : proceedings / by: (書目-電子資源)

Communication technologies for vehicles = 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastian, Spain, June 6-7, 2016 : proceedings / by: (書目-電子資源)

Reliable software technologies - Ada-Europe 2016 = 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016 : proceedings / by: (書目-電子資源)

Inclusive smart cities and digital health = 14th International Conference on Smart Homes and Health Telematics, ICOST 2016, Wuhan, China, May 25-27, 2016 : proceedings / by: (書目-電子資源)

Introducing the oscillations based paradigm = the simulation of agents and social systems / by: (書目-電子資源)

Universal access in human-computer interaction = users and context diversity : 10th International Conference, UAHCI 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings.. Part III / by: (書目-電子資源)

Universal access in human-computer interaction = interaction techniques and environments : 10th International Conference, UAHCI 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings.. Part II / by: (書目-電子資源)

Universal access in human-computer interaction = methods, techniques, and best practices : 10th International Conference, UAHCI 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings.. Part I / by: (書目-電子資源)

Haptics = perception, devices, control, and applications : 10th Iternational Conference, EuroHaptics 2016, London, UK, July 4-7, 2016 : proceedings.. Part I / by: (書目-電子資源)

Haptics = perception, devices, control, and applications : 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016 : proceedings.. Part II / by: (書目-電子資源)

Serious games = foundations, concepts and practice / by: (書目-電子資源)

Exploring the use of eye gaze controlled interfaces in automotive environments by: (書目-電子資源)

Industrial IoT technologies and applications = International Conference, Industrial IoT 2016, GuangZhou, China, March 25-26, 2016 : revised selected papers / by: (書目-電子資源)

Testing software and systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings / by: (書目-電子資源)

Leap motion for developers by: (書目-電子資源)

SiGe-based re-engineering of electronic warfare subsystems by: (書目-電子資源)

Applications for future internet = International Summit, AFI 2016, Puebla, Mexico, May 25-28, 2016 : revised selected papers / by: (書目-電子資源)

Ad hoc networks = 8th International Conference, ADHOCNETS 2016, Ottawa, Canada, September 26-27, 2016 : revised selected papers / by: (書目-電子資源)

Future intelligent vehicular technologies = first International Conference, Future 5V 2016, Porto, Portugal, September 15, 2016 : revised selected papers / by: (書目-電子資源)

Mobile networks and management = 8th International Conference, MONAMI 2016, Abu Dhabi, United Arab Emirates, October 23-24, 2016 : proceedings / by: (書目-電子資源)

Electronic voting = first International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016 : proceedings / by: (書目-電子資源)

Intelligent human computer interaction = 8th International Conference, IHCI 2016, Pilani, India, December 12-13, 2016 : proceedings / by: (書目-電子資源)

Interoperability, safety and security in IoT = second International Conference, InterIoT 2016 and Third International Conference, SaSeIoT 2016, Paris, France, October 26-27, 2016 : revised selected papers / by: (書目-電子資源)

Machine learning and intelligent communications = first International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016 : revised selected papers / by: (書目-電子資源)

Spinning up ServiceNow = IT service managers' guide to successful user adoption / by: (書目-電子資源)

Applications of evolutionary computation = 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017 : proceedings.. Part II / by: (書目-電子資源)

Applications of evolutionary computation = 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017 : proceedings.. Part I / by: (書目-電子資源)

API management = an architect's guide to developing and managing APIs for your organization / by: (書目-電子資源)

Eye tracking methodology = theory and practice / by: (書目-電子資源)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part V / by: (書目-電子資源)

Collaboration technologies and social computing = 9th International Conference, CollabTech 2017, Saskatoon, SK, Canada, August 8-10, 2017 : proceedings / by: (書目-電子資源)

Towards autonomous robotic systems = 18th Annual Conference, TAROS 2017, Guildford, UK, July 19-21, 2017 : proceedings / by: (書目-電子資源)

Quality, reliability, security and robustness in heterogeneous networks = 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016 : proceedings / by: (書目-電子資源)

Industrial IoT technologies and applications = second EAI International Conference, Industrial IoT 2017, Wuhu, China, March 25-26, 2017 : proceedings / by: (書目-電子資源)

Smart grid inspired future technologies = second EAI International Conference, SmartGIFT 2017, London, UK, March 27-28, 2017 : proceedings / by: (書目-電子資源)

Computing in smart toys by: (書目-電子資源)

Smart energy research = at the crossroads of engineering, economics, and computer science : 3rd and 4th IFIP TC 12 International Conferences, SmartER Europe 2016 and 2017, Essen, Germany, February 16-18, 2016, and February 9, 2017 : revised selected papers / by: (書目-電子資源)

Progress in artificial intelligence = 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017 : proceedings / by: (書目-電子資源)

Scaling OpenMP for exascale performance and portability = 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017 : proceedings / by: (書目-電子資源)

Enhanced quality of life and smart living = 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017 : proceedings / by: (書目-電子資源)

Interactive collaborative robotics = second International Conference, ICR 2017, Hatfield, UK, September 12-16, 2017 : proceedings / by: (書目-電子資源)

Pro Java clustering and scalability = building real-time apps with Spring, Cassandra, Redis, WebSocket and RabbitMQ / by: (書目-電子資源)

Data driven approaches in digital education = 12th European Conference on Technology Enhanced Learning, EC-TEL 2017, Tallinn, Estonia, September 12-15, 2017 : proceedings / by: (書目-電子資源)

KI 2017 = advances in artificial intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017 : proceedings / by: (書目-電子資源)

Communication systems and networks = 9th International Conference, COMSNETS 2017, Bengaluru, India, January 4-8, 2017 : revised selected papers and invited papers / by: (書目-電子資源)

Testing software and systems = 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedings / by: (書目-電子資源)

Critical infrastructure protection XI = 11th IFIP WG 11.10 International Conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017 : revised selected papers / by: (書目-電子資源)

Supercomputing = third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers / by: (書目-電子資源)

Virtual reality and augmented reality = 14th EuroVR International Conference, EuroVR 2017, Laval, France, December 12-14, 2017 : proceedings / by: (書目-電子資源)

Applications of soft computing for the web by: (書目-電子資源)

System level design from HW/SW to memory for embedded systems = 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguacu, Brazil, November 3-6, 2015 : proceedings / by: (書目-電子資源)

Computer engineering and technology = 21st CCF Conference, NCCET 2017, Xiamen, China, August 16-18, 2017 : revised selected papers / by: (書目-電子資源)

Ad hoc networks = 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28-29, 2017 : proceedings / by: (書目-電子資源)

Euro-Par 2017 = parallel processing workshops : Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017 : revised selected papers / by: (書目-電子資源)

Smart technology = first International Conference, MTYMEX 2017, Monterrey, Mexico, May 24-26, 2017 : proceedings / by: (書目-電子資源)

Communications and networking = 12th International Conference, ChinaCom 2017, Xi'an, China, October 10-12, 2017 : proceedings.. Part II / by: (書目-電子資源)

Implantable sensors and systems = from theory to practice / by: (書目-電子資源)

Smartphone-based indoor map construction = principles and applications / by: (書目-電子資源)

Context-aware systems and applications, and nature of computation and communication = 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017 : proceedings / by: (書目-電子資源)

Persuasive technology = 13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018 : proceedings / by: (書目-電子資源)

Applications of evolutionary computation = 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018 : proceedings / by: (書目-電子資源)

Trends in functional programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017 : revised selected papers / by: (書目-電子資源)

Communication technologies for vehicles = 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018 : proceedings / by: (書目-電子資源)

Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings / by: (書目-電子資源)

Transactions on computational collective intelligence XXVIII by: (書目-電子資源)

GNSS for rail transportation = challenges and opportunities / by: (書目-電子資源)

Mobile networks and management = 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017 : proceedings / by: (書目-電子資源)

Symbiotic interaction = 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18-19, 2017 : revised selected papers / by: (書目-電子資源)

Smart societies, infrastructure, technologies and applications = first International Conference, SCITA 2017, Jeddah, Saudi Arabia, November 27-29, 2017 : proceedings / by: (書目-電子資源)

Emerging technologies in computing = first International Conference, iCETiC 2018, London, UK, August 23-24, 2018 : proceedings / by: (書目-電子資源)

Future access enablers for ubiquitous and intelligent infrastructures = third International Conference, FABULOUS 2017, Bucharest, Romania, October 12-14, 2017 : proceedings / by: (書目-電子資源)

Security in computer and information sciences = first International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018 : revised selected papers / by: (書目-電子資源)

Robotic grasping and manipulation = first Robotic Grasping and Manipulation Challenge, RGMC 2016, held in Conjunction with IROS 2016, Daejeon, South Korea, October 10-12, 2016 : revised papers / by: (書目-電子資源)

Internet and distributed computing systems = 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017 : proceedings / by: (書目-電子資源)

Mobile web and intelligent information systems = 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018 : proceedings / by: (書目-電子資源)

From animals to animats 15 = 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018 : proceedings / by: (書目-電子資源)

Intelligent robotics and applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018 : proceedings.. Part I / by: (書目-電子資源)

Intelligent robotics and applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018 : proceedings.. Part II / by: (書目-電子資源)

Biomimetic and biohybrid systems = 7th International Conference, Living Machines 2018, Paris, France, July 17-20, 2018 : proceedings / by: (書目-電子資源)

Bioinformatics research and applications = 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018 : proceedings / by: (書目-電子資源)

Augmented reality, virtual reality, and computer graphics = 5th International Conference, AVR 2018, Otranto, Italy, June 24-27, 2018 : proceedings.. Part I / by: (書目-電子資源)

E-Business @ Print = Internet-Based Services and Processes / by: (書目-語言資料,印刷品)

Advances in Design and Specification Languages for SoCs = Selected Contributions from FDL'04 / by: (書目-語言資料,印刷品)

Defence Industry Applications of Autonomous Agents and Multi-Agent Systems by: (書目-語言資料,印刷品)

The Definitive Guide to Django = Web Development Done Right / by: (書目-語言資料,印刷品)

Beginning PHP and MySQL E-Commerce = From Novice to Professional / by: (書目-語言資料,印刷品)

Reliable Software Technologies Ada-Europe 2008 = 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings / by: (書目-語言資料,印刷品)

Smart Homes and Health Telematics = 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings / by: (書目-語言資料,印刷品)

E-Government Ict Professionalism and Competences Service Science by: (書目-語言資料,印刷品)

Office and SharePoint 2007 User's Guide = Integrating SharePoint with Excel, Outlook, Access, and Word / 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: (書目-語言資料,印刷品)

Interactive storytelling = First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, Erfurt, Germany, November 26-29, 2008, proceedings / by: (書目-語言資料,印刷品)

Foundations of 3D graphics programming = using JOGL and Java3D / by: (書目-語言資料,印刷品)

Language-driven exploration and implementation of partially re-configurable ASIPs by: (書目-語言資料,印刷品)

Hardware-dependent software = principles and practice / by: (書目-語言資料,印刷品)

The definitive guide to Pylons by: (書目-語言資料,印刷品)

Information security applications = 9th international workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, revised selected papers / by: (書目-語言資料,印刷品)

Unleash the system on chip using FPGAs and Handel C by: (書目-語言資料,印刷品)

Artificial life models in hardware by: (書目-語言資料,印刷品)

Networks for grid applications = Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers / by: (書目-語言資料,印刷品)

Dynamic system reconfiguration in heterogeneous platforms = the MORPHEUS approach / by: (書目-語言資料,印刷品)

High performance computing and applications = second international conference, HPCA 2009, Shanghai, China, August 10-12, 2009 : revised selected papers / 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: (書目-語言資料,印刷品)

Future multimedia networking = third international workshop, FMN 2010, Krakow, Poland, June 17-18, 2010 : proceedings / 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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Network security 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: (書目-語言資料,印刷品)

Networks for grid applications = third international ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers / by: (書目-語言資料,印刷品)

Critical information infrastructures security = 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009 : revised papers / by: (書目-語言資料,印刷品)

Haptics = generating and perceiving tangible sensations, International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Haptics = generating and perceiving tangible sensations, International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Handbook of FPGA design security by: (書目-語言資料,印刷品)

Stabilization, safety, and security of distributed systems = 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, proceedings / by: (書目-語言資料,印刷品)

Formal methods for industrial critical systems = 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings / 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: (書目-語言資料,印刷品)

Smart sensing and context = 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010, proceedings / by: (書目-語言資料,印刷品)

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

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

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

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

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

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

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

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

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

Guide to software development = designing and managing the life cycle / 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: (書目-電子資源)

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: (書目-電子資源)

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

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

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

Communication technologies for vehicles = 4th International Workshop, Nets4Cars/Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012 : proceedings / 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: (書目-電子資源)

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: (書目-電子資源)

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

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

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

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

Image and signal processing = 5th international conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012 : proceedings / 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: (書目-電子資源)

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

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

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

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

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

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

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

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

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

Self-sustaining systems = first workshop, S3 2008 Potsdam, Germany, May 15-16, 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: (書目-電子資源)

Medical informatics, e-Health = fundamentals and applications / by: (書目-電子資源)

Quantum state transfer and network engineering by: (書目-電子資源)

Ad hoc networks = 5th International ICST Conference, ADHOCNETS 2013, Barcelona, Spain, October 2013 : revised selected papers / by: (書目-電子資源)

Wireless sensor networks = 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014 : proceedings / by: (書目-電子資源)

Small-scale robotics = from nano-to-millimeter-sized robotic systems and applications : first International Workshop at ICRA 2013, Karlsruhe, Germany, May 6, 2013 : revised and extended papers / by: (書目-電子資源)

Biometrics in the new world = the cloud, mobile technology and pervasive identity / by: (書目-電子資源)

Advances in wireless sensor networks = 7th China Conference, CWSN 2013, Qingdao, China, October 17-19, 2013 : revised selected papers / by: (書目-電子資源)

Intelligence for embedded systems = a methodological approach / by: (書目-電子資源)

Collaborative design for embedded systems = co-modelling and co-simulation / by: (書目-電子資源)

Communication technologies for vehicles = 6th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2014, Offenburg, Germany, May 6-7, 2014 : proceedings / by: (書目-電子資源)

Electrical design of through silicon via by: (書目-電子資源)

Pervasive computing and the networked world = Joint International Conference, ICPCA/SWS 2013, Vina del Mar, Chile, December 5-7, 2013 : revised selected papers / by: (書目-電子資源)

High-performance computing on the Intel Xeon Phi = how to fully exploit MIC architectures / by: (書目-電子資源)

Agent-oriented software engineering = reflections on architectures, methodologies, languages, and frameworks / by: (書目-電子資源)

Image and signal processing = 6th International Conference, ICISP 2014, Cherbourg, France, June 30 - July 2, 2014 : proceedings / by: (書目-電子資源)

Reliable software technologies - Ada-Europe 2014 = 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014 : proceedings / by: (書目-電子資源)

Algorithm & SoC design for automotive vision systems = for smart safe driving system / by: (書目-電子資源)

Advanced API security = securing APIs with OAuth 2.0, OpenID Connect, JWS, and JWE / by: (書目-電子資源)

Beginning application lifecycle management by: (書目-電子資源)

Information security = 17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014 : proceedings / by: (書目-電子資源)

Intelligent robotics and applications = 7th International Conference, ICIRA 2014, Guangzhou, China, December 17-20, 2014 : proceedings.. Part II / by: (書目-電子資源)

Intelligent robotics and applications = 7th International Conference, ICIRA 2014, Guangzhou, China, December 17-20, 2014 : proceedings.. Part I / by: (書目-電子資源)

Physiological computing systems = First International Conference, PhyCS 2014, Lisbon, Portugal, January 7-9, 2014 : revised selected papers / by: (書目-電子資源)

Sound, music, and motion = 10th international symposium, CMMR 2013, Marseille, France, October 15-18, 2013 : revised selected papers / by: (書目-電子資源)

Energy efficient smart phones for 5G networks by: (書目-電子資源)

Hybrid dynamical systems = observation and control / by: (書目-電子資源)

Computational creativity research = towards creative machines / by: (書目-電子資源)

Smart homes and health telematics = 12th International Conference, ICOST 2014, Denver, CO, USA, June 25-27, 2014 : revised papers / by: (書目-電子資源)

Wireless sensor networks = 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015 : proceedings / by: (書目-電子資源)

Geo-informatics in resource management and sustainable ecosystem = second International Conference, GRMSE 2014, Ypsilanti, MI, USA, October 3-5, 2014 : proceedings / by: (書目-電子資源)

The visual language of technique.. Volume 2,. Heritage and expectations in education by: (書目-電子資源)

Practical biometrics = from aspiration to implementation / by: (書目-電子資源)

Advances in wireless sensor networks = The 8th China Conference, CWSN 2014, Xi'an, China, October 31 - November 2, 2014 : revised selected papers / by: (書目-電子資源)

Internet of things = user-centric IoT : first International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014 : revised selected papers.. Part I / by: (書目-語言資料,印刷品)

Internet of things = IoT infrastructures : first International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014 : revised selected papers.. Part II / by: (書目-語言資料,印刷品)

Advances in spatial data handling and analysis = select papers from the 16th IGU Spatial Data Handling Symposium / by: (書目-語言資料,印刷品)

Mobile services for toy computing by: (書目-電子資源)

E-Voting and identity = 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015 : proceedings / by: (書目-電子資源)

Latent variable analysis and signal separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015 : proceedings / by: (書目-電子資源)

Intelligent robotics and applications = 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015 : proceedings.. Part III / by: (書目-電子資源)

Intelligent robotics and applications = 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015 : proceedings.. Part II / by: (書目-電子資源)

Intelligent robotics and applications = 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015 : proceedings.. Part I / by: (書目-電子資源)

Real-Time C++ = efficient object-oriented and template microcontroller programming / by: (書目-電子資源)

Testing Software and Systems = 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings / by: (書目-電子資源)

Embedded system technology = 13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015 : revised selected papers / by: (書目-電子資源)

Measurement, modelling and evaluation of dependable computer and communication systems = 18th International GI/ITG Conference, MMB & DFT 2016, Munster, Germany, April 4-6, 2016 : proceedings / by: (書目-電子資源)

Contemporary consumer health informatics by: (書目-電子資源)

Beginning Samsung ARTIK = a guide for developers / by: (書目-電子資源)

Euro-Par 2016 = parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016 : proceedings / by: (書目-電子資源)

Interactive collaborative robotics = first International Conference, ICR 2016, Budapest, Hungary, August 24-26, 2016 : proceedings / by: (書目-電子資源)

PRIMA 2016 = princiles and practice of multi-agent systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016 : proceedings / by: (書目-電子資源)

Internet science = third International Conference, INSCI 2016, Florence, Italy, September 12-14, 2016 : proceedings / by: (書目-電子資源)

Music, mind, and embodiment = 11th International Symposium, CMMR 2015, Plymouth, UK, June 16-19, 2015 : revised selected papers / by: (書目-電子資源)

Critical systems = formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings / by: (書目-電子資源)

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

Oracle Application Express administration = for DBAs and Developers / by: (書目-電子資源)

Internet of things = IoT Infrastructures : second International Summit, IoT 360 2015, Rome, Italy, October 27-29, 2015 : revised selected papers.. Part I / by: (書目-電子資源)

Internet of things = IoT Infrastructures : second International Summit, IoT 360 2015, Rome, Italy, October 27-29, 2015 : revised selected papers.. Part II / by: (書目-電子資源)

Personal satellite services = next-generation satellite networking and communication systems : 6th International Conference, PSATS 2014, Genoa, Italy, July 28-29, 2014 : revised selected papers / by: (書目-電子資源)

Development of a cyber physical system for fire safety by: (書目-電子資源)

Swarm intelligence based optimization = second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016 : revised selected papers / by: (書目-電子資源)

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

Computer engineering and technology = 20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016 : revised selected papers / by: (書目-電子資源)

Advances in visual computing = 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016 : proceedings.. Part II / by: (書目-電子資源)

Advances in visual computing = 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016 : proceedings.. Part I / by: (書目-電子資源)

Internet of things technologies for healthcare = third International Conference, HealthyIoT 2016, Vasteras, Sweden, October 18-19, 2016 : revised selected papers / by: (書目-電子資源)

Smart grid inspired future technologies = first International Conference, SmartGIFT 2016, Liverpool, UK, May 19-20, 2016 : revised selected papers / by: (書目-電子資源)

eHealth 360 = International Summit on eHealth, Budapest, Hungary, June 14-16, 2016 : revised selected papers / by: (書目-電子資源)

Compressive sensing based algorithms for electronic defence by: (書目-電子資源)

Geo-spatial knowledge and intelligence = 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016 : revised selected papers.. Part I / by: (書目-電子資源)

Geo-spatial knowledge and intelligence = 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016 : revised selected papers.. Part II / by: (書目-電子資源)

Video analytics = face and facial expression recognition and audience measurement : third International Workshop, VAAM 2016, and Second International Workshop, FFER 2016, Cancun, Mexico, December 4, 2016 : revised selected papers / by: (書目-電子資源)

Transactions on edutainment XIII by: (書目-電子資源)

Blockchain basics = a non-technical introduction in 25 steps / by: (書目-電子資源)

Communication Technologies for Vehicles = 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017 : proceedings / by: (書目-電子資源)

Ambient Intelligence = 13th European Conference, AmI 2017, Malaga, Spain, April 26-28, 2017 : proceedings / by: (書目-電子資源)

Love and sex with robots = second International Conference, LSR 2016, London, UK, December 19-20, 2016 : revised selected papers / by: (書目-電子資源)

Symbiotic interaction = 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29-30, 2016 : revised selected papers / by: (書目-電子資源)

ACS without an attitude by: (書目-電子資源)

Efficient biometric indexing and retrieval techniques for large-scale systems by: (書目-電子資源)

End-user development = 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017 : proceedings / by: (書目-電子資源)

Artificial intelligence and soft computing = 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017 : proceedings.. Part II / by: (書目-電子資源)

Artificial intelligence and soft computing = 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017 : proceedings.. Part I / by: (書目-電子資源)

Reliable software technologies - Ada-Europe 2017 = 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017 : proceedings / by: (書目-電子資源)

Sensor systems and software = 7th International Conference, S-Cube 2016, Sophia Antipolis, Nice, France, December 1-2, 2016 : revised selected papers / by: (書目-電子資源)

Smart objects and technologies for social good = second International Conference, GOODTECHS 2016, Venice, Italy, November 30 - December 1, 2016 : proceedings / by: (書目-電子資源)

Advanced computational methods in energy, power, electric vehicles, and their integration = International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017 : proceedings.. Part III / by: (書目-電子資源)

Intelligent computing, networked control, and their engineering applications = International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017 : proceedings.. Part II / by: (書目-電子資源)

Challenges and opportunity with big data = 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016 : revised selected papers / by: (書目-電子資源)

Model-based safety and assessment = 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017 : proceedings / by: (書目-電子資源)

Critical systems = formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings / by: (書目-電子資源)

Ad-hoc, mobile, and wireless networks = 16th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2017, Messina, Italy, September 20-22, 2017 : proceedings / by: (書目-電子資源)

E-Business and telecommunications = 13th International Joint Conference, ICETE 2016, Lisbon, Portugal, July 26-28, 2016 : revised selected papers / by: (書目-電子資源)

Computer vision systems = 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017 : revised selected papers / by: (書目-電子資源)

Artificial neural networks and machine learning - ICANN 2017 = 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017 : proceedings.. Part I / by: (書目-電子資源)

Artificial neural networks and machine learning - ICANN 2017 = 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017 : proceedings.. Part II / by: (書目-電子資源)

RoboCup 2016 = Robot World Cup XX / by: (書目-電子資源)

Stabilization, safety, and security of distributed systems = 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017 : proceedings / by: (書目-電子資源)

PRIMA 2017 = principles and practice of multi-agent systems : 20th International Conference, Nice, France, October 30 - November 3, 2017 : proceedings / by: (書目-電子資源)

Innovative security solutions for information technology and communications = 10th International Conference, SecITC 2017, Bucharest, Romania, June 8-9, 2017 : revised selected papers / by: (書目-電子資源)

Future and emerging trends in language technology = machine learning and big data : second International Workshop, FETLT 2016, Seville, Spain, November 30 -December 2, 2016 : revised selected papers / by: (書目-電子資源)

Selected areas in cryptography - SAC 2016 = 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016 : revised selected papers / by: (書目-電子資源)

Advanced concepts for intelligent vision systems = 18th International Conference, ACIVS 2017, Antwerp, Belgium, September 18-21, 2017 : proceedings / by: (書目-電子資源)

Autonomous agents and multiagent systems = AAMAS 2017 Workshops, Visionary Papers, Sao Paulo, Brazil, May 8-12, 2017 : revised selected papers / by: (書目-電子資源)

Intelligent human computer interaction = 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017 : proceedings / by: (書目-電子資源)

Mathematical aspects of computer and information sciences = 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017 : proceedings / by: (書目-電子資源)

Communications and networking = 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016 : proceedings.. Part I / by: (書目-電子資源)

Communications and networking = 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016 : proceedings.. Part II / by: (書目-電子資源)

Digital marketplaces unleashed by: (書目-電子資源)

e-Infrastructure and e-Services for Developing Countries = 8th International Conference, AFRICOMM 2016, Ouagadougou, Burkina Faso, December 6-7, 2016 : proceedings / by: (書目-電子資源)

Cloud infrastructures, services, and IoT systems for smart cities = second EAI International Conference, IISSC 2017 and CN4IoT 2017, Brindisi, Italy, April 20-21, 2017 : proceedings / by: (書目-電子資源)

Emerging technologies for developing countries = first International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 : proceedings / by: (書目-電子資源)

5G for future wireless networks = first International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017 : proceedings / by: (書目-電子資源)

Wireless internet = 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016 : proceedings / by: (書目-電子資源)

Ubiquitous communications and network computing = first International Conference, UBICNET 2017, Bangalore, India, August 3-5, 2017 : proceedings / by: (書目-電子資源)

Smart secure systems - IoT and Analytics Perspective = second International Conference on Intelligent Information Technologies, ICIIT 2017, Chennai, India, December 20-22, 2017 : proceedings / by: (書目-電子資源)

Large-scale scientific computing = 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017 : revised selected papers / by: (書目-電子資源)

OpenSHMEM and related technologies = big compute and big data convergence : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017 : revised selected papers / by: (書目-電子資源)

On the move to meaningful internet systems = OTM 2017 Workshops : Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23-28, 2017 : revised selected papers / by: (書目-電子資源)

Software technologies = applications and foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017 : revised selected papers / by: (書目-電子資源)

MultiMedia modeling = 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018 : proceedings.. Part II / by: (書目-電子資源)

MultiMedia modeling = 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018 : proceedings.. Part I / by: (書目-電子資源)

Modelling and simulation for autonomous systems = 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017 : revised selected papers / by: (書目-電子資源)

Real-Time C++ = efficient object-oriented and template microcontroller programming / by: (書目-電子資源)

Web engineering = 18th International Conference, ICWE 2018, Caceres, Spain, June 5-8, 2018 : proceedings / by: (書目-電子資源)

Advances in neural networks - ISNN 2018 = 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25-28, 2018 : proceedings / by: (書目-電子資源)

Autonomous control for a reliable internet of services = methods, models, approaches, techniques, algorithms, and tools / by: (書目-電子資源)

Global thoughts, local designs = INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017 : revised selected papers / by: (書目-電子資源)

Machines, computations, and universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018 : proceedings / by: (書目-電子資源)

Augmented reality, virtual reality, and computer graphics = 5th International Conference, AVR 2018, Otranto, Italy, June 24-27, 2018 : proceedings.. Part II / by: (書目-電子資源)

Computer and computing technologies in agriculture XI = 11th IFIP WG 5.14 International Conference, CCTA 2017, Jilin, China, August 12-15, 2017 : proceedings.. Part II / by: (書目-電子資源)

Computer and computing technologies in agriculture XI = 11th IFIP WG 5.14 International Conference, CCTA 2017, Jilin, China, August 12-15, 2017 : proceedings.. Part I / by: (書目-電子資源)

Computer Supported Cooperative Work and Social Computing = 13th CCF Conference, ChineseCSCW 2018, Guilin, China, August 18-19, 2018 : revised selected papers / by: (書目-電子資源)

Precision assembly in the digital age = 8th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2018, Chamonix, France, January 14-16, 2018 : revised selected papers / by: (書目-電子資源)

Human work interaction design = designing engaging automation : 5th IFIP WG 13.6 Working Conference, HWID 2018, Espoo, Finland, August 20 - 21, 2018 : revised selected papers / by: (書目-電子資源)

Supercomputing = 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24-25, 2018 : revised selected papers / by: (書目-電子資源)

Computational topology in image context = 7th International Workshop, CTIC 2019, Malaga, Spain, January 24-25, 2019 : proceedings / by: (書目-電子資源)

Mobile, secure, and programmable networking = 4th International Conference, MSPN 2018, Paris, France, June 18-20, 2018 : revised selected papers / by: (書目-電子資源)

Job scheduling strategies for parallel processing = 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018 : revised selected papers / by: (書目-電子資源)

Distributed computing by mobile entities = current research in moving and computing / by: (書目-電子資源)

Communication systems and networks = 10th International Conference, COMSNETS 2018, Bangalore, India, January 3-7, 2018 : extended selected papers / by: (書目-電子資源)

Computer vision - ECCV 2018 Workshops = Munich, Germany, September 8-14, 2018 : proceedings.. Part VI / by: (書目-電子資源)

Computer vision - ECCV 2018 Workshops = Munich, Germany, September 8-14, 2018 : proceedings.. Part I / by: (書目-電子資源)

Computer vision - ECCV 2018 Workshops = Munich, Germany, September 8-14, 2018 : proceedings.. Part III / by: (書目-電子資源)

Computer vision - ECCV 2018 Workshops = Munich, Germany, September 8-14, 2018 : proceedings.. Part V / by: (書目-電子資源)

Human-centered software engineering = 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3-5, 2018 : revised selected papers / by: (書目-電子資源)

Computer vision - ECCV 2018 Workshops = Munich, Germany, September 8-14, 2018 : proceedings.. Part IV / by: (書目-電子資源)

Databases theory and applications = 30th Australasian Database Conference, ADC 2019, Sydney, NSW, Australia, January 29 - February 1, 2019 : proceedings / by: (書目-電子資源)

Personas - user focused design by: (書目-電子資源)

People, personal data and the built environment by: (書目-電子資源)

Modelling and simulation for autonomous systems = 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17-19, 2018 : revised selected papers / by: (書目-電子資源)

Green, pervasive, and cloud computing = 13th International Conference, GPC 2018, Hangzhou, China, May 11-13, 2018 : revised selected papers / by: (書目-電子資源)

Applied reconfigurable computing = 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9-11, 2019 : proceedings / by: (書目-電子資源)

Applications of evolutionary computation = 22nd International Conference, EvoApplications 2019, held as part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019 : proceedings / by: (書目-電子資源)

Robot intelligence technology and applications = 6th International Conference, RiTA 2018, Kuala Lumpur, Malaysia, December 16-18, 2018 : revised selected papers / by: (書目-電子資源)

Gerontechnology = first International Workshop, IWoG 2018, Caceres, Spain, and Evora, Portugal, 14 and 17 December, 2018 : revised selected papers / by: (書目-電子資源)

5G for future wireless networks = second EAI International Conference, 5GWN 2019, Changsha, China, February 23-24, 2019 : proceedings / by: (書目-電子資源)

Cognitive systems and signal processing = 4th International Conference, ICCSIP 2018, Beijing, China, November 29 - December 1, 2018 : revised selected papers.. Part II / by: (書目-電子資源)

Cognitive systems and signal processing = 4th International Conference, ICCSIP 2018, Beijing, China, November 29 - December 1, 2018 : revised selected papers.. Part I / by: (書目-電子資源)

Cyber physical systems = design, modeling, and evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017 : revised selected papers / by: (書目-電子資源)

Artificial general intelligence = 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing = 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017 : proceedings / by: (書目-電子資源)

Computer analysis of images and ptterns = 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017 : proceedings.. Part I / by: (書目-電子資源)

Computer analysis of images and patterns = 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017 : proceedings.. Part II / by: (書目-電子資源)

Cooperative design, visualization, and engineering = 14th International Conference, CDVE 2017, Mallorca, Spain, September 17-20, 2017 : proceedings / by: (書目-電子資源)

Cryptographic hardware and embedded systems - CHES 2017 = 19th International Conference, Taipei, Taiwan, September 25-28, 2017 : proceedings / by: (書目-電子資源)

Digital human modeling = applications in health, safety, ergonomics, and risk management : health and safety : 8th International Conference, DHM 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part I / by: (書目-電子資源)

Digital human modeling = applications in health, safety, ergonomics, and risk management : health and safety : 8th International Conference, DHM 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part II / by: (書目-電子資源)

Euro-Par 2017 = parallel processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017 : proceedings / by: (書目-電子資源)

Industrial applications of holonic and multi-agent systems = 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017 : proceedings / by: (書目-電子資源)

Mobile web and intelligent information systems = 14th International Conference, MobiWIS 2017, Prague, Czech Republic, August 21-23, 2017 : proceedings / by: (書目-電子資源)

Modeling and using context = 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017 : proceedings / by: (書目-電子資源)

Passive and active measurement = 18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017 : proceedings / by: (書目-電子資源)

CyberParks - the interface between people, places and technology = new approaches and perspectives / by: (書目-電子資源)

Artificial intelligence in health = first International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018 : revised selected papers / by: (書目-電子資源)

Transactions on pattern languages of programming IV by: (書目-電子資源)

Internet of things = information processing in an increasingly connected world : first IFIP International Cross-Domain Conference, IFIPIoT 2018, held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018 : revised selected papers / by: (書目-電子資源)

HCI International 2017 - Posters' extended abstracts = 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part II / by: (書目-電子資源)

HCI International 2017 - Posters' extended abstracts = 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part I / by: (書目-電子資源)

Technological innovation for smart systems = 8th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2017, Costa de Caparica, Portugal, May 3-5, 2017 : proceedings / by: (書目-電子資源)

Human-computer interaction = interaction contexts : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part II / by: (書目-電子資源)

Human-computer interaction = user interface design, development and multimodality : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part I / by: (書目-電子資源)

Neural information processing = 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017 : proceedings.. Part VI / by: (書目-電子資源)

Neural information processing = 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017 : proceedings.. Part V / by: (書目-電子資源)

Pattern recognition and machine intelligence = 7th International Conference, PReMI 2017, Kolkata, India, December 5-8, 2017 : proceedings / by: (書目-電子資源)

Smart cities = second International Conference, Smart-CT 2017, Malaga, Spain, June 14-16, 2017 : proceedings / by: (書目-電子資源)

Social robotics = 9th International Conference, ICSR 2017, Tsukuba, Japan, November 22-24, 2017 : proceedings / by: (書目-電子資源)

Universal access in human-computer interaction = designing novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part I / by: (書目-電子資源)

Universal access in human-computer interaction = designing novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part II / by: (書目-電子資源)

Universal access in human-computer interaction = designing novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part III / by: (書目-電子資源)

Technology and innovation in learning, teaching and education = first International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20-22, 2018 : revised selected papers / by: (書目-電子資源)

Evaluation of novel approaches to software engineering = 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018 : revised selected papers / by: (書目-電子資源)

Artificial intelligence and mobile services - AIMS 2019 = 8th International Conference, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings / by: (書目-電子資源)

Artificial intelligence in education = 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019 : proceedings.. Part II / by: (書目-電子資源)

Machine learning for networking = first International Conference, MLN 2018, Paris, France, November 27-29, 2018 : revised selected papers / by: (書目-電子資源)

Computational modeling of objects presented in images = fundamentals, methods, and applications : 6th International Conference, CompIMAGE 2018, Cracow, Poland, July 2-5, 2018 : revised selected papers / by: (書目-電子資源)

Artificial intelligence and soft computing = 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16-20, 2019 : proceedings.. Part II / by: (書目-電子資源)

Mobile, secure, and programmable networking = 5th International Conference, MSPN 2019, Mohammedia, Morocco, April 23-24, 2019 : revised selected papers / by: (書目-電子資源)

Artificial intelligence in education = 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019 : proceedings.. Part I / by: (書目-電子資源)

Coordination models and languages = 21st IFIP WG 6.1 International Conference, COORDINATION 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings / by: (書目-電子資源)

Towards autonomous robotic systems = 20th Annual Conference, TAROS 2019, London, UK, July 3-5, 2019 : proceedings.. Part I / by: (書目-電子資源)

Cyber physical systems = model-based design : 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018 : revised selected papers / by: (書目-電子資源)

Distributed applications and interoperable systems = 19th IFIP WG 6.1 International Conference, DAIS 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings / by: (書目-電子資源)

Information technology in disaster risk reduction = third IFIP TC 5 DCITDRR International Conference, ITDRR 2018, held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018 : revised selected papers / by: (書目-電子資源)

HCI International 2019 - late breaking posters = 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings / by: (書目-電子資源)

Explainable, transparent autonomous agents and multi-agent systems = first International Workshop, EXTRAAMAS 2019, Montreal, QC, Canada, May 13-14, 2019 : revised selected papers / by: (書目-電子資源)

Wired/wireless internet communications = 17th IFIP WG 6.2 International Conference, WWIC 2019, Bologna, Italy, June 17-18, 2019 : proceedings / by: (書目-電子資源)

Internet of things, smart spaces, and next generation networks and systems = 19th International Conference, NEW2AN 2019, and 12th Conference, ruSMART 2019, St. Petersburg, Russia, August 26-28, 2019 : proceedings / by: (書目-電子資源)

Ad-Hoc, mobile, and wireless networks = 18th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1-3, 2019 : proceedings / by: (書目-電子資源)

Pattern recognition and image analysis = 9th Iberian Conference, IbPRIA 2019, Madrid, Spain, July 1-4, 2019 : proceedings.. Part II / by: (書目-電子資源)

Pattern recognition and image analysis = 9th Iberian Conference, IbPRIA 2019, Madrid, Spain, July 1-4, 2019 : proceedings.. Part I / by: (書目-電子資源)

Real-time linked dataspaces = enabling data ecosystems for intelligent systems / by: (書目-電子資源)

Innovations for community services = 20th International Conference, I4CS 2020, Bhubaneswar, India, January 12-14, 2020 : proceedings / by: (書目-電子資源)

Pattern recognition and artificial intelligence = third Mediterranean Conference, MedPRAI 2019, Istanbul, Turkey, December 22-23, 2019 : proceedings / by: (書目-電子資源)

Connected health in smart cities by: (書目-電子資源)

Advanced API security = OAuth 2.0 and beyond / by: (書目-電子資源)

Parallel architectures, algorithms and programming = 10th International Symposium, PAAP 2019, Guangzhou, China, December 12-14, 2019 : revised selected papers / by: (書目-電子資源)

Environmental software systems = data science in action : 13th IFIP WG 5.11 International Symposium, ISESS 2020, Wageningen, the Netherlands, February 5-7, 2020 : proceedings / by: (書目-電子資源)

Smart cities = second Ibero-American Congress, ICSC-CITIES 2019, Soria, Spain, October 7-9, 2019 : revised selected papers / by: (書目-電子資源)

Cyber physical systems = model-based design : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019 : revised selected papers / by: (書目-電子資源)

Internet of Things, a confluence of many disciplines = second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 - November 1, 2019 : revised selected papers / by: (書目-電子資源)

Tools and techniques for high performance computing = selected Workshops, HUST, SE-HER and WIHPC, held in conjunction with SC 2019, Denver, CO, USA, November 17-18, 2019, Revised Selected Papers / by: (書目-電子資源)

Measurement, modelling, and evaluation of computing systems = 20th International GI/ITG Conference, MMB 2020, Saarbrucken, Germany, March 16-18, 2020 : proceedings / by: (書目-電子資源)

Modelling and simulation for autonomous systems = 6th International Conference, MESAS 2019, Palermo, Italy, October 29-31, 2019 : revised selected papers / by: (書目-電子資源)

Towards integrated web, mobile, and IoT technology = selected and revised papers from the Web Technologies Track at SAC 2017 and SAC 2018, and the Software Development for Mobile Devices, Wearables, and the IoT Minitrack at HICSS 2018 / by: (書目-電子資源)

Interactive collaborative robotics = 4th International Conference, ICR 2019, Istanbul, Turkey, August 20-25, 2019 : proceedings / by: (書目-電子資源)

Advanced parallel processing technologies = 13th International Symposium, APPT 2019, Tianjin, China, August 15-16, 2019 : proceedings / by: (書目-電子資源)

Data science = 6th International Conference, ICDS 2019, Ningbo, China, May 15-20, 2019 : revised selected papers / by: (書目-電子資源)

Dynamic logic = new trends and applications : second International Workshop, DaLi 2019, Porto, Portugal, October 7-11, 2019 : proceedings / by: (書目-電子資源)

Verified software = theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019 : revised selected papers / by: (書目-電子資源)

Service-oriented and cloud computing = 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020 : proceedings / by: (書目-電子資源)

Passive and active measurement = 21st International Conference, PAM 2020, Eugene, Oregon, USA, March 30-31, 2020 : proceedings / by: (書目-電子資源)

Applied reconfigurable computing = architectures, tools, and applications : 16th International Symposium, ARC 2020, Toledo, Spain, April 1-3, 2020 : proceedings / by: (書目-電子資源)

Formal techniques for safety-critical systems = 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019 : revised selected papers / by: (書目-電子資源)

Sustainable energy for smart cities = first EAI International Conference, SESC 2019, Braga, Portugal, December 4-6, 2019 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings.. Part I / by: (書目-電子資源)

Model-based safety and assessment = 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019 : proceedings / by: (書目-電子資源)

Perspectives of system informatics = 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019 : revised selected papers / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings.. Part II / by: (書目-電子資源)

Fundamental approaches to software engineering = 23rd International Conference, FASE 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings / by: (書目-電子資源)

Dementia Lab 2019 = making design work : engaging with dementia in context : 4th Conference, D-Lab 2019, Eindhoven, the Netherlands, October 21-22, 2019 : proceedings / by: (書目-電子資源)

Advances in soft computing = 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 - November 2, 2019 : proceedings / by: (書目-電子資源)

How AI impacts urban living and public health = 17th International Conference, ICOST 2019, New York City, NY, USA, October 14-16, 2019 : proceedings / by: (書目-電子資源)

Semantic systems = the power of AI and knowledge graphs : 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9-12, 2019 : proceedings / by: (書目-電子資源)

Supercomputing = 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23-24, 2019 : revised selected papers / by: (書目-電子資源)

Neural information processing = 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12-15, 2019 : proceedings.. Part III / by: (書目-電子資源)

Neural information processing = 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12-15, 2019 : proceedings.. Part I / by: (書目-電子資源)

HCI International 2020 - Posters = 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020 : proceedings.. Part I / by: (書目-電子資源)

Highlights in practical applications of agents, multi-agent systems, and trust-worthiness = the PAAMS Collection : International Workshops of PAAMS 2020, L'Aquila, Italy, October 7-9, 2020 : proceedings / by: (書目-電子資源)

Software technologies = 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019 : revised selected papers / by: (書目-電子資源)

Parallel computational technologies = 14th International Conference, PCT 2020, Perm, Russia, May 27-29, 2020 : revised selected papers / by: (書目-電子資源)

Mathematical software - ICMS 2020 = 7th International Conference, Braunschweig, Germany, July 13-16, 2020 : proceedings / by: (書目-電子資源)

Artificial intelligence in education = 21st International Conference, AIED 2020, Ifrane, Morocco, July 6-10, 2020 : proceedings.. Part I / by: (書目-電子資源)

Engineering multi-agent systems = 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019 : revised selected papers / by: (書目-電子資源)

Artificial intelligence in education = 21st International Conference, AIED 2020, Ifrane, Morocco, July 6-10, 2020 : proceedings.. Part II / by: (書目-電子資源)

Financial cryptography and data security = 24th International Conference, FC 2020 , Kota Kinabalu, Malaysia, February 10-14, 2020 : revised selected papers / by: (書目-電子資源)

Towards interoperable research infrastructures for environmental and earth sciences = a reference model guided approach for common challenges / by: (書目-電子資源)

Networked systems = 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020 : proceedings / by: (書目-電子資源)

Neural information processing = 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12-15, 2019 : proceedings.. Part II / by: (書目-電子資源)

Distributed applications and interoperable systems = 20th IFIP WG 6.1 International Conference, DAIS 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020 : proceedings / by: (書目-電子資源)

Image analysis and recognition = 17th International Conference, ICIAR 2020, Povoa de Varzim, Portugal, June 24-26, 2020 : proceedings.. Part I / by: (書目-電子資源)

Tests and proofs = 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings / by: (書目-電子資源)

The impact of digital technologies on public health in developed and developing countries = 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020 : proceedings / by: (書目-電子資源)

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

Smart cities, green technologies and intelligent transport systems = 8th International Conference, SMARTGREENS 2019, and 5th International Conference, VEHITS 2019, Heraklion, Crete, Greece, May 3-5, 2019 : revised selected papers / by: (書目-電子資源)

Model-driven engineering and software development = 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020 : revised selected papers / by: (書目-電子資源)

Verification, model checking, and abstract interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021 : proceedings / by: (書目-電子資源)

Practical aspects of declarative languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021 : proceedings / by: (書目-電子資源)

Mobile, secure, and programmable networking = 6th International Conference, MSPN 2020, Paris, France, October 28-29, 2020 : revised selected papers / by: (書目-電子資源)

MultiMedia modeling = 27th International Conference, MMM 2021, Prague, Czech Republic, June 22-24, 2021 : proceedings.. Part II / by: (書目-電子資源)

Modelling, analysis, and simulation of computer and telecommunication systems = 28th International Symposium, MASCOTS 2020, Nice, France, November 17-19, 2020 : revised selected papers / by: (書目-電子資源)

Smart card research and advanced applications = 19th International Conference, CARDIS 2020, Virtual Event, November 18-19, 2020 : revised selected papers / by: (書目-電子資源)

Emerging trends in ICT for sustainable development = the proceedings of NICE2020 International Conference / by: (書目-電子資源)

Embedded software timing = methodology, analysis and practical tips with a focus on automotive / by: (書目-電子資源)

Deep learning for human activity recognition = second International Workshop, DL-HAR 2020, held in conjunction with IJCAI-PRICAI 2020, Kyoto, Japan, January 8, 2021 : proceedings / by: (書目-電子資源)

Information and communication technologies for ageing well and e-Health = 6th International Conference, ICT4AWE 2020, Prague, Czech Republic, May 3-5, 2020 : revised selected papers / by: (書目-電子資源)

Evaluation of novel approaches to software engineering = 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020 : revised selected papers / by: (書目-電子資源)

Automotive software architectures = an introduction / by: (書目-電子資源)

Cloud computing and services science = 10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7-9, 2020 : revised selected papers / by: (書目-電子資源)

Benchmarking, measuring, and optimizing = third BenchCouncil International Symposium, Bench 2020, Virtual Event, November 15-16, 2020 : revised selected papers / by: (書目-電子資源)

Machine learning for networking = third International Conference, MLN 2020, Paris, France, November 24-26, 2020 : revised selected papers / by: (書目-電子資源)

Modelling and simulation for autonomous systems = 7th International Conference, MESAS 2020, Prague, Czech Republic, October 21, 2020 : revised selected papers / by: (書目-電子資源)

Industrial IoT technologies and applications = 4th EAI International Conference, Industrial IoT 2020, Virtual Event, December 11, 2020 : proceedings / by: (書目-電子資源)

Advances in service-oriented and cloud computing = international workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020 : revised selected papers / by: (書目-電子資源)

Futuristic trends in network and communication technologies = third International Conference, FTNCT 2020, Taganrog, Russia, October 14-16, 2020 : revised selected papers.. Part II / by: (書目-電子資源)

Web and big data = APWeb-WAIM 2020 International Workshops : KGMA 2020, SemiBDMA 2020, DeepLUDA 2020, Tianjin, China, September 18-20, 2020 : revised selected papers / by: (書目-電子資源)

Smart technologies for precision assembly = 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14-15, 2020 : revised selected papers / by: (書目-電子資源)

Agents and artificial intelligence = 12th International Conference, ICAART 2020, Valletta, Malta, February 22-24, 2020 : revised selected papers / by: (書目-電子資源)

Advances in information retrieval = 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 - April 1, 2021 : proceedings.. Part II / by: (書目-電子資源)

Passive and active measurement = 22nd International Conference, PAM 2021, Virtual Event, March 29 - April 1, 2021 : proceedings / by: (書目-電子資源)

Applications of evolutionary computation = 24th International Conference, EvoApplications 2021, held as part of EvoStar 2021, Virtual Event, April 7-9, 2021 : proceedings / by: (書目-電子資源)

Coordination, organizations, institutions, norms, and ethics for governance of multi-agent systems XIII = International Workshops COIN 2017 and COINE 2020, Sao Paulo, Brazil, May 8-9, 2017 and Virtual Event, May 9, 2020 : revised selected papers / by: (書目-電子資源)

Fuzzy logic = recent applications and developments / by: (書目-電子資源)

Wearables in healthcare = second EAI International Conference, HealthWear 2020, virtual event, December 10-11, 2020 : proceedings / by: (書目-電子資源)

Reproducible research in pattern recognition = third International Workshop, RRPR 2021, virtual event, January 11, 2021 : revised selected papers / by: (書目-電子資源)

Industrial networks and intelligent systems = 7th EAI International Conference, INISCOM 2021, Hanoi, Vietnam, April 22-23, 2021 : proceedings / by: (書目-電子資源)

Functional and constraint logic programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020 : revised selected papers / by: (書目-電子資源)

Logics in artificial intelligence = 17th European Conference, JELIA 2021, virtual event, May 17-20, 2021 : proceedings / by: (書目-電子資源)

AIxIA 2020 - advances in artificial intelligence = XIXth International Conference of the Italian Association for Artificial Intelligence, virtual event, November 25-27, 2020 : revised selected papers / by: (書目-電子資源)

Real-time C++ = efficient object-oriented and template microcontroller programming / by: (書目-電子資源)

Software technologies = 15th International Conference, ICSOFT 2020, Online event, July 7-9, 2020 : revised selected papers / by: (書目-電子資源)

Data management technologies and applications = 9th International Conference, DATA 2020, virtual event, July 7-9, 2020 : revised selected papers / by: (書目-電子資源)

Applied computer sciences in engineering = 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16-18, 2019 : proceedings / by: (書目-電子資源)

Artificial intelligence = second CCF International Conference, ICAI 2019, Xuzhou, China, August 22-23, 2019 : proceedings / by: (書目-電子資源)

Cyberspace data and intelligence, and cyber-living, syndrome, and health = International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16-18, 2019 : proceedings.. Part I / by: (書目-電子資源)

Dependability in sensor, cloud, and big data systems and applications = 5th International Conference, DependSys 2019, Guangzhou, China, November 12-15, 2019 : proceedings / by: (書目-電子資源)

ICT unbounded = social impact of bright ICT adoption : IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2019, Accra, Ghana, June 21-22, 2019 : proceedings / by: (書目-電子資源)

Computer analysis of images and patterns = 18th International Conference, CAIP 2019, Salerno, Italy, September 3-5, 2019 : proceedings.. Part I / by: (書目-電子資源)

Computational sciences - modelling, computing and soft computing = first International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020 : revised selected papers / by: (書目-電子資源)

Explainable and transparent AI and multi-agent systems = third International Workshop, EXTRAAMAS 2021, virtual event, May 3-7, 2021 : revised selected papers / by: (書目-電子資源)

Model checking software = 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings / by: (書目-電子資源)

Ambient Intelligence = 15th European Conference, AmI 2019, Rome, Italy, November 13-15, 2019 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing = 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019 : proceedings / by: (書目-電子資源)

Cryptology and network security = 18th International Conference, CANS 2019, Fuzhou, China, October 25-27, 2019 : proceedings / by: (書目-電子資源)

Descriptional complexity of formal systems = 21st IFIP WG 1.02 International Conference, DCFS 2019, Kosice, Slovakia, July 17-19, 2019 : proceedings / by: (書目-電子資源)

Design, user experience, and usability = design philosophy and theory : 8th International Conference, DUXU 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings.. Part I / by: (書目-電子資源)

Design, user experience, and usability = user experience in advanced technological environments : 8th International Conference, DUXU 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings.. Part I / by: (書目-電子資源)

Digital human modeling and applications in health, safety, ergonomics and risk management = healthcare applications : 10th International Conference, DHM 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings.. Part II / by: (書目-電子資源)

Digital human modeling and applications in health, safety, ergonomics and risk management = human body and motion : 10th International Conference, DHM 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings.. Part II / by: (書目-電子資源)

End-user development = 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10-12, 2019 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019 : proceedings / by: (書目-電子資源)

Green, pervasive, and cloud computing = 14th International Conference, GPC 2019, Uberlandia, Brazil, May 26-28, 2019 : proceedings / by: (書目-電子資源)

HCI in mobility, transport, and automotive systems = first International Conference, MobiTAS 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings / by: (書目-電子資源)

Human interface and the management of information = information in intelligent systems : thematic area, HIMI 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings.. Part II / by: (書目-電子資源)

Human-computer interaction - INTERACT 2019 = 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2-6, 2019 : proceedings.. Part I / by: (書目-電子資源)

Human-computer interaction - INTERACT 2019 = 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2-6, 2019 : proceedings.. Part III / by: (書目-電子資源)

Human-computer interaction - INTERACT 2019 = 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2-6, 2019 : proceedings.. Part II / by: (書目-電子資源)

Human-computer interaction = design practice in contemporary societies : thematic area, HCI 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings.. Part III / by: (書目-電子資源)

Human-computer interaction = perspectives on design : thematic area, HCI 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings.. Part I / by: (書目-電子資源)

Human-computer interaction = recognition and interaction technologies : thematic area, HCI 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings.. Part II / by: (書目-電子資源)

Image analysis and processing - ICIAP 2019 = 20th International Conference, Trento, Italy, September 9-13, 2019 : proceedings.. Part II / by: (書目-電子資源)

Image analysis and processing - ICIAP 2019 = 20th International Conference, Trento, Italy, September 9-13, 2019 : proceedings.. Part I / by: (書目-電子資源)

Information systems security = 15th International Conference, ICISS 2019, Hyderabad, India, December 16-20, 2019 : proceedings / by: (書目-電子資源)

New trends in image analysis and processing - ICIAP 2019 = ICIAP International Workshops, BioFor, PatReCH, e-BADLE, DeepRetail, and Industrial Session, Trento, Italy, September 9-10, 2019 : revised selected papers / by: (書目-電子資源)

Human interface and the management of information = visual information and knowledge management : thematic area, HIMI 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings.. Part I / by: (書目-電子資源)

Human-computer interaction - INTERACT 2019 = 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2-6, 2019 : proceedings.. Part IV / by: (書目-電子資源)

Learning and collaboration technologies = designing learning experiences : 6th International Conference, LCT 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings.. Part I / by: (書目-電子資源)

Learning and collaboration technologies = Ubiquitous and virtual environments for learning and collaboration : 6th International Conference, LCT 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings.. Part II / by: (書目-電子資源)

Mobile web and intelligent information systems = 16th International Conference, MobiWIS 2019, Istanbul, Turkey, August 26-28, 2019 : proceedings / by: (書目-電子資源)

Physiological computing systems = international conferences, PhyCS 2016, Lisbon, Portugal, July 27-28, 2016, PhyCS 2017, Madrid, Spain, July 27-28, 2017, PhyCS 2018, Seville, Spain, September 19-21, 2018 : revised and extended selected papers / by: (書目-電子資源)

PRICAI 2019 = trends in artificial intelligence : 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019 : proceedings.. Part III / by: (書目-電子資源)

Progress in artificial intelligence = 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019 : proceedings.. Part II / by: (書目-電子資源)

Progress in artificial intelligence = 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019 : proceedings.. Part I / by: (書目-電子資源)

RoboCup 2018 = Robot World Cup XXII / by: (書目-電子資源)

Software technology = methods and tools : 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019 : proceedings / by: (書目-電子資源)

Virtual reality and augmented reality = 16th EuroVR International Conference, EuroVR 2019, Tallinn, Estonia, October 23-25, 2019 : proceedings / by: (書目-電子資源)

Web and wireless geographical information systems = 17th International Symposium, W2GIS 2019, Kyoto, Japan, May 16-17, 2019 : proceedings / by: (書目-電子資源)

Software architecture = 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020 : proceedings / by: (書目-電子資源)

Computers helping people with special needs = 17th International Conference, ICCHP 2020, Lecco, Italy, September 9-11, 2020 : proceedings.. Part I / by: (書目-電子資源)

Applied computer sciences in engineering = 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7-9, 2020 : proceedings / by: (書目-電子資源)

Haptics = science, technology, applications : 12th International Conference, EuroHaptics 2020, Leiden, the Netherlands, September 6-9, 2020 : proceedings / by: (書目-電子資源)

Wireless algorithms, systems, and applications = 15th International Conference, WASA 2020, Qingdao, China, September 13-15, 2020 : proceedings.. Part II / by: (書目-電子資源)

Software architecture = 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14-18, 2020 : proceedings / by: (書目-電子資源)

Wireless algorithms, systems, and applications = 15th International Conference, WASA 2020, Qingdao, China, September 13-15, 2020 : proceedings.. Part I / by: (書目-電子資源)

Software engineering and formal methods = 18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020 : proceedings / by: (書目-電子資源)

Computer security - ESORICS 2020 = 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020 : proceedings.. Part I / by: (書目-電子資源)

Computer security - ESORICS 2020 = 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020 : proceedings.. Part II / by: (書目-電子資源)

Database and expert systems applications = 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14-17, 2020 : proceedings.. Part I / by: (書目-電子資源)

Artificial intelligence and mobile services - AIMS 2020 = 9th International Conference, held as part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020 : proceedings / by: (書目-電子資源)

Cloud computing - CLOUD 2020 = 13th International Conference, held as part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020 : proceedings / by: (書目-電子資源)

Web services - ICWS 2020 = 27th International Conference, held as part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020 : proceedings / by: (書目-電子資源)

The Multi-Agent Programming Contest 2019 = agents assemble - block by block to victory / by: (書目-電子資源)

Computers helping people with special needs = 17th International Conference, ICCHP 2020, Lecco, Italy, September 9-11, 2020 : proceedings.. Part II / by: (書目-電子資源)

Shape in Medical Imaging = International Workshop, ShapeMI 2020, held in conjunction with MICCAI 2020, Lima, Peru, October 4, 2020 : proceedings / by: (書目-電子資源)

Advances in computational intelligence = 19th Mexican International Conference on Artificial Intelligence, MICAI 2020, Mexico City, Mexico, October 12-17, 2020 : proceedings.. Part II / by: (書目-電子資源)

Social informatics = 12th International Conference, SocInfo 2020, Pisa, Italy, October 6-9, 2020 : proceedings / by: (書目-電子資源)

HCI International 2020 - late breaking papers = virtual and augmented reality : 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020 : proceedings / by: (書目-電子資源)

Model and Data Engineering = 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021 : proceedings / by: (書目-電子資源)

Advances in artificial intelligence and security = 7th International Conference, ICAIS 2021, Dublin, Ireland, July 19-23, 2021 : proceedings.. Part II / by: (書目-電子資源)

HCI International 2021 - posters = 23rd HCI International Conference, HCII 2021, virtual event, July 24-29, 2021 : proceedings.. Part III / by: (書目-電子資源)

Formal techniques for distributed objects, components, and systems = 41st IFIP WG 6.1 International Conference, FORTE 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings / by: (書目-電子資源)

Persuasive technology = 16th International Conference, PERSUASIVE 2021, virtual event, April 12-14, 2021 : proceedings / by: (書目-電子資源)

Structural information and communication complexity = 28th International Colloquium, SIROCCO 2021, Wroclaw, Poland, June 28 - July 1, 2021 : proceedings / by: (書目-電子資源)

Socio-technical aspects in security and trust = 10th International Workshop, STAST 2020, virtual event, September 14, 2020 : revised selected papers / by: (書目-電子資源)

Applied reconfigurable computing = architectures, tools, and applications : 17th International Symposium, ARC 2021, virtual event, June 29-30, 2021 : proceedings / by: (書目-電子資源)

Network and parallel computing = 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28-30, 2020 : revised selected papers / by: (書目-電子資源)

Reversible computation = 13th International Conference, RC 2021, virtual event, July 7-8, 2021 : proceedings / by: (書目-電子資源)

End-user development = 8th International Symposium, IS-EUD 2021, virtual event, July 6-8, 2021 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021 : proceedings / by: (書目-電子資源)

Universal access in human-computer interaction = design methods and user experience : 15th International Conference, UAHCI 2021, held as part of the 23rd HCI International Conference, HCII 2021, virtual event, July 24-29, 2021 : proceedings.. Part I / by: (書目-電子資源)

Universal access in human-computer interaction = access to media, learning and assistive environments : 15th International Conference, UAHCI 2021, held as part of the 23rd HCI International Conference, HCII 2021, virtual event, July 24-29, 2021 : proceedings.. Part II / by: (書目-電子資源)

Human aspects of IT for the aged population = supporting everyday life activities : 7th International Conference, ITAP 2021, held as part of the 23rd HCI International Conference, HCII 2021, virtual event, July 24-29, 2021 : proceedings.. Part II / by: (書目-電子資源)

Computational advances in bio and medical sciences = 10th International Conference, ICCABS 2020, virtual event, December 10-12, 2020 : revised selected papers / by: (書目-電子資源)

The once-only principle = the TOOP Project / by: (書目-電子資源)

Advances in swarm intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17-21, 2021 : proceedings.. Part I / by: (書目-電子資源)

Advances in swarm intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17-21, 2021 : proceedings.. Part II / by: (書目-電子資源)

Self aware security for real time task schedules in reconfigurable hardware platforms by: (書目-電子資源)

The automated city = Internet of things and ubiquitous artificial intelligence / by: (書目-電子資源)

Applied computer sciences in engineering = 8th Workshop on Engineering Applications, WEA 2021, Medellin, Colombia, October 6-8, 2021 : proceedings / by: (書目-電子資源)

Progress in artificial intelligence = 20th EPIA Conference on Artificial Intelligence, EPIA 2021, virtual event, September 7-9, 2021 : proceedings / by: (書目-電子資源)

Wireless algorithms, systems, and applications = 16th International Conference, WASA 2021, Nanjing, China, June 25-27, 2021 : proceedings.. Part I / by: (書目-電子資源)

Wireless algorithms, systems, and applications = 16th International Conference, WASA 2021, Nanjing, China, June 25-27, 2021 : proceedings.. Part II / by: (書目-電子資源)

Financial cryptography and data security = FC 2021 international workshops : CoDecFin, DeFi, VOTING, and WTSC, virtual event, March 5, 2021, Revised Selected Papers / by: (書目-電子資源)

Systems engineering and artificial intelligence by: (書目-電子資源)

Information retrieval = 27th China conference, CCIR 2021, Dalian, China, October 29-31, 2021 : proceedings / by: (書目-電子資源)

Job scheduling strategies for parallel processing = 24th international workshop, JSSPP 2021, virtual event, May 21, 2021 : revised selected papers / by: (書目-電子資源)

Static analysis = 28th international symposium, SAS 2021,Chicago, IL, USA : proceedings / by: (書目-電子資源)

Foundations of multi-paradigm modelling for cyber-physical systems by: (書目-電子資源)

Augmented reality in education = a new technology for teaching and learning / by: (書目-電子資源)

Cloud computing and services science = 9th International Conference, CLOSER 2019, Heraklion, Crete, Greece, May 2-4, 2019 : revised selected papers / by: (書目-電子資源)

Formal methods = FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.. Part II / by: (書目-電子資源)

Formal modeling and analysis of timed systems = 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings / by: (書目-電子資源)

Technologies and innovation = 6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 - December 3, 2020 : proceedings / by: (書目-電子資源)

Telematics and computing = 9th International Congress, WITCOM 2020, Puerto Vallarta, Mexico, November 2-6, 2020 : proceedings / by: (書目-電子資源)

Artificial intelligence and soft computing = 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020 : proceedings.. Part II / by: (書目-電子資源)

Web and wireless geographical information systems = 18th International Symposium, W2GIS 2020, Wuhan, China, November 13-14, 2020 : proceedings / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation = applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.. Part III / by: (書目-電子資源)

Computer vision - ECCV 2020 = 16th European Conference, Glasgow, UK, August 23-28, 2020 : proceedings.. Part IV / by: (書目-電子資源)

Automated technology for verification and analysis = 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings / by: (書目-電子資源)

HCI International 2020 - Late breaking papers = Multimodality and intelligence : 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020 : proceedings / by: (書目-電子資源)

HCI International 2020 - late breaking posters = 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020 : proceedings.. Part I / by: (書目-電子資源)

HCI International 2020 - late breaking posters = 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020 : proceedings.. Part II / by: (書目-電子資源)

Tactile Perception by Electrovibration by: (書目-電子資源)

Product lifecycle management enabling smart X = 17th IFIP WG 5.1 International Conference, PLM 2020, Rapperswil, Switzerland, July 5-8, 2020 : revised selected papers / by: (書目-電子資源)

Big data, machine learning, and applications = first International Conference, BigDML 2019, Silchar, India, December 16-19, 2019 : revised selected papers / by: (書目-電子資源)

Dynamic data driven application systems = third international conference, DDDAS 2020, Boston, MA, USA, October 2-4, 2020 : proceedings / by: (書目-電子資源)

Social robotics = 12th International Conference, ICSR 2020, Golden, CO, USA, November 14-18, 2020 : proceedings / by: (書目-電子資源)

Integrated formal methods = 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020 : proceedings / by: (書目-電子資源)

Bioinspired optimization methods and their applications = 9th International Conference, BIOMA 2020, Brussels, Belgium, November 19-20, 2020 : proceedings / by: (書目-電子資源)

Innovative technologies and learning = third International Conference, ICITL 2020, Porto, Portugal, November 23-25, 2020 : proceedings / by: (書目-電子資源)

Distributed artificial intelligence = second International Conference, DAI 2020, Nanjing, China, October 24-27, 2020 : proceedings / by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 2020 = 17th International Colloquium, Macau, China, November 30 - December 4, 2020 : proceedings / by: (書目-電子資源)

Software verification = 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020 : revised selected papers / by: (書目-電子資源)

Formal modeling and analysis of timed systems = 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings / by: (書目-電子資源)

Advances in model and data engineering in the digitalization era = MEDI 2021 international workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021 : proceedings / by: (書目-電子資源)

Modern problems of robotics = second International Conference, MPoR 2020, Moscow, Russia, March 25-26, 2020 : revised selected papers / by: (書目-電子資源)

Intelligent equipment, robots, and vehicles = 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 22-24, 2021 : proceedings.. Part III / by: (書目-電子資源)

Smart cities, green technologies, and intelligent transport systems = 9th International Conference, SMARTGREENS 2020, and 6th International Conference, VEHITS 2020, Prague, Czech Republic, May 2-4, 2020 : revised selected papers / by: (書目-電子資源)

Advances in soft computing = 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, Mexico City, Mexico, October 25-30, 2021 : proceedings.. Part II / by: (書目-電子資源)

Towards autonomous robotic systems = 22nd annual conference, TAROS 2021, Lincoln, UK, September 8-10, 2021 : proceedings / by: (書目-電子資源)

Social robotics = 13th International Conference, ICSR 2021, Singapore, Singapore, November 10-13, 2021 : proceedings / by: (書目-電子資源)

Reversible computation = extending horizons of computing : selected results of the COST Action IC1405 / by: (書目-電子資源)

Fields of logic and computation III = essays dedicated to Yuri Gurevich on the the occasion of his 80th birthday / by: (書目-電子資源)

Formal methods = FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.. Part I / by: (書目-電子資源)

Formal methods for industrial critical systems = 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings / by: (書目-電子資源)

Advances in service-oriented and cloud computing = Workshops of ESOCC 2018, Como, Italy, September 12-14, 2018 : revised selected papers / by: (書目-電子資源)

Supercomputing = 6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21-22, 2020 : revised selected papers / by: (書目-電子資源)

Mobile networks and management = 10th EAI International Conference, MONAMI 2020, Chiba, Japan, November 10-12, 2020 : proceedings / by: (書目-電子資源)

Web and internet economics = 16th International Conference, WINE 2020, Beijing, China, December 7-11, 2020 : proceedings / by: (書目-電子資源)

Communication technologies for vehicles = 15th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2020, Bordeaux, France, November 16-17, 2020 : proceedings / by: (書目-電子資源)

Internet of things, smart spaces, and next generation networks and systems = 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26-28, 2020 : proceedings.. Part I / by: (書目-電子資源)

Computer Vision - ECCV 2020 Workshops = Glasgow, UK, August 23-28, 2020 : proceedings.. Part IV / by: (書目-電子資源)

Industrial IoT = challenges, design principles, applications, and security / by: (書目-電子資源)

Entertainment Computing - ICEC 2020 = 19th IFIP TC 14 International Conference, ICEC 2020, Xi'an, China, November 10-13, 2020 : proceedings / by: (書目-電子資源)

Static analysis = 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020 : proceedings / by: (書目-電子資源)

Cross-cultural design = applications in health, learning, communication, and creativity : 12th International Conference, CCD 2020, held as part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020 : proceedings.. Part II / by: (書目-電子資源)

Design, operation and evaluation of mobile communications = first International Conference, MOBILE 2020, held as part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020 : proceedings / by: (書目-電子資源)

Design, user experience, and usability = case studies in public and personal interactive systems : 9th International Conference, DUXU 2020, held as part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020 : proceedings.. Part III / by: (書目-電子資源)

Digital human modeling and applications in health, safety, ergonomics and risk management = human communication, organization and work : 11th International Conference, DHM 2020, held as part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020 : proceedings.. Part II / by: (書目-電子資源)

Digital human modeling and applications in health, safety, ergonomics and risk management = posture, motion and health : 11th International Conference, DHM 2020, held as part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020 : proceedings.. Part I / by: (書目-電子資源)

Distributed, ambient and pervasive interactions = 8th International Conference, DAPI 2020, held as part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020 : proceedings / by: (書目-電子資源)

Engineering psychology and cognitive ergonomics = mental workload, human physiology, and human energy : 17th International Conference, EPCE 2020, held as part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020 : proceedings.. Part I / by: (書目-電子資源)

Genetic programming = 23rd European Conference, EuroGP 2020, held as part of EvoStar 2020, Seville, Spain, April 15-17, 2020 : proceedings / by: (書目-電子資源)

Human interface and the management of information = designing information : thematic Area, HIMI 2020, held as part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020 : proceedings.. Part I / by: (書目-電子資源)

Human interface and the management of information = interacting with information : thematic area, HIMI 2020, held as part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020 : proceedings.. Part II / by: (書目-電子資源)

Human-computer interaction = design and user experience : thematic area, HCI 2020, held as part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020 : proceedings.. Part I / by: (書目-電子資源)

Human-computer interaction = human values and quality of life : thematic area, HCI 2020, held as part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020 : proceedings.. Part III / by: (書目-電子資源)

Human-computer interaction = multimodal and natural interaction : thematic area, HCI 2020, held as part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020 : proceedings.. Part II / by: (書目-電子資源)

Theoretical computer science = 39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23-25, 2021 : revised selected papers / by: (書目-電子資源)

Smart and sustainable agriculture = first International Conference, SSA 2021, virtual event, June 21-22, 2021 : proceedings / by: (書目-電子資源)

Internet access in vehicular networks by: (書目-電子資源)

Optimization, learning algorithms and applications = first International Conference, OL2A 2021, Braganca, Portugal, July 19-21, 2021 : revised selected papers / by: (書目-電子資源)

Human-computer interaction = 7th Iberoamerican Workshop, HCI-COLLAB 2021, Sao Paulo, Brazil, September 8-10, 2021 : proceedings / by: (書目-電子資源)

Formal aspects of component software = 17th International Conference, FACS 2021, virtual event, October 28-29, 2021 : proceedings / by: (書目-電子資源)

Formal methods = 24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings / by: (書目-電子資源)

Virtual reality and mixed reality = 18th EuroXR International Conference, EuroXR 2021, Milan, Italy, November 24-26, 2021 : proceedings / by: (書目-電子資源)

Hybrid dynamical systems = fundamentals and methods / by: (書目-電子資源)

Smart cities = 4th Ibero-American Congress, ICSC-Cities 2021, Cancun, Mexico, November 29-December 1, 2021 : revised selected papers / by: (書目-電子資源)

Distributed computer and communication networks = control, computation, communications : 23rd International Conference, DCCN 2020, Moscow, Russia, September 14-18, 2020 : revised selected papers / by: (書目-電子資源)

6GN for future wireless networks = third EAI International Conference, 6GN 2020, Tianjin, China, August 15-16, 2020 : proceedings / by: (書目-電子資源)

Networked systems = 9th International Conference, NETYS 2021, virtual event, May 19-21, 2021 : proceedings / by: (書目-電子資源)

Model checking, synthesis, and learning = essays dedicated to Bengt Jonsson on the occasion of his 60th birthday / by: (書目-電子資源)

Supercomputing = 7th Russian Supercomputing Days, RuSCDays 2021, Moscow, Russia, September 27-28, 2021 : revised selected papers / by: (書目-電子資源)

Algorithmic aspects of cloud computing = 6th international symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6-7, 2021 : revised selected papers / by: (書目-電子資源)

Communication technologies for vehicles = 16th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2021, Madrid, Spain, November 16-17, 2021 : revised selected papers / by: (書目-電子資源)

Cognitive systems and information processing = 6th International Conference, ICCSIP 2021, Suzhou, China, November 20-21, 2021 : revised selected papers / by: (書目-電子資源)

Mobile networks and management = 11th EAI International Conference, MONAMI 2021, virtual event, October 27-29, 2021 : proceedings / by: (書目-電子資源)

Internet of Things = technology and applications : 4th IFIP International Cross-Domain Conference, IFIPIoT 2021, virtual event, November 4-5, 2021 : revised selected papers / by: (書目-電子資源)

Distributed computer and communication networks = 24th International Conference, DCCN 2021, Moscow, Russia, September 20-24, 2021 : revised selected papers / by: (書目-電子資源)

Driving scientific and engineering discoveries through the integration of experiment, big data, and modeling and simulation = 21st Smoky Mountains Computational Sciences and Engineering, SMC 2021, virtual event, October 18-20, 2021 : revised selected papers / by: (書目-電子資源)

Cloud computing = 11th EAI International Conference, CloudComp 2021, virtual event, December 9-10, 2021 : proceedings / by: (書目-電子資源)

Edge computing - EDGE 2021 = 5th International Conference, held as part of the Services Conference Federation, SCF 2021, virtual event, December 10-14, 2021 : proceedings / by: (書目-電子資源)

Smart card research and advanced applications = 20th International Conference, CARDIS 2021, Lubeck, Germany, November 11-12, 2021 : revised selected papers / by: (書目-電子資源)

OCaml scientific computing = functional programming in data science and artificial intelligence / by: (書目-電子資源)

Human aspects of IT for the aged population = technology in everyday living : 8th International Conference, ITAP 2022, held as part of the 24th HCI International Conference, HCII 2022, virtual event, June 26-July 1, 2022 : proceedings.. Part II / by: (書目-電子資源)

Wireless mobile communication and healthcare = 10th EAI International Conference, MobiHealth 2021, virtual event, November 13-14, 2021 : proceedings / by: (書目-電子資源)

Coordination models and languages = 24th IFIP WG 6. 1 International Conference, COORDINATION 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022 : proceedings / by: (書目-電子資源)

DevOps for airborne software = exploring modern approaches / by: (書目-電子資源)

Euro-Par 2022 = parallel processing : 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22-26, 2022 : proceedings / by: (書目-電子資源)

Intelligent robotics and applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022 : proceedings.. Part II / by: (書目-電子資源)

Towards autonomous robotic systems = 23rd annual conference, TAROS 2022, Culham, UK, September 7-9, 2022 : proceedings / by: (書目-電子資源)

Virtual reality and mixed reality = 19th EuroXR International Conference, EuroXR 2022, Stuttgart, Germany, September 14-16, 2022 : proceedings / by: (書目-電子資源)

Dependable computing - EDCC 2022 Workshops = SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022 : proceedings / by: (書目-電子資源)

Smart cities, green technologies, and intelligent transport systems = 10th International Conference, SMARTGREENS 2021, and 7th International Conference, VEHITS 2021, virtual event, April 28-30, 2021 : revised selected papers / by: (書目-電子資源)

Computational intelligence, cyber security and computational models = recent trends in computational models, intelligent and secure systems : 5th International Conference, ICC3 2021, Coimbatore, India, December 16-18, 2021 : revised selected papers / by: (書目-電子資源)

Model-based safety and assessment = 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022 : proceedings / by: (書目-電子資源)

Internet of things = IoT through a multi-disciplinary perspective : 5th IFIP International Cross-Domain Conference, IFIPIoT 2022, Amsterdam, the Netherlands, October 27-28, 2022 : proceedings / by: (書目-電子資源)

Computer vision - ECCV 2022 = 17th European Conference, Tel Aviv, Israel, October 23-27, 2022 : proceedings.. Part I / by: (書目-電子資源)

Computer vision - ECCV 2022 = 17th European Conference, Tel Aviv, Israel, October 23-27, 2022 : proceedings.. Part XXXVIII / by: (書目-電子資源)

Artificial life and evolutionary computation = 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15-17, 2021 : revised selected papers / by: (書目-電子資源)

Innovations and interdisciplinary solutions for underserved areas = 5th EAI International Conference, INTERSOL 2022, Abuja, Nigeria, March 23-24, 2022 : proceedings / by: (書目-電子資源)

Big data analytics = 10th International Conference, BDA 2022, Ahmedabad, India, December 19-22, 2022 : proceedings / by: (書目-電子資源)

Social robotics = 14th International Conference, ICSR 2022, Florence, Italy, December 13-16, 2022 : proceedings.. Part I / by: (書目-電子資源)

Engineering haptic devices by: (書目-電子資源)

Prima 2022 = principles and practice of multi-agent systems : 24th International Conference, Valencia, Spain, November 16-18, 2022 : proceedings / by: (書目-電子資源)

Analysis, estimations, and applications of embedded systems = 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019 : revised selected papers / by: (書目-電子資源)

Wireless internet = 15th EAI International Conference, WiCON 2022, virtual event, November 2022 : proceedings / by: (書目-電子資源)

Computer vision - ECCV 2022 Workshops = Tel Aviv, Israel, October 23-27, 2022 : proceedings.. Part VIII / by: (書目-電子資源)

Active inference = third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022 : revised selected papers / by: (書目-電子資源)

Bio-inspired computing = theories and applications : 17th International Conference, BIC-TA 2022, Wuhan, China, December 16-18 2022 : revised selected papers / by: (書目-電子資源)

Artificial life and evolutionary computation = 16th Italian Workshop, WIVACE 2022, Gaeta, Italy, September 14-16, 2022 : revised selected papers / by: (書目-電子資源)

Distributed computer and communication networks = 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022 : revised selected papers / by: (書目-電子資源)

Economics of grids, clouds, systems, and services = 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022 : proceedings / by: (書目-電子資源)

Information security and cryptology - ICISC 2022 = 25th International Conference, ICISC, Seoul, South Korea, November 30 - December 2, 2022 : revised selected papers / by: (書目-電子資源)

Ubiquitous networking = 8th International Symposium, UNet 2022, Montreal, QC, Canada, October 25-27, 2022 : revised selected papers / by: (書目-電子資源)

Applications of evolutionary computation = 26th European Conference, EvoApplications 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023 : proceedings / by: (書目-電子資源)

Database systems for advanced applications = 28th International Conference, DASFAA 2023, Tianjin, China, April 17-20, 2023 : proceedings.. Part I / by: (書目-電子資源)

Internet of Things, smart spaces, and next generation networks and systems = 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022 : proceedings / by: (書目-電子資源)

Algorithmic aspects of cloud computing = 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022 : revised selected papers / by: (書目-電子資源)

H-systems = observability, diagnosability, and predictability of hybrid dynamical systems / by: (書目-電子資源)

Towards new e-Infrastructure and e-Services for Developing Countries = 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022 : proceedings / by: (書目-電子資源)

Advances in computing = 16th Colombian Congress, CCC 2022, Armenia, Colombia, October 17-21, 2022 : revised selected papers / by: (書目-電子資源)

Smart cities, green technologies, and intelligent transport systems = 11th International Conference, SMARTGREENS 2022, and 8th International Conference, VEHITS 2022, virtual event, April 27-29, 2022 : revised selected papers / by: (書目-電子資源)

Information and communication technologies for ageing well and e-Health = 7th International Conference, ICT4AWE 2021, virtual event, April 24-26, 2021, and 8th International Conference, ICT4AWE 2022, virtual event, April 23-25, 2022 : revised selected papers / by: (書目-電子資源)

Software technologies = 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022 : revised selected papers / by: (書目-電子資源)

Data management technologies and applications = 10th International Conference, DATA 2021, virtual event, July 6-8, 2021, and 11th International Conference, DATA 2022, Lisbon, Portugal, July 11-13, 2022 : revised selected papers / by: (書目-電子資源)

South African Institute of Computer Scientists and Information Technologists = 44th Annual Conference, SAICSIT 2023, Pretoria, South Africa, July 17-19, 2023 : revised selected papers / by: (書目-電子資源)

Large-scale agile frameworks = agile frameworks, agile infrastructure and pragmatic solutions for digital transformation / by: (書目-電子資源)

Reproducible research in pattern recognition = fourth International Workshop, RRPR 2022, Montreal, Canada, August 21, 2022 : revised selected papers / by: (書目-電子資源)

Transactions on computational science XL by: (書目-電子資源)

Euro-Par 2023 = parallel processing : 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 - September 1, 2023 : proceedings / by: (書目-電子資源)

OpenMP : advanced task-based, device and compiler programming = 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023 : proceedings / by: (書目-電子資源)

Explainable and transparent AI and multi-agent systems = 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023 : revised selected papers / by: (書目-電子資源)

Interactive collaborative robotics = 8th International Conference, ICR 2023, Baku, Azerbaijan, October 25-29, 2023 : proceedings / by: (書目-電子資源)

Handbook of dynamic data driven applications systems.. Volume 2 by: (書目-電子資源)

Towards autonomous robotic systems = 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023 : proceedings / by: (書目-電子資源)

Information and communication technologies = 11th Ecuadorian conference, TICEC 2023, Cuenca, Ecuador, October 18-20, 2023 : proceedings / by: (書目-電子資源)

WiFi signal-based user authentication by: (書目-電子資源)

Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part VI / by: (書目-電子資源)

Computer performance engineering and stochastic modelling = 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023 : proceedings / by: (書目-電子資源)

Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part I / by: (書目-電子資源)

Virtual reality and mixed reality = 20th EuroXR International Conference, EuroXR 2023, Rotterdam, The Netherlands, November 29 - December 1, 2023 : proceedings / by: (書目-電子資源)

Big data and artificial intelligence = 11th International Conference, BDA 2023, Delhi, India, December 7-9, 2023 : proceedings / by: (書目-電子資源)

Intelligent industrial internet systems = architecture, deployment and applications / by: (書目-電子資源)

Advances in cryptology - ASIACRYPT 2022 = 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5-9, 2022 : proceedings.. Part I / by: (書目-電子資源)

Design, user experience, and usability = ux research, design, and assessment : 11th International Conference, DUXU 2022, held as part of the 24th HCI International Conference, HCII 2022, virtual event, June 26 - July 1, 2022 : proceedings.. Part I / by: (書目-電子資源)

Distributed, ambient and pervasive interactions = smart environments, ecosystems, and cities : 10th International Conference, DAPI 2022, held as part of the 24th HCI International Conference, HCII 2022, virtual event, June 26 - July 1, 2022 : proceedings.. Part I / by: (書目-電子資源)

Parallel and distributed computing, applications and technologies = 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17-19, 2021 : proceedings / by: (書目-電子資源)

Passive and active measurement = 23rd International Conference, PAM 2022, virtual event, March 28-30, 2022 : proceedings / by: (書目-電子資源)

Innovations for community services = 22nd International Conference, I4CS 2022, Delft, The Netherlands, June 13-15, 2022 : proceedings / by: (書目-電子資源)

Dependable computing - EDCC 2021 Workshops = DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021 : proceedings / by: (書目-電子資源)

Innovations for community services = 21st International Conference, I4CS 2021, Bamberg, Germany, May 26-28, 2021 : proceedings / by: (書目-電子資源)

Design, operation and evaluation of mobile communications = second International Conference, MOBILE 2021, held as part of the 23rd HCI International Conference, HCII 2021, virtual event, July 24-29, 2021 : proceedings / by: (書目-電子資源)

Mobile web and intelligent information systems = 17th International Conference, MobiWIS 2021, virtual event, August 23-25, 2021 : proceedings / by: (書目-電子資源)

IoT and big data technologies for health care = second EAI International Conference, IotCARE 2021, virtual event, October 18-19, 2021, proceedings.. Part I / by: (書目-電子資源)

Computers helping people with special needs = 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11-15, 2022 : proceedings.. Part II / by: (書目-電子資源)

Computers helping people with special needs = 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11-15, 2022 : proceedings.. Part I / by: (書目-電子資源)

Software technologies = 16th International Conference, ICSOFT 2021, virtual event, July 6-8, 2021 : revised selected papers / by: (書目-電子資源)

Computer supported cooperative work and social computing = 16th CCF Conference, ChineseCSCW 2021, Xiangtan, China, November 26-28, 2021 : revised selected papers.. Part I/ by: (書目-電子資源)

Agents and artificial intelligence = 13th International Conference, ICAART 2021 virtual event, February 4-6, 2021 : revised selected papers / by: (書目-電子資源)

Well-being in the information society = when the mind breaks : 9th International Conference, WIS 2022, Turku, Finland, August 25-26, 2022 : proceedings / by: (書目-電子資源)

Psychology, learning, technology = first International Conference, PLT 2022, Foggia, Italy, January 19-21, 2022 : revised selected papers / by: (書目-電子資源)

Cyber warfare, security and space research = first International Conference, SpacSec 2021, Jaipur, India, December 9-10, 2021 : revised selected papers / by: (書目-電子資源)

Intelligent robotics and applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022 : proceedings.. Part III / by: (書目-電子資源)

Intelligent robotics and applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022 : proceedings.. Part I / by: (書目-電子資源)

Intelligent robotics and applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1-3, 2022 : proceedings.. Part IV / by: (書目-電子資源)

Intelligent computing methodologies = 18th International Conference, ICIC 2022, Xi'an, China, August 7-11, 2022 : proceedings.. Part III / by: (書目-電子資源)

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

Explainable and transparent AI and multi-agent systems = 4th International Workshop, EXTRAAMAS 2022, virtual event, May 9-10, 2022 : revised selected papers / by: (書目-電子資源)

Computer security - ESORICS 2022 = 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26-30, 2022 : proceedings.. Part III / by: (書目-電子資源)

HCI international 2022 - late breaking papers = HCI for health, well-being, universal access and healthy aging : 24th International Conference on Human-Computer Interaction, HCII 2022, virtual event, June 26-July 1, 2022 : proceedings / by: (書目-電子資源)

Computational advances in bio and medical sciences = 11th International Conference, ICCABS 2021, virtual event, December 16-18, 2021 : revised selected papers / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation = software engineering : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part II / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation = practice : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part IV / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation = verification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part I / by: (書目-電子資源)

Game theory for networks = 11th International EAI Conference, GameNets 2022, virtual event, July 7-8, 2022 : proceedings / by: (書目-電子資源)

Deep learning for computational problems in hardware security = modeling attacks on strong physically unclonable function circuits / by: (書目-電子資源)

Distributed computing and intelligent technology = 19th International Conference, ICDCIT 2023, Bhubaneswar, India, January 18-22, 2023 : proceedings / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 22nd International Conference, ICA3PP 2022, Copenhagen, Denmark, October 10-12, 2022 : proceedings / by: (書目-電子資源)

Verification, model checking, and abstract interpretation = 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings / by: (書目-電子資源)

Computer performance engineering = 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022 : proceedings / by: (書目-電子資源)

Verified software = theories, tools and experiments : 14th International Conference, VSTTE 2022, Trento, Italy, october 17-18, 2022 : revised selected papers / by: (書目-電子資源)

Computer vision - ECCV 2022 Workshops = Tel Aviv, Israel, October 23-27, 2022 : proceedings.. Part I / by: (書目-電子資源)

Computer vision - ECCV 2022 Workshops = Tel Aviv, Israel, October 23-27, 2022 : proceedings.. Part V / by: (書目-電子資源)

Formal methods = 25th international symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings / by: (書目-電子資源)

Context-aware systems and applications = 11th EAI International Conference, ICCASA 2022, Vinh Long, Vietnam, October 27-28, 2022 : proceedings / by: (書目-電子資源)

Cognitive computing and cyber physical systems = third EAI International Conference, IC4S 2022, virtual event, November 26-27, 2022 : proceedings / by: (書目-電子資源)

Internet of things = third International Conference, ICIoT 2022, Chennai, India, April 5-7, 2022 : revised selected papers / by: (書目-電子資源)

ICT for health, accessibility and wellbeing = second International Conference, IHAW 2022, Larnaca, Cyprus, December 5-7, 2022 : revised selected papers / by: (書目-電子資源)

Applications of computational intelligence = 5th IEEE Colombian Conference, ColCACI 2022, Cali, Colombia, July 27-29, 2022 : revised selected papers / by: (書目-電子資源)

Low power architectures for IoT applications by: (書目-電子資源)

Computer vision - ACCV 2022 Workshops = 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022 : revised selected papers / by: (書目-電子資源)

AIxIA 2022 - advances in artificial intelligence = XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022 : proceedings / by: (書目-電子資源)

Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022 : proceedings.. Part III / by: (書目-電子資源)

Constructive side-channel analysis and secure design = 14th International Workshop, COSADE 2023, Munich, Germany, April 3-4, 2023 : proceedings / by: (書目-電子資源)

Structured object-oriented formal language and method = 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022 : revised selected papers / by: (書目-電子資源)

Performance evaluation and benchmarking = 14th TPC Technology Conference, TPCTC 2022, Sydney, NSW, Australia, September 5, 2022 : revised selected papers / by: (書目-電子資源)

Parallel and distributed computing, applications and technologies = 23rd International Conference, PDCAT 2021, Guangzhou, China, December 7-9, 2022 : proceedings / by: (書目-電子資源)

Computer supported cooperative work and social computing = 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022 : revised selected papers.. Part I / by: (書目-電子資源)

Computer supported cooperative work and social computing = 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022 : revised selected papers.. Part II / by: (書目-電子資源)

Real-time simulation and hardware-in-the-loop testing using Typhoon HIL by: (書目-電子資源)

Cognitive computation and systems = first International Conference, ICCCS 2022, Beijing, China, December 17-18, 2022 : revised selected papers / by: (書目-電子資源)

Mobile networks and management = 12th EAI International Conference, MONAMI 2022, virtual event, October 29-31, 2022 : proceedings / by: (書目-電子資源)

Sensor systems and software = 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022 : proceedings / by: (書目-電子資源)

Designing modern embedded systems = software, hardware, and applications : 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022 : proceedings / by: (書目-電子資源)

Machine intelligence and emerging technologies = first International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022 : proceedings.. Part II / by: (書目-電子資源)

Model-driven engineering and software development = 9th nternational Conference, MODELSWAR 2021, virtual event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, virtual event, February 6-8, 2022 : revised selected papers / by: (書目-電子資源)

Innovations for community services = 23rd International Conference, I4CS 2023, Bamberg, Germany, September 11-13, 2023 : proceedings / by: (書目-電子資源)

Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings / by: (書目-電子資源)

Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part II / by: (書目-電子資源)

Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part III / by: (書目-電子資源)

Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part VII / by: (書目-電子資源)

Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part IX / by: (書目-電子資源)

Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part IV / by: (書目-電子資源)

Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part V / by: (書目-電子資源)

Shape in medical imaging = International Workshop, ShapeMI 2023, held in conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023 : proceedings / by: (書目-電子資源)

AIxIA 2023 - Advances in Artificial Intelligence = XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023 : proceedings / by: (書目-電子資源)

Scheduling and reconfiguration of real-time systems = a supervisory control approach / by: (書目-電子資源)

Telecommunications and remote sensing = 12th International Conference, ICTRS 2023, Rhodes, Greece, September 18-19, 2023 : proceedings / by: (書目-電子資源)

Entertainment computing - ICEC 2023 = 22nd IFIP TC 14 International Conference, ICEC 2023, Bologna, Italy, November 15-17, 2023 : proceedings / by: (書目-電子資源)

Collaborative computing = networking, applications and worksharing : 18th EAI International Conference, CollaborateCom 2022, Hangzhou, China, October 15-16, 2022 : proceedings.. Part I / by: (書目-電子資源)

HCI International 2022 - posters = 24th International Conference on Human-Computer Interaction, HCII 2022, virtual event, June 26 - July 1, 2022 : proceedings.. Part IV / by: (書目-電子資源)

OpenMP in a modern world = from multi-device support to meta programming : 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27-30, 2022 : proceedings / by: (書目-電子資源)

Social computing and social media = design, user experience and impact : 14th International Conference, SCSM 2022, held as part of the 24th HCI International Conference, HCII 2022, virtual event, June 26 - July 1, 2022 : proceedings.. Part I / by: (書目-電子資源)

Design, user experience, and usability = design thinking and practice in contemporary and emerging technologies : 11th International Conference, DUXU 2022, held as part of the 24th HCI International Conference, HCII 2022, virtual event, June 26 - July 1, 2022 : proceedings.. Part III / by: (書目-電子資源)

Engineering psychology and cognitive ergonomics = 19th International Conference, EPCE 2022, held as part of the 24th HCI International Conference, HCII 2022, virtual event, June 26 - July 1, 2022 : proceedings / by: (書目-電子資源)

Human-computer interaction = user experience and behavior : thematic area, HCI 2022, held as part of the 24th HCI International Conference, HCII 2022, virtual event, June 26 - July 1, 2022 : proceedings.. Part III / by: (書目-電子資源)