Cover Image

QR Code

Formal methods teaching : 4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 :

Other Authors:	Formal Methods Teaching Workshop and Tutorial, Ferreira, Joao F., Mendes, Alexandra, Menghi, Claudio
Subjects:	Formal methods (Computer science) -- > Congresses
Online Access:	http://library.unisel.edu.my/web/guest/mylibrary

Similar Items

Serious games : joint international conference, JCSG 2021, virtual event, January 12-13, 2022 : proceedings

Cloud computing and services science : 11th International Conference, CLOSER 2021, virtual event, April 28-30, 2021, revised selected papers

Cyber intelligence and information retrieval : proceedings of CIIR 2021

High performance computing in science and engineering '21 : transactions of the High Performance Computing Center, Stuttgart (HLRS) 2021

Complex data analytics with formal concept analysis

Statistics and finance : an interface : an interface : proceedings of the Hong Kong International Workshop, Centre of Financial Time Series, University of Hong Kong, 4-8 July 1999
Published: (2000)

Intelligent computing : proceedings of the 2021 Computing Conference. Volume 1

Soft computing applications : proceedings of the 8th International Workshop Soft Computing Applications (SOFA 2018) : proceedings of the 8th International Workshop Soft Computing Applications (SOFA 2018) : volume I

Communication and smart technologies : proceedings of ICOMTA 2021

New perspectives in software engineering : proceedings of the 9th International Conference on Software Process Improvement (CIMPS 2020)

Robust argumentation machines : First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, proceedings

Biomedical and computational biology : Second International Symposium, BECB 2022, virtual event, August 13-15, 2022, revised selected papers

Foundations of software science and computation structures : 27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings. Part I

Foundations of software science and computation structures : 27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings. Part II

Agile processes in software engineering and extreme programming : 25th International Conference on Agile Software Development, XP 2024, Bozen-Bolzano, Italy, June 4-7, 2024, Proceedings

Cybersecurity in the age of smart societies : proceedings of the 14th International Conference on Global Security, Safety and Sustainability, London, September 2022

An Introduction to discrete mathematics and formal system specification
by: Ince, D. C
Published: (1988)

Machine learning for cyber security : 4th International Conference, ML4CS 2022, Guangzhou, China, December 2-4, 2022, proceedings : 4th International Conference, ML4CS 2022, Guangzhou, China, December 2-4, 2022, proceedings : part I

Proceedings of Second Doctoral Symposium on Computational Intelligence : DoSCI 2021 / Deepak Gupta [and four others], editors.

Artificial intelligence and digitalization for sustainable development : 10th EAI International Conference, ICAST 2022, Bahir Dar, Ethiopia, November 4-6, 2022, Proceedings

Advances in computational intelligence and communication : selected papers from the 2nd EAI International Conference on Computational Intelligence and Communications (CICom 2021)

Object-oriented analysis and design
by: Ramnath, Sarnath

Impact of artificial intelligence, and the fourth Industrial Revolution on business success : proceedings of the International Conference on Business and Technology (ICBT 2021)
by: 2023

Optical and wireless technologies : proceedings of OWT 2021

Data science : analytics and applications : proceedings of the 5th International Data Science Conference--iDSC2023

Ubuntu Linux unleashed 2021 edition : covers 20.04, 20.10, and 21.04
by: Helmke, Matthew

Project-based software engineering : an object-oriented approach
by: Stiller, Evelyn
Published: (2002)

Virtual reality : selected tools and applications : selected tools and applications : proceedings of VR'98 Seminar and Workshop on Virtual Reality, Kuala Lumpur, Malaysia, 14-15 April 1998
Published: (1998)

3D discrete element workbench for highly dynamic thermo-mechanical analysis
by: Andre, Damien
Published: (2015)

UML @ classroom : an introduction to object-oriented modeling
Published: (2015)

Applying UML and patterns : an introduction to object-oriented analysis and design and the unified process
by: Larman, Craig
Published: (2002)

Advanced informatics for computing research : 5th International Conference, ICAICR 2021, Gurugram, India, December 18-19, 2021, revised selected papers

Programming languages and systems : 33rd European Symposium on Programming, ESOP 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings. Part I

Advances in natural computation, fuzzy systems and knowledge discovery : proceedings of the ICNC-FSKD 2021

Java EE 8 design patterns and best practices : build enterprise-ready scalable applications with architectural design patterns
by: Rocha, Rhuan

Object thinking
by: Westm, David
Published: (2004)

The art & science of Java : an introduction to computer science
by: Roberts, Eric S
Published: (2008)

Proceedings of the International Workshop on Physics and Technology of Thin Films : IWTF 2003, Tehran, Iran, 22 February-6 March 2003
Published: (2004)

Neural networks in financial engineering : proceedings of the Third International Conference on Neural Networks in the Capital Markets, London, England, 11-13 October 95
Published: (1996)

Innovation on education and social sciences : proceedings of the International Joint Conference on Arts and Humanities (IJCAH 2021), Surabaya, Indonesia, 2 October 2021