Software Engineering/Programming and Operating Systems.
概要
作品: | 974 作品在 749 項出版品 749 種語言 |
---|
書目資訊
High Performance Computing - HiPC 2005 :12th International Conference, Goa, India, December 18-21, 2005. Proceedings /
by:
(書目-電子資源)
The Making of Information SystemsSoftware Engineering and Management in a Globalized World /
by:
(書目-電子資源)
Developing Ambient IntelligenceProceedings of the International Conference on Ambient Intelligence Developments (AmI.d’07) /
by:
(書目-電子資源)
Transactions on Aspect-Oriented Software Development IIFocus: AOP Systems, Software and Middleware /
by:
(書目-電子資源)
High Performance Computing - HiPC 200613th International Conference Bangalore, India, December 18-21, 2006, Proceedings /
by:
(書目-電子資源)
Advances in Systems, Computing Sciences and Software EngineeringProceedings of SCSS05 /
by:
(書目-電子資源)
Computational Science ICCS 20088th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part I /
by:
(書目-電子資源)
Computational Science ICCS 20088th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part II /
by:
(書目-電子資源)
Computational Science ICCS 20088th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part III /
by:
(書目-電子資源)
Computational Science and Its Applications - ICCSA 2005International Conference, Singapore, May 9-12, 2005, Proceedings.I /
by:
(書目-電子資源)
Computational science and its applications, ICCSA 2005International Conference, Singapore, May 9-12, 2005, Proceedings .II
by:
(書目-電子資源)
Computational Science and Its Applications - ICCSA 2005International Conference, Singapore, May 9-12. 2005, Proceedings .III
by:
(書目-電子資源)
Computational Science and Its Applications - ICCSA 2005International Conference, Singapore, May 9-12, 2005, Proceedings.IV /
by:
(書目-電子資源)
Computational Science -- ICCS 20055th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.I /
by:
(書目-電子資源)
Computational Science -- ICCS 20055th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.II /
by:
(書目-電子資源)
Computational Science -- ICCS 20055th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.III
by:
(書目-電子資源)
Automata, Languages and Programming32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /
by:
(書目-電子資源)
Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering
by:
(書目-電子資源)
Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education
by:
(書目-電子資源)
The Testing NetworkAn Integral Approach to Test Activities in Large Software Projects /
by:
(書目-電子資源)
Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronics
by:
(書目-電子資源)
Computer performance engineering5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Computer safety, reliability, and security27th international conference, Safecomp 2008 Newcastle upon Tyne, UK, September 22-25, 2008 proceedings /
by:
(書目-語言資料,印刷品)
Software architecturesecond European conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 proceedings /
by:
(書目-語言資料,印刷品)
Mathematics and computation, a contemporary viewthe abel symposium 2006 proceedings of the third abel symposium, Alesund, Norway, May 25-27, 2006 /
by:
(書目-語言資料,印刷品)
Advances in software engineeringLipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures /
by:
(書目-語言資料,印刷品)
High performance computing - HiPC 200815th international conference, Bangalore, India, December 17-20, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Systems and virtualization managementstandards and new technologies : second international workshop, SVM 2008, Munich, Germany, October 21-22, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Software product management and pricingkey success factors for software organizations /
by:
(書目-電子資源)
End-User development2nd international symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings /
by:
(書目-電子資源)
Information systems developmentchallenges in practice, theory, and education volume 2 /
by:
(書目-電子資源)
Computational science - ICCS 20099th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.Part I /
by:
(書目-電子資源)
Computational science - ICCS 20099th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.Part II /
by:
(書目-電子資源)
Object-oriented technology. ECOOP 2008 workshop reader ECOOP 2008 workshops, Paphos, Cyrus, July 7-11, 2008, final reports /
by:
(書目-電子資源)
Frontiers in AlgorithmicsThird International Workshop, FAW 2009, Hefei, China, June 20-23, 2009 : proceedings /
by:
(書目-電子資源)
Distributed computing23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009 : proceedings /
by:
(書目-電子資源)
Transactions on aspect-oriented software development VIspecial issue on aspects and model-driven engineering /
by:
(書目-電子資源)
Cloud computingFirst International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009 : proceedings /
by:
(書目-電子資源)
Software composition9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(書目-電子資源)
ECOOP 2010 - object-oriented programming24th European Conference, Maribor, Slovenia, June 21-25, 2010 : proceedings /
by:
(書目-電子資源)
Business process technologya unified view on business processes, workflows and enterprise applications /
by:
(書目-電子資源)
Network and parallel computingIFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, proceedings /
by:
(書目-電子資源)
Transactions on pattern languages of programming IIspecial issue on applying patterns /
by:
(書目-電子資源)
NASA formal methodsthird international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
by:
(書目-電子資源)
End-user developmentthird international symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011 : proceedings /
by:
(書目-電子資源)
Parallel computing technologies11th international conference, PaCT 2011, Kazan, Russia, September 19-23, 2011 : proceedings /
by:
(書目-電子資源)
Information systems developmentbusiness systems and services : modeling and development /
by:
(書目-電子資源)
NASA formal methods4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(書目-電子資源)
Specification and analytical evaluation of heterogeneous dynamic quorum-based data replication schemes
by:
(書目-電子資源)
Facing the multicore - Challenge IIaspects of new paradigms and technologies in parallel computing /
by:
(書目-電子資源)
Progress in VLSI design and test16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012 : proceedings /
by:
(書目-電子資源)
Network and parallel computing9th IFIP international conference, NPC 2012, Gwangju, Korea, September 6-8, 2012 : proceedings /
by:
(書目-電子資源)
Real-time security extensions for EPCglobal networkscase study for the pharmaceutical industry /
by:
(書目-電子資源)
Proceedings of International Conference on Internet Computing and Information CommunicationsICICIC Global 2012 /
by:
(書目-電子資源)
IAENG transactions on engineering technologiesspecial issue of the World Congress on Engineering and Computer Science 2012 /
by:
(書目-電子資源)
Model-driven software migrationa methodology : Reengineering, recovery and modernization of legacy systems /
by:
(書目-電子資源)
Irresistible appsmotivational design patterns for apps, games, and web-based communities /
by:
(書目-電子資源)
NASA formal methods6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 : proceedings /
by:
(書目-電子資源)
Optimization in science and engineeringin honor of the 60th birthday of Panos M. Pardalos /
by:
(書目-電子資源)
Aligning business processes and information systemsnew approaches to continuous quality engineering /
by:
(書目-電子資源)
Software engineering techniques applied to agricultural systemsan object-oriented and UML approach /
by:
(書目-電子資源)
eScience on distributed computing infrastructureachievements of PLGrid Plus domain-specific services and tools /
by:
(書目-電子資源)
Mathematical software - ICMS 20144th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings /
by:
(書目-電子資源)
Science gateways for distributed computing infrastructuresdevelopment framework and exploitation by scientific user sommunities /
by:
(書目-語言資料,印刷品)
Modeling and simulation of complex systemsa framework for efficient agent-based modeling and simulation /
by:
(書目-語言資料,印刷品)
Design concepts for a virtualizable embedded MPSoC architectureenabling virtualization in embedded multi-processor systems /
by:
(書目-電子資源)
A practical guide to TPM 2.0using the new Trusted Platform Module in the new age of security /
by:
(書目-電子資源)
Engineering secure software and systems7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings /
by:
(書目-電子資源)
Practical enterprise software development techniquestools and techniques for large scale solutions /
by:
(書目-電子資源)
Agile product developmenthow to design innovative products that create customer value /
by:
(書目-電子資源)
The Vixen Star Book user guidehow to use the Star Book TEN and the original Star Book /
by:
(書目-電子資源)
Multidimensional views on enterprise information systemsproceedings of ERP future 2014 /
by:
(書目-電子資源)
Working around disruptions of network infrastructuresmobile ad-hoc systems for resilient communication in disasters /
by:
(書目-電子資源)
Complete symbolic simulation of SystemC modelsefficient formal verification of finite non-terminating programs /
by:
(書目-電子資源)
Variation based dense 3D Reconstructionapplication on monocular mini-laparoscopic sequences /
by:
(書目-電子資源)
Engineering secure software and systems8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings /
by:
(書目-電子資源)
Transactions on engineering technologiesInternational MultiConference of Engineers and Computer Scientists 2015 /
by:
(書目-電子資源)
Description and selection of communication services for service oriented network architectures
by:
(書目-電子資源)
Mathematical software - ICMS 20165th International Conference, Berlin, Germany, July 11-14, 2016 : proceedings /
by:
(書目-電子資源)
Functional safety for road vehiclesnew challenges and solutions for e-mobility and automated driving /
by:
(書目-電子資源)
Control modes on mobile software platformsempirical studies on the importance of informal control /
by:
(書目-電子資源)
Computer and information sciences31st International Symposium, ISCIS 2016, Krakow, Poland, October 27-28, 2016 : proceedings /
by:
(書目-電子資源)
Analyzing time interval dataintroducing an information system for time interval data analysis /
by:
(書目-電子資源)
Distributed computing30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016 : proceedings /
by:
(書目-電子資源)
Transactions on engineering technologiesWorld Congress on Engineering and Computer Science 2015 /
by:
(書目-電子資源)
Bridging the gap between requirements engineering and software architecturea problem-oriented and quality-driven method /
by:
(書目-電子資源)
Transactions on engineering technologiesInternational MultiConference of Engineers and Computer Scientists 2016 /
by:
(書目-電子資源)
Beginning Swift games development for iOSdevelop 2D and 3D games using Apple's SceneKit and SpriteKit /
by:
(書目-電子資源)
Data analytics31st British International Conference on Databases, BICOD 2017, London, UK, July 10-12, 2017 : proceedings /
by:
(書目-電子資源)
Load modelling and generation in IP-based networksa unified approach and tool support /
by:
(書目-電子資源)
Reachability problems11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
(書目-電子資源)
Applied computer science for GGOS observatoriescommunication, coordination and automation of future geodetic infrastructures /
by:
(書目-電子資源)
Beginning Ubuntu for Windows and Mac usersstart your journey into free and open source software /
by:
(書目-電子資源)
Scalable uncertainty management11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017 : proceedings /
by:
(書目-電子資源)
Technologies and innovationthird International Conference, CITI 2017, Guayaquil, Ecuador, October 24-27, 2017 : proceedings /
by:
(書目-電子資源)
Beginning serverless computingdeveloping with Amazon Web Services, Microsoft Azure, and Google Cloud /
by:
(書目-電子資源)
Technology trendsthird International Conference, CITT 2017, Babahoyo, Ecuador, November 8-10, 2017 : proceedings /
by:
(書目-電子資源)
Pro JavaFX 9a definitive guide to building desktop, mobile, and embedded Java clients /
by:
(書目-電子資源)
Computer Science - CACIC 201723rd Argentine Congress, La Plata, Argentina, October 9-13, 2017 : revised selected papers /
by:
(書目-電子資源)
Human centered computingthird International Conference, HCC 2017, Kazan, Russia, August 7-9, 2017 : revised selected papers /
by:
(書目-電子資源)
Bidirectional transformationsInternational Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures /
by:
(書目-電子資源)
Optimizing data-to-learning-to-actionthe modern approach to continuous performance improvement for businesses /
by:
(書目-電子資源)
Pro PowerShell desired state configurationan in-depth guide to Windows PowerShell DSC /
by:
(書目-電子資源)
Thread and data mapping for multicore systemsimproving communication and memory accesses /
by:
(書目-電子資源)
Practical Bot developmentdesigning and building Bots with Node.js and Microsoft Bot framework /
by:
(書目-電子資源)
REST API development with Node.jsmanage and understand the full capabilities of successful REST development /
by:
(書目-電子資源)
HTML5 and JavaScript projectsbuild on your basic knowledge of HTML5 and JavaScript to create substantial HTML5 applications /
by:
(書目-電子資源)
Understanding modern dive computers and operationprotocols, models, tests, data, risk and applications /
by:
(書目-電子資源)
Electronic votingthird International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018 : proceedings /
by:
(書目-電子資源)
Provable security12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018 : proceedings /
by:
(書目-電子資源)
Security protocols XXVI26th International Workshop, Cambridge, UK, March 19-21, 2018 : revised selected papers /
by:
(書目-電子資源)
Membrane computing19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018 : revised selected papers /
by:
(書目-電子資源)
Agile methods9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018 : revised selected papers /
by:
(書目-電子資源)
Software challenges to exascale computingsecond Workshop, SCEC 2018, Delhi, India, December 13-14, 2018 : proceedings /
by:
(書目-電子資源)
Technology trends4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29-31, 2018 : revised selected papers /
by:
(書目-電子資源)
Networked Systems6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018 : revised selected papers /
by:
(書目-電子資源)
Advances in computing12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017 : proceedings /
by:
(書目-電子資源)
Algorithmic decision theory5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017 : proceedings /
by:
(書目-電子資源)
Computer science - CACIC 201824th Argentine Congress, Tandil, Argentina, October 8-12, 2018 : revised selected papers /
by:
(書目-電子資源)
Knowledge management in organizations14th International Conference, KMO 2019, Zamora, Spain, July 15-18, 2019 : proceedings /
by:
(書目-電子資源)
Practical Salesforce development without codebuilding declarative solutions on the Salesforce platform /
by:
(書目-電子資源)
Rules and reasoningthird International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019 : proceedings /
by:
(書目-電子資源)
Networked systems7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019 : revised selected papers /
by:
(書目-電子資源)
Provable security13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019 : proceedings /
by:
(書目-電子資源)
Artificial intelligence5th RAAI Summer School, Dolgoprudny, Russia, July 4-7, 2019 : tutorial lectures /
by:
(書目-電子資源)
Discovery science22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019 : proceedings /
by:
(書目-電子資源)
Mathematics of program construction13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019 : proceedings /
by:
(書目-電子資源)
Advances in computing13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26-28, 2018 : proceedings /
by:
(書目-電子資源)
Technologies and innovation4th International Conference, CITI 2018, Guayaquil, Ecuador, November 6-9, 2018 : proceedings /
by:
(書目-電子資源)
Technologies and innovation5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2-5, 2019 : proceedings /
by:
(書目-電子資源)
Agile methods10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019 : revised selected papers /
by:
(書目-電子資源)
Beyond interactionsINTERACT 2019 IFIP TC 13 Workshops, Paphos, Cyprus, September 2-6, 2019 : revised selected papers /
by:
(書目-電子資源)
High performance computing systems19th Symposium, WSCAD 2018, Sao Paulo, Brazil, October 1-3, 2018 : revised selected papers /
by:
(書目-電子資源)
Computer networks27th International Conference, CN 2020, Gdansk, Poland, June 23-24, 2020 : proceedings /
by:
(書目-電子資源)
Technical, economic and societal effects of manufacturing 4.0automation, adaption and manufacturing in Finland and beyond /
by:
(書目-電子資源)
Wireless internet12th EAI International Conference, WiCON 2019, TaiChung, Taiwan, November 26-27, 2019 : proceedings /
by:
(書目-電子資源)
Business modeling and software design10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020 : proceedings /
by:
(書目-電子資源)
Intelligent computer mathematics13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020 : proceedings /
by:
(書目-電子資源)
Code-based cryptography8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9-10, 2020 : revised selected papers /
by:
(書目-電子資源)
Learn Java for Android developmentmigrating Java SE programming skills to mobile development /
by:
(書目-電子資源)
Advanced information systems engineeringCAiSE Forum 2020, Grenoble, France, June 8-12, 2020 : proceedings /
by:
(書目-電子資源)
Formal methodsFM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.Part II /
by:
(書目-電子資源)
Rules and reasoning4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020 : proceedings /
by:
(書目-電子資源)
Security protocols XXVII27th International Workshop, Cambridge, UK, April 10-12, 2019 : revised selected papers /
by:
(書目-電子資源)
Beginning Jakarta EE web developmentusing JSP, JSF, MySQL, and Apache Tomcat for building Java web applications /
by:
(書目-電子資源)
Ambient Intelligence15th European Conference, AmI 2019, Rome, Italy, November 13-15, 2019 : proceedings /
by:
(書目-電子資源)
Cryptography and coding17th IMA International Conference, IMACC 2019, Oxford, UK, December 16-18, 2019 : proceedings /
by:
(書目-電子資源)
Cryptology and network security18th International Conference, CANS 2019, Fuzhou, China, October 25-27, 2019 : proceedings /
by:
(書目-電子資源)
Description logic, theory combination, and all thatessays dedicated to Franz Baader on the occasion of his 60th birthday /
by:
(書目-電子資源)
Frontiers of combining systems12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings /
by:
(書目-電子資源)
Information security22nd International Conference, ISC 2019, New York City, NY, USA, September 16-18, 2019 : proceedings /
by:
(書目-電子資源)
Pattern recognition11th Mexican Conference, MCPR 2019, Queretaro, Mexico, June 26-29, 2019 : proceedings /
by:
(書目-電子資源)
Systems modelling and managementfirst International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020 : proceedings /
by:
(書目-電子資源)
Logic, language, and securityessays dedicated to Andre Scedrov on the occasion of his 65th birthday /
by:
(書目-電子資源)
Frontiers in cyber securitythird International Conference, FCS 2020, Tianjin, China, November 15-17, 2020 : proceedings /
by:
(書目-電子資源)
The practice of enterprise modeling13th IFIP Working Conference, PoEM 2020, Riga, Latvia, November 25-27, 2020 : proceedings /
by:
(書目-電子資源)
Deductive software verificationfuture perspectives : reflections on the occasion of 20 years of KeY /
by:
(書目-電子資源)
Cryptology and network security19th International Conference, CANS 2020, Vienna, Austria, December 14-16, 2020 : proceedings /
by:
(書目-電子資源)
Theory of cryptography18th International Conference, TCC 2020, Durham, NC, USA, November 16-19, 2020 : proceedings.Part II /
by:
(書目-電子資源)
Static analysis27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020 : proceedings /
by:
(書目-電子資源)
Practical system programming with Cpragmatic example applications in Linux and Unix-based operating systems /
by:
(書目-電子資源)
Lean and agile software development5th International Conference, LASD 2021, Virtual Event, January 23, 2021 : proceedings /
by:
(書目-電子資源)
Software business11th International Conference, ICSOB 2020, Karlskrona, Sweden, November 16-18, 2020 : proceedings /
by:
(書目-電子資源)
Networked systems8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020 : proceedings /
by:
(書目-電子資源)
NASA formal methods13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings /
by:
(書目-電子資源)
Applied technologiessecond International Conference, ICAT 2020, Quito, Ecuador, December 2-4, 2020 : proceedings /
by:
(書目-電子資源)
Embedded software timingmethodology, analysis and practical tips with a focus on automotive /
by:
(書目-電子資源)
Software engineering, artificial intelligence, networking and parallel/distributed computing
by:
(書目-電子資源)
Intelligent information systemsCAiSE Forum 2021, Melbourne, VIC, Australia, June 28 - July 2, 2021 : proceedings /
by:
(書目-電子資源)
Business modeling and software design11th International Symposium, BMSD 2021, Sofia, Bulgaria, July 5-7, 2021 : proceedings /
by:
(書目-電子資源)
Membrane computing21st International Conference, CMC 2020, virtual event, September 14-18, 2020 : revised selected papers /
by:
(書目-電子資源)
Model and Data Engineering10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021 : proceedings /
by:
(書目-電子資源)
End-user development8th International Symposium, IS-EUD 2021, virtual event, July 6-8, 2021 : proceedings /
by:
(書目-電子資源)
Lean software systems engineering for developersmanaging requirements, complexity, teams, and change like a champ /
by:
(書目-電子資源)
Software technologies15th International Conference, ICSOFT 2020, Online event, July 7-9, 2020 : revised selected papers /
by:
(書目-電子資源)
Architecture of computing systems34th International Conference, ARCS 2021, Virtual Event, June 7-8, 2021, Proceedings /
by:
(書目-電子資源)
Computer aided verification33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.Part I /
by:
(書目-電子資源)
Computer aided verification33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.Part II /
by:
(書目-電子資源)
Multi-agent systems18th European Conference, EUMAS 2021, virtual event, June 28-29, 2021 : revised selected papers /
by:
(書目-電子資源)
Chinese lexical semantics21st Workshop, CLSW 2020, Hong Kong, China, May 28-30, 2020 : revised selected papers /
by:
(書目-電子資源)
Model checking software27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings /
by:
(書目-電子資源)
Artificial intelligence in intelligent systemsproceedings of 10th Computer Science On-line Conference 2021.Vol. 2 /
by:
(書目-電子資源)
Informatics and cybernetics in intelligent systemsproceedings of 10th Computer Science On-line Conference 2021.Vol. 3 /
by:
(書目-電子資源)
Software engineering and algorithmsproceedings of 10th Computer Science On-line Conference 2021.Vol. 1 /
by:
(書目-電子資源)
Cloud computing, big data & emerging topics9th Conference, JCC-BD&ET, La Plata, Argentina, June 22-25, 2021 : proceedings /
by:
(書目-電子資源)
Quantitative evaluation of systems18th International Conference, QEST 2021, Paris, France, August 23-27, 2021 : proceedings /
by:
(書目-電子資源)
Software architecture15th European Conference, ECSA 2021, virtual event, Sweden, September 13-17, 2021 : proceedings /
by:
(書目-電子資源)
Frontiers of combining systems13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings /
by:
(書目-電子資源)
Digital customer experience engineeringstrategies for creating effective digital experiences /
by:
(書目-電子資源)
Search-based software engineering13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021 : proceedings /
by:
(書目-電子資源)
Cryptography and cryptanalysis in MATLABcreating and programming advanced algorithms /
by:
(書目-電子資源)
Runtime verification21st International Conference, RV 2021, virtual event, October 11-14, 2021 : proceedings /
by:
(書目-電子資源)
Conceptual Modeling40th International Conference, ER 2021, virtual event, October 18-21, 2021 : proceedings /
by:
(書目-電子資源)
Reachability problems15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings /
by:
(書目-電子資源)
Requirements engineering for social sector software applicationsinnovating for a diverse set of user needs /
by:
(書目-電子資源)
Cryptology and network security20th International Conference, CANS 2021, Vienna, Austria, December 13-15, 2021 : proceedings /
by:
(書目-電子資源)
Software business12th international conference, ICSOB 2021, Drammen, Norway, December 2-3, 2021 : proceedings /
by:
(書目-電子資源)
Human-computer interaction7th Iberoamerican Workshop, HCI-COLLAB 2021, Sao Paulo, Brazil, September 8-10, 2021 : proceedings /
by:
(書目-電子資源)
Formal methods24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings /
by:
(書目-電子資源)
Secure IT Systems26th Nordic Conference, NordSec 2021, virtual event, November 29-30, 2021 : proceedings /
by:
(書目-電子資源)
Intelligent systems10th razilian conference, BRACIS 2021, virtual event, November 29-December 3, 2021 : proceedings.Part I /
by:
(書目-電子資源)
Networked systems9th International Conference, NETYS 2021, virtual event, May 19-21, 2021 : proceedings /
by:
(書目-電子資源)
Software engineering application in informaticsproceedings of 5th Computational Methods in Systems and Software 2021.Vol. 1 /
by:
(書目-電子資源)
更多
較少的
主題