Вы здесь

Главная

встроенная система

Связанные издания:

Smart Card Research and Advanced Applications: Revised Selected Papers/17th International Conference, CARDIS 2018, Montpellier, France, November 2018
Smart Card Research and Advanced Applications: Revised Selected Papers/19th International Conference, CARDIS 2020, Virtual Event, November 2020
SOFSEM 2011: Theory and Practice of Computer Science: Proc./37th Conference of Current Trends in Theory and Practice of CS, Novy Smokovec, Slovakia, January 2011
Software Architecture: Proc./12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 2018
Software Architecture: Proc./8th European Conference, ECSA 2014, Vienna, Austria, August 2014
Software Composition: Proc./10th International Conference, SC 2011, Zurich, Switzerland, June/July 2011
Software Engineering and Formal Methods: Proc./12th International Conference, SEFM 2014, Grenoble, France, September 2014
Software Engineering and Formal Methods: Proc./17th International Conference, SEFM 2019, Oslo, Norway, September 2019
Software Engineering and Formal Methods: Proc./18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 2020
Software Engineering and Formal Methods: Proc./19th International Conference, SEFM 2021, Virtual Event, December 2021
Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 2017
Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 2019
Software Engineering and Formal Methods: SEFM 2020 Collocated Workshops: Revised Selected Papers/ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 2020
Software Technologies: Applications and Foundations: Revised Selected Papers/STAF 2018 Collocated Workshops, Toulouse, France, June 2018
Software Technologies for Embedded and Ubiquitous Systems: Proc./6th IFIP WG 10.2 International Workshop, SEUS 2008. Anacarpi, Capri Island, Italy, October 2008
Software Technologies for Embedded and Ubiquitous Systems: Proc./8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 2010
Software Technologies for Embedded and Ubiquitous Systems: Revised Papers/5th IFIP WG 10.2 International Workshop, SEUS 2007. Santorini Island, Greece, May 2007
Software Verification: Revised Selected Papers/13th International Conference, VSTTE 2021, New Haven,CN,USA, October 2021 and 14th International Workshop, NSV 2021, Los Angeles,CA,USA, July 2021
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 2016
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 2019
Structured Object-Oriented Formal Language and Methods: Revised Selected Papers/10th International Workshop,, SOFL+MSVL 2020, Singapore, March 2021
Supercomputing Frontiers: Proc./6th Asian Conference, SCFA 2020, Singapore, February 2020
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
System Analysis and Modeling: Models and Reusability: Proc./8th Internatonal Conference, SAM 2014, Valencia, Spain, September 2014
Testing Software and Systems: Proc./32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 2020
The New Codebreakers: Essays Dedicated to David Kahn on the Occasion of His 85th Birthday
Theoretical Aspects of Computing - ICTAC 2020: Proc./17th International Colloquium, Macau, China, November 2020
Theoretical Aspects of Computing - ICTAC 2021: Proc./18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 2021
Theory and Applications of Satisfiability Testing - SAT 2020: Proc./23rd International Conference, Alghero, Italy, July 2020
Theory and Applications of Satisfiability Testing - SAT 2021: Proc./24th International Conference, Barcelona, Spain, July 2021
Theory and Practice of Model Transformations: Proc./Third International Conference, ICMT 2010, Malaga, Spain, June 2010
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./26th International Conference, TACAS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021
Transactions on Aspect-Oriented Software Development VIII
Transactions on Computational Science V: Special Issue on Cognitive Knowledge Representation
Transactions on Computational Science X: Special Issue on Security in Computing, Part I
Transactions on Computational Science XXXVIII
Transactions on High-Performance Embedded Architectures and Compilers III
Transactions on High-Performance Embedded Architectures and Compilers V
Trends in Functional Programming: Revised Selected Papers/17th International Conference, TFP 2016, College Park,MD,USA, June 2016
Trends in Functional Programming: Revised Selected Papers/21st International Symposium, TFP 2020, Krakow, Poland, February 2020
Trends in Functional Programming: Revised Selected Papers/22nd International Symposium, TFP 2021, Virtual Event, February 2021
Trust and Trustworthy Computing: Proc./4th International Conference, TRUST 2011, Pittsburg,PA,USA, June 2011
Trust and Trustworthy Computing: Proc./7th International Conference, TRUST 2014, Heraclion, Crete, Greece, June 2014
Trusted Systems: Proc./4th International Conference, INTRUST 2012, London, UK, December 2012
Trustworthy Software Development Processes: Proc./International Conference on Software Process, ICSP 2009, Vancouver, Canada, May 2009
UbiComp 2006: Ubiquitous Computing: Proc./8th International Conference, UbiComp 2006. Orange County, CA, USA, September 2006
Ubiquitous Intelligence and Computing: Proc./4th International Conference, UIC 2007. Hong Kong, China, July 2007
Ubiquitous Intelligence and Computing: Proc./Third International Conference, UIC 2006. Wuhan, China, September 2006
Ubiquitous Knowledge Discovery: Challenges, Techniques, Applications