-
1eBook
Συνεισφορές: Platzer, Andre, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo
Θεματικοί όροι: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, Software Engineering, Mathematical theory of computation, Expert systems / knowledge-based systems, Programming and scripting languages: general, Computer hardware, Natural language and machine translation
Περιγραφή αρχείου: image/png; image/jpeg
Relation: Lecture Notes in Computer Science
Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/144770
https://library.oapen.org/handle/20.500.12657/93255
https://library.oapen.org/bitstream/20.500.12657/93255/1/978-3-031-71177-0.pdf -
2eBook
Συνεισφορές: Platzer, Andre, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo
Θεματικοί όροι: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, Software Engineering, Mathematical theory of computation, Expert systems / knowledge-based systems, Programming and scripting languages: general, Computer hardware, Natural language and machine translation
Περιγραφή αρχείου: application/pdf
Relation: Lecture Notes in Computer Science
Σύνδεσμος πρόσβασης: https://library.oapen.org/handle/20.500.12657/93255
-
3eBook
Συνεισφορές: Enea, Constantin, Lal, Akash
Θεματικοί όροι: architecture verification and validation, artificial intelligence, computer programming, distributed computer systems, formal logic, software engineering, distributed systems, model checking, programming languages, software quality, theory of computation
Περιγραφή αρχείου: image/jpeg
Relation: Lecture Notes in Computer Science
-
4eBook
Συνεισφορές: Shoham, Sharon, Vizel, Yakir
Θεματικοί όροι: architecting, architecture verification and validation, artificial intelligence, computer programming, computer science, computer systems, distributed computer systems, distributed systems, embedded systems, formal logic, mathematics, model checking, programming languages, software architecture, software design, software engineering, software quality, theoretical computer science, verification, verification and validation, Software Engineering, Artificial intelligence, Algorithms and data structures, Computer networking and communications
Περιγραφή αρχείου: image/jpeg
Relation: Lecture Notes in Computer Science
-
5eBook
Συνεισφορές: Johnsen, Einar Broch, Wimmer, Manuel
Θεματικοί όροι: architecture verification and validation, distributed computer systems, embedded systems, empirical software validation, formal methods, model checking, model-driven software engineering, object-oriented programming, program analysis, software performance, software quality, software testing and debugging, Software Engineering, Computer science, Algorithms and data structures, Systems analysis and design, Computing and Information Technology, Natural language and machine translation
Περιγραφή αρχείου: image/jpeg
Relation: Lecture Notes in Computer Science
-
6eBook
Συνεισφορές: Groote, Jan Friso, Larsen, Kim Guldstrand
Θεματικοί όροι: Theory of Computation, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Software Engineering, Computer Engineering and Networks, architecture verification and validation, automata theory, computer systems, distributed computer systems, embedded systems, formal logic, mathematics, model checking, model-checking, parallel processing systems, SAT and SMT solving, software architecture, static and dynamic program analysis, theorem-proving, verification and validation, Computer science, Mathematical theory of computation, Computer networking & communications, Algorithms & data structures, Computer networking and communications, Computer programming / software engineering
Περιγραφή αρχείου: image/png; image/jpeg
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
7eBook
Συνεισφορές: Guerra, Esther, Stoelinga, Mariëlle
Θεματικοί όροι: Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, Natural Language Processing (NLP), Programming Techniques, Theory of Computation, Software Engineering, architecture verification and validation, artificial intelligence, embedded systems, empirical software validation, formal logic, formal methods, model checking, model-driven software engineering, object-oriented programming, parallel processing systems, program analysis, program compilers, signal processing, software architecture, software performance, software selection and adaptation, software testing and debugging, telecommunication systems, verification, Operating systems, Algorithms & data structures, Information theory, Natural language & machine translation, Computer programming / software engineering, Computer science, Mathematical theory of computation, Artificial intelligence
Περιγραφή αρχείου: image/png; image/jpeg
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
8Book
Συγγραφείς: Bonfanti, Silvia, Gargantini, Angelo, Salvaneschi, Paolo
Πηγή: Lecture Notes in Computer Science ISBN: 9783031432392
Θεματικοί όροι: Architecting, architecture verification and validation, artificial intelligence, automata theory, computer hardware, Software testing, Software engineering, Verification, Model-based testing, Combinatorial testing, Functional testing, Compositional testing, Fuzzing testing, Regression testing, Mobile testing, Test automation, Security testing, Software vulnerability, Smart contracts, Property-oriented testing
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://link.springer.com/book/10.1007/978-3-031-43240-8
https://doi.org/10.1007/978-3-031-43240-8
https://hdl.handle.net/10446/255990 -
9eBook
Συνεισφορές: Lahiri, Shuvendu K., Wang, Chao
Θεματικοί όροι: Software Engineering, Theory of Computation, Artificial Intelligence, Computer Systems Organization and Communication Networks, Computer Hardware, Simulation and Modeling, Computer Engineering and Networks, Computer Science, architecture verification and validation, artificial intelligence, automata theory, computer systems, correlation analysis, distributed computer systems, embedded systems, formal languages, formal logic, linguistics, model checking, programming languages, semantics, software architecture, software design, software quality, verification and validation, Open Access, Computer science, Mathematical theory of computation, Artificial intelligence, Computer networking & communications, Computer hardware, Computer modelling & simulation, Computer networking and communications, Computer modelling and simulation
Περιγραφή αρχείου: image/jpeg
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/35502
https://library.oapen.org/handle/20.500.12657/41296
https://library.oapen.org/bitstream/20.500.12657/41296/1/2020_Book_ComputerAidedVerification.pdf -
10Book
Συγγραφείς: MH ter Beek, R Monahan
Πηγή: info:cnr-pdr/source/autori:M.H. ter Beek; R. Monahan/titolo:Integrated Formal Methods-Proceedings of the 17th International Conference on Integrated Formal Methods (IFM'22)/editore:/anno:2022
Θεματικοί όροι: Signal processing, Artificial intelligence, Model checking, Software engineering, Embedded systems, Formal methods, Architecture verification and validation, Software architecture, Verification and validation, Software quality, Programming languages, Computer programming, Computer systems, Formal logic, Graph theory, Formal languages, Engineering, Theoretical computer science, Software design
Περιγραφή αρχείου: application/pdf
-
11Book
Συγγραφείς: ter Beek MH, Sirjani M
Πηγή: info:cnr-pdr/source/autori:ter Beek M.H.; Sirjani M./titolo:Coordination Models and Languages-Proceedings of the 24th International Conference on Coordination Models and Languages (COORDINATION'22)/editore:/anno:2022
Θεματικοί όροι: Signal processing, Artificial intelligence, Internet, Software engineering, Embedded systems, Architecture verification and validation, Software architecture, Software quality, Linguistics, Computer programming, Computer systems, Distributed systems, Distributed computer systems, Graph theory, Engineering, Computer Science, Software design, Architecting, Computer networks, Mathematics
Περιγραφή αρχείου: application/pdf
-
12Book
Συγγραφείς: Koutny, Maciej, Kordon, Fabrice, Moldt, Daniel
Συνεισφορές: Kordon, Fabrice
Πηγή: Lecture Notes in Computer Science ISBN: 9783662653029
Lecture Notes in Computer Science ISBN: 9783662630785Θεματικοί όροι: architecture verification and validation, software architecture, graph theory, verification and validation, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], petri nets, Petri Nets, Models of Concurrency, artificial intelligence, software quality, automata theory, software design, model checking, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, computer programming, programming languages, embedded systems, formal logic, verification, software engineering, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://hdl.handle.net/10281/370572
https://doi.org/10.1007/978-3-662-63079-2
https://hal.sorbonne-universite.fr/hal-03157708v1
https://doi.org/10.1007/978-3-662-63079-2 -
13
Συνεισφορές: Platzer, Andre, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo
Θεματικοί όροι: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation
Περιγραφή αρχείου: application/pdf
Relation: Lecture Notes in Computer Science; ONIX_20240913_9783031711770_29
-
14
Συνεισφορές: Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo
Θεματικοί όροι: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation
Περιγραφή αρχείου: application/pdf
Relation: Lecture Notes in Computer Science; ONIX_20240913_9783031711626_28
-
15Book
Συνεισφορές: Kuster Filipe Bowles, Juliana, Broccia, Giovanna, Pellungrini, Roberto
Πηγή: Kuster Filipe Bowles , J , Broccia , G & Pellungrini , R (eds) 2022 , From data to models and back : 10th international symposium, DataMod 2021, virtual event, December 6–7, 2021, revised selected papers . Lecture notes in computer science , vol. 13268 , Springer , Cham . https://doi.org/10.1007/978-3-031-16011-0
Θεματικοί όροι: Architecting, Architecture verification and validation, Artificial intelligence, Computer networks, Correlation analysis, Data mining, Databases, Embedded systems, Formal logic, Formal methods, Machine learning, Model checking, Network protocols, Signal processing, Software architecture, Software design, Software engineering, Theoretical computer science
Relation: urn:ISBN:9783031160103
-
16Conference
Συγγραφείς: Clark, David, Menéndez, Héctor D., Cavalli, Ana, R
Συνεισφορές: Los Alamos National Laboratory (LANL), University College of London London (UCL), Institut Polytechnique de Paris (IP Paris), Département Réseaux et Services Multimédia Mobiles (TSP - RS2M), Institut Mines-Télécom Paris (IMT)-Télécom SudParis (TSP), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris), Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing (ACMES-SAMOVAR), Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (SAMOVAR), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Institut Mines-Télécom Paris (IMT)-Télécom SudParis (TSP), Centre National de la Recherche Scientifique (CNRS)
Πηγή: IFIP International Conference on Testing Software and Systems (ICTSS) ; https://hal.science/hal-04478239 ; IFIP International Conference on Testing Software and Systems (ICTSS), 13045, 2022, Lecture Notes in Computer Science, 978-3-031-04673-5. ⟨10.1007/978-3-031-04673-5⟩
Θεματικοί όροι: Architecting, Architecture verification and validation, Artificial intelligence, Automata theory, Computer hardware, Computer networks, Computer programming, Computer systems, Embedded systems, Field Programmable Gate Array (FPGA), Finite automata, Finite state machines, Microprocessor chips, Programming languages, Software architecture, Software design, Software engineering, Theoretical computer science, [INFO]Computer Science [cs]
-
17
Συνεισφορές: Enea, Constantin, Lal, Akash
Θεματικοί όροι: architecture verification and validation, artificial intelligence, computer programming, distributed computer systems, formal logic, software engineering, distributed systems, model checking, programming languages, software quality, theory of computation
Περιγραφή αρχείου: application/pdf
Relation: Lecture Notes in Computer Science; ONIX_20230814_9783031377068_32; OCN: 1390710955
-
18
Συνεισφορές: Enea, Constantin, Lal, Akash
Θεματικοί όροι: architecture verification and validation, artificial intelligence, computer programming, distributed computer systems, formal logic, embedded systems, model checking, programming languages, software architecture, software design, software quality, logic and verification
Περιγραφή αρχείου: application/pdf
Relation: Lecture Notes in Computer Science; ONIX_20230814_9783031377037_31; OCN: 1391143757
-
19
Συνεισφορές: Enea, Constantin, Lal, Akash
Θεματικοί όροι: architecture verification and validation, artificial intelligence, computer programming, computer systems, distributed systems, embedded systems, formal logic, model checking, programming languages, software architecture, software design, software quality, software engineering, logic and verification
Περιγραφή αρχείου: application/pdf
Relation: Lecture Notes in Computer Science; ONIX_20230814_9783031377099_33; OCN: 1390709841
-
20
Συνεισφορές: Johnsen, Einar Broch, Wimmer, Manuel
Θεματικοί όροι: architecture verification and validation, distributed computer systems, embedded systems, empirical software validation, formal methods, model checking, model-driven software engineering, object-oriented programming, program analysis, software performance, software quality, software testing and debugging
Περιγραφή αρχείου: application/pdf
Relation: Lecture Notes in Computer Science; ONIX_20220413_9783030994297_24; OCN: 1308973774