Languages
Covers
Jump To : Overview | Titles | Subjects

Cerone, Antonio.

Overview
Works: 2 works in 3 publications in 1 languages
Titles
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / by: Delmas, David.; Oliveira, José N.; Kutrib, Martin.; Moreira, Nelma.; Luckcuck, Matt.; Guidotti, Riccardo.; Marmsoler, Diego.; Monteiro, Pedro.; Ratiu, Daniel.; Gonnord, Laure.; Sekerinski, Emil.; Farrell, Marie.; Cerone, Antonio.; Campos, José.; Dongol, Brijesh.; SpringerLink (Online service); Couto, Luis.; Astarte, Troy. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Theoretical Aspects of Computing – ICTAC 2021 = 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings / by: Cerone, Antonio.; SpringerLink (Online service); Ölveczky, Peter Csaba. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods – Fun for Everybody = First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers / by: Cerone, Antonio.; SpringerLink (Online service); Roggenbach, Markus. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Theoretical Aspects of Computing – ICTAC 2021 = 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings / by: SpringerLink (Online service); Cerone, Antonio.; Ölveczky, Peter Csaba. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods for Software Engineering = Languages, Methods, Application Domains / by: Schneider, Gerardo.; Shaikh, Siraj Ahmed.; Schlingloff, Bernd-Holger.; Cerone, Antonio.; SpringerLink (Online service); Roggenbach, Markus. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]
Formal methods for an informal world = ICTAC 2021 Summer School, virtual event, Astana, Kazakhstan, September 1-7, 2021 : tutorial lectures / by: SpringerLink (Online service); Cerone, Antonio.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops = CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers / by: SpringerLink (Online service); Bucaioni, Alessio.; Palmieri, Maurizio.; Venture, Gentiane.; Graziani, Pierluigi.; Cerone, Antonio.; Temperini, Marco.; Gomes, Cláudio.; Autili, Marco. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Theoretical aspects of computing = ICTAC 2011 : 8th international colloquium, Johannesburg, South Africa, August 31 - September 2, 2011 : proceedings / by: SpringerLink (Online service); Cerone, Antonio.; Pihlajasaari, Pekka.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Software Engineering and Formal Methods = 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings / by: de Boer, Frank.; SpringerLink (Online service); Cerone, Antonio. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Show more
Subjects
Computer System Implementation. Artificial intelligence. Software engineering. Mathematical and Computational Engineering Applications. Theory of Computation. Logics and Meanings of Programs. Computer science Computer and Information Systems Applications. Application software. Computers. Control and Systems Theory. Algorithm Analysis and Problem Complexity. Computer logic. Engineering—Data processing. Architecture, Computer. Computer Science. Microprogramming . Special purpose computers. Education Special Purpose and Application-Based Systems. Engineering mathematics. Computing Milieux. Computer science. Computation by Abstract Devices. Input-output equipment (Computers). Computer Science Logic and Foundations of Programming. Computer input-output equipment. Mathematical logic. Computer organization. Computer science—Mathematics. Formal methods (Computer science) Symbolic and Algebraic Manipulation. Computers and Education. Education—Data processing. Computer Systems Organization and Communication Networks. Mathematical Logic and Formal Languages. Artificial Intelligence (incl. Robotics) Artificial Intelligence. Computer Applications. Robotics. Software Engineering. Software Engineering/Programming and Operating Systems. Automation. Information technology Programming Language. Computers and Society. Control Structures and Microprogramming. Simulation and Modeling. Control engineering. Control, Robotics, Automation. Computer hardware. Computer Hardware. Input/Output and Data Communications.
 
 
Change password
Login