Languages
Podelski, Andreas.
Overview
Works: | 0 works in 3 publications in 1 languages |
---|
Titles
Tools and algorithms for the construction and analysis of systems10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /
by:
(1998 :); Jensen, K. (1950-); Podelski, Andreas.; SpringerLink (Online service)
(Electronic resources)
Verified softwaretheories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /
by:
(1998 :); Joshi, Rajeev.; Muller, Peter.; Podelski, Andreas.; SpringerLink (Online service)
(Electronic resources)
Static analysis25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings /
by:
(1998 :); Podelski, Andreas.; SpringerLink (Online service)
(Electronic resources)
Networked Systems6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018 : revised selected papers /
by:
(1998 :); Podelski, Andreas.; SpringerLink (Online service); Taiani, Francois.
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Input/Output and Data Communications.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computer software
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Control Structures and Microprogramming.
Programming Languages, Compilers, Interpreters.
Computer programming
Wireless communication systems
Logic Design.
The Computing Profession.
Computer Science.
System Performance and Evaluation.
Computer networks
Cloud computing
Computer Communication Networks.
Computer System Implementation.
System design.
Mobile computing