Treffer 1 - 11 von 11 für Suche 'Liu, Zhiming', Suchdauer: 2,72s
Treffer weiter einschränken
-
1
Qing suan Xiao Jun de fan dong si xiang
清算萧軍的反動思想von Liu, ZhimingVeröffentlicht 1949Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2
Theoretical aspects of computing – ICTAC 2022 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022, proceedings
Veröffentlicht 2022Weitere Verfasser:Signatur: Wird geladen …
Standort: Wird geladen …
VolltextElektronisch Tagungsbericht E-Book -
3
Engineering trustworthy software systems Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures
Veröffentlicht 2018Weitere Verfasser:Signatur: Wird geladen …BTU01
Standort: Wird geladen …
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers
Elektronisch Tagungsbericht E-Book -
4
Engineering trustworthy software systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures
Veröffentlicht 2017Weitere Verfasser:Signatur: Wird geladen …
Standort: Wird geladen …
VolltextElektronisch Tagungsbericht E-Book -
5
Engineering trustworthy software systems 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019 : tutorial lectures
Veröffentlicht 2020Weitere Verfasser:Signatur: Wird geladen …BTU01
Standort: Wird geladen …
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers
Buchcover
Elektronisch Tagungsbericht E-Book -
6
Engineering trustworthy software systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018 : tutorial lectures
Veröffentlicht 2019Weitere Verfasser:Signatur: Wird geladen …BTU01
Standort: Wird geladen …
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers
Elektronisch Tagungsbericht E-Book -
7
Mechanical and electronics engineering VI selected, peer reviewed papers from the 2014 6th International Conference on Mechanical and Electronics Engineering (ICMEE 2014), August 1...
Veröffentlicht 2014Weitere Verfasser: “… Liu, Zhiming …”
Signatur: Wird geladen …FAW01
Standort: Wird geladen …
FAW02
Elektronisch E-Book -
8
Mechanical and electronics engineering VI selected, peer reviewed papers from the 2014 6th International Conference on Mechanical and Electronics Engineering (ICMEE 2014), August 1...
Veröffentlicht 2014Weitere Verfasser: “… Liu, Zhiming …”
Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book Wird geladen … -
9
Engineering trustworthy software systems first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures
Veröffentlicht 2016Weitere Verfasser: “… Liu, Zhiming 1961- …”
Signatur: Wird geladen …
Standort: Wird geladen …
VolltextElektronisch Tagungsbericht E-Book -
10
Theoretical aspects of computing - ICTAC 2013 10th international colloquium, Shanghai, China, September 4 - 6, 2013 ; proceedings
Veröffentlicht 2013Weitere Verfasser: “… Liu, Zhiming 1961- …”
Signatur: Wird geladen …Volltext
Standort: Wird geladen …
Inhaltsverzeichnis
Abstract
Elektronisch Tagungsbericht E-Book -
11
Engineering trustworthy software systems first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 ; tutorial lectures
Veröffentlicht 2016Weitere Verfasser: “… Liu, Zhiming 1961- …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen …
Suchwerkzeuge:
Ähnliche Schlagworte
Software Engineering
Computer science
Konferenzschrift
Software engineering
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Computer Science
Computer logic
Informatik
Programming Techniques
Programming languages (Electronic computers)
Artificial Intelligence
Artificial intelligence
Computer
Computer Communication Networks
Computer programming
Computer simulation
Formale Methode
Logic design
Mechanical engineering Congresses
Programmverifikation
Simulation and Modeling
Softwareentwicklung
Softwaretest
Special Purpose and Application-Based Systems
Special purpose computers
System Performance and Evaluation
The Computing Profession
Theoretische Informatik
Algorithm Analysis and Problem Complexity