Language: English
Help
Login
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.; Moreira, Nelma.; Kutrib, Martin.; Luckcuck, Matt.; Guidotti, Riccardo.; Marmsoler, Diego.; Monteiro, Pedro.; Ratiu, Daniel.; Gonnord, Laure.; Sekerinski, Emil.; Farrell, Marie.; Campos, José.; Cerone, Antonio.; 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 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)
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]
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.; Cerone, Antonio.; Graziani, Pierluigi.; Venture, Gentiane.; Temperini, Marco.; Gomes, Cláudio.; Autili, Marco. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
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]
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)
Show more
Subjects
Mathematical logic. Computer organization. Computer science—Mathematics. Formal methods (Computer science) Computer System Implementation. Artificial intelligence. Symbolic and Algebraic Manipulation. Computers and Education. Software engineering. Education—Data processing. Mathematical and Computational Engineering Applications. Theory of Computation. Computer Systems Organization and Communication Networks. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Computer science Computer and Information Systems Applications. Artificial Intelligence (incl. Robotics) Application software. Artificial Intelligence. Computer Applications. Control Structures and Microprogramming. Simulation and Modeling. Control engineering. Engineering mathematics. Computing Milieux. Computer science. Control, Robotics, Automation. Robotics. Computers. Computer hardware. Computer Hardware. Input/Output and Data Communications. Computation by Abstract Devices. Input-output equipment (Computers). Computer input-output equipment. Computer Science Logic and Foundations of Programming. Control and Systems Theory. Software Engineering. Software Engineering/Programming and Operating Systems. Algorithm Analysis and Problem Complexity. Computer logic. Engineering—Data processing. Automation. Information technology Programming Language. Architecture, Computer. Computer Science. Microprogramming . Special purpose computers. Education Computers and Society. Special Purpose and Application-Based Systems.
 
 
Change password
Login