Sortiert nach
IET software, 2008, Vol.2 (6), p.500-514
2008
Link zum Volltext
Concurrency and computation, 2017-11, Vol.29 (22), p.n/a
2017
Link zum Volltext
Journal of computing science and engineering : JCSE, 2013, Vol.7 (4), p.251-262
2013
Link zum Volltext
Journal of computing science and engineering : JCSE, 2013, Vol.7 (4), p.251-262
2013
Link zum Volltext
Journal of automated reasoning, 2010-02, Vol.44 (1-2), p.145-174
2010
Link zum Volltext
Proceedings of the 15th International Software Product Line Conference, Volume 2, 2011, p.1-8
2011
Link zum Volltext
Proceedings of the 2004 ACM symposium on applied computing, 2004, p.1531-1535
2004
Link zum Volltext
Concurrency and computation, 2003-02, Vol.15 (2), p.117-154
2003
Link zum Volltext
Concurrency and computation, 2013-11, Vol.25 (16), p.2290-2306
2013
Link zum Volltext
Procedia manufacturing, 2018, Vol.24, p.21-39
2018
Link zum Volltext
International journal of information security, 2015-08, Vol.14 (4), p.347-366
2015
Link zum Volltext
2006 Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'06), 2006, p.411-414
2006
- Link zum Volltext
Deductive Software Verification - the KeY Book, 2016, Vol.10001
2016
Link zum Volltext
Proceedings of the 2008 ACM symposium on applied computing, 2008, p.228-233
2008
Link zum Volltext
Software Technologies, p.307-325
Link zum Volltext
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2023, p.259-262
2023
- Link zum Volltext
Proceedings of the twenty-second IEEE/ACM international conference on automated software engineering, 2007, p.573-573
2007
Link zum Volltext
Concurrency and computation, 2022-04, Vol.34 (8), p.n/a
2022
Link zum Volltext
Journal of Chemical Software, 1998/09/15, Vol.4(3), pp.81-88
1998
Link zum Volltext
International Conference on Software Engineering: Proceedings of the 2005 conference on Specification and verification of component-based systems; 05-06 Sept. 2005, 2005, p.9-es
2005
Link zum Volltext
Software engineering notes, 2006-03, Vol.31 (2), p.9
2006
Link zum Volltext
International journal of computer applications, 2010-01, Vol.10 (10), p.28-34
2010
Link zum Volltext
Proceedings of the 30th Annual ACM Symposium on applied computing, 2015, p.2087-2092
2015
Link zum Volltext
1, 2021
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Software Engineering
- Software
- Computer Science, Theory & Methods
- Engineering
- Computer Science, Information Systems
- Java
- Algorithms
- Artificial Intelligence
- Life Sciences & Biomedicine
- Computer Science, Artificial Intelligence
- Social Sciences
- Engineering, Electrical & Electronic
- Software Engineering
- Programming Languages
- Computer Science, Interdisciplinary Applications
- Physical Sciences
- Semantics
Kollektion
- ACM Digital Library Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Electronic Journals Library - Freely accessible e-journals
- Springer Books
- SpringerLink
- IEEE Electronic Library (IEL)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Blackwell Single Titles
- RCN full-text journals@Ovid
- EBSCOhost Business Source Ultimate
- Wiley Online Library Full Collection 2018
- Nexis Uni
- Factiva
- Taylor & Francis eBooks A-Z
- Wiley Online Library All Obooks
- Publisher site
- InfoSci-Journals (Full collection)
- Springer Book Series
- JSTOR Complete Journals
Zeitschrift / Serie
- Journal Of Physics. Conference Series
- Journal Of Physics: Conference Series
- International Journal Of Advanced Computer Science & Applications
- International Journal Of Computer Applications
- Empirical Software Engineering : An International Journal
- Concurrency And Computation
- Software, Practice & Experience
- Software Engineering Notes
- Acm Sigsoft Software Engineering Notes
- Communications Of The Acm
Neu hinzugefügt