Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Journal of computer security, 2021-01, Vol.29 (3), p.299-340
2021
Volltextzugriff (PDF)
International journal of software engineering and knowledge engineering, 2021-07, Vol.31 (7), p.1043-1067
2021
Volltextzugriff (PDF)
Journal of software : evolution and process, 2018-11, Vol.30 (11), p.n/a
2018
Volltextzugriff (PDF)
SN computer science, 2022-07, Vol.3 (5), p.356, Article 356
2022
Volltextzugriff (PDF)
Foundations of Security, Protocols, and Equational Reasoning, 2019, Vol.11565, p.192-213
2019
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2010-09, Vol.36 (Proc. RTRTS 2010), p.26-45
2010
Volltextzugriff (PDF)
2020 Working Conference on Software Visualization (VISSOFT), 2020, p.49-60
2020
Volltextzugriff (PDF)
Formal Methods. FM 2019 International Workshops, p.362-367
- Alturki, Musab A.
- Chen, Jing
- Luchangco, Victor
- Moore, Brandon
- Palmskog, Karl
- Peña, Lucas
- Roşu, Grigore
- Oliveira, José N.
- Dongol, Brijesh
- Marmsoler, Diego
- Couto, Luis
- Luckcuck, Matt
- Cerone, Antonio
- Monteiro, Pedro
- Sekerinski, Emil
- Astarte, Troy
- Campos, José
- Kutrib, Martin
- Ratiu, Daniel
- Gonnord, Laure
- Delmas, David
- Farrell, Marie
- Moreira, Nelma
- Guidotti, Riccardo
Volltextzugriff (PDF)
Formal Methods. FM 2019 International Workshops, p.337-349
Volltextzugriff (PDF)
Algebra and Coalgebra in Computer Science, p.386-392
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2015-07, Vol.84 (4), p.505-533
2015
Volltextzugriff (PDF)
Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy, 2018, p.60-71
2018
Volltextzugriff (PDF)
Theoretical Aspects of Computing - ICTAC 2022, 2022, Vol.13572, p.96-113
2022
Volltextzugriff (PDF)
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 2019, p.382-38214
2019
Volltextzugriff (PDF)
2017 IEEE International Conference on Information Reuse and Integration (IRI), 2017, p.283-290
2017
Volltextzugriff (PDF)
Fundamental Approaches to Software Engineering, p.78-93
Volltextzugriff (PDF)
Sparse Single-Hidden Layer Feedforward Network for Mapping Natural Language Questions to SQL Queries
Volltextzugriff (PDF)
Fundamental Approaches to Software Engineering, p.262-277
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2009-03, Vol.234, p.3-18
2009
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2008-05, Vol.200 (3), p.25-41
2008
Volltextzugriff (PDF)
Proceedings of the 4th International Symposium on Information, Computer, and Communications Security, 2009, p.262-275
2009
Volltextzugriff (PDF)
International Conference on Principles and Practice of Declarative Programming: Proceedings of the 9th ACM SIGPLAN international symposium on Principles and practice of declarative programming; 14-16 July 2007, 2007, p.131-142
2007
Volltextzugriff (PDF)
FM 2015: Formal Methods, p.40-56
Volltextzugriff (PDF)
Journal of Pharmaceutical Research International, 2021-11, p.235-241
- H. Abushal, Mohammed
- S. Albalawi, Yazeed Ali
- S. Albalawi, Muflih Abdullah
- Mohammed, AlTurki Abdulrahman
- A. Albalawi, Amal Sulaiman
- S. Alotabi, Rola Ali
- A. Albalawi, Abdulrahim Oudah
- Q. Al-Ruwaili, Sultan Suliman
- Kassarah Al-nakhli, Zahraa Abbas A.
- S. alhawiti, Nada Saleem
- Emad Almhmd, Abdalah
- M. Alzahrani, Naif Abdullah
- A. Alzahrani, Turki Abdullah
- A. Arishi, Hassan Ahmed
- Y. Ezzi, Musab Ismail
2021
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Rewriting Logic
- Maude
- Orc
- Complexity
- Computer Science, Information Systems
- Statistical Model Checking
- Analytical Models
- Blockchain
- Denial Of Service
- Formal Analysis
- Formal Methods
- Multiset Rewriting
- Program Comprehension
- Software
- Source Code
Kollektion
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- International Journal Of Software Engineering And Knowledge Engineering
- Journal Of Computer Security
- Journal Of Logical And Algebraic Methods In Programming
- Journal Of Pharmaceutical Research International
- Journal Of Software : Evolution And Process
- Sn Computer Science
- The journal Of Logical And Algebraic Methods In Programming/journal Of Logical And Algebraic Methods In Programming