語系
Giese, Holger.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
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)
(書目-電子資源)
Architecting critical systemsfirst international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 : proceedings /
by:
(1998 :); Giese, Holger.; SpringerLink (Online service)
(書目-電子資源)
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)
(書目-電子資源)
主題
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.