Languages
Giese, Holger.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Graph transformation7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014 : proceedings /
by:
(1998 :); Giese, Holger.; Konig, Barbara.; SpringerLink (Online service)
(Electronic resources)
Models in Software EngineeringWorkshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /
by:
(1998 :); Giese, Holger.; SpringerLink (Online service)
(Electronic resources)
Architecting critical systemsfirst international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 : proceedings /
by:
(1998 :); Giese, Holger.; SpringerLink (Online service)
(Electronic resources)
Formal techniques for distributed systemsJoint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012 : proceedings /
by:
(1998 :); Giese, Holger.; Rosu, Grigore.; SpringerLink (Online service)
(Electronic resources)
Subjects
UML (Computer science)
Software Engineering.
Mathematical Logic and Formal Languages.
Electronic data processing
Logics and Meanings of Programs.
Computer software
Management of Computing and Information Systems.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Data Structures.
Software engineering.
Programming Languages, Compilers, Interpreters.
System design
Special Purpose and Application-Based Systems.
Formal methods (Computer science)
Computer architecture
Data Encryption.
Information Systems Applications (incl.Internet)
Computer science
Computer Science.
Simulation and Modeling.
Fault-tolerant computing
Computers and Society.
Computer Communication Networks.
Graph theory
Discrete Mathematics in Computer Science.