Home Advanced Search

Advanced Search - Page 1

Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings
  • PDF
  • English
  • Year: 2020
  • Author: Violet Ka I Pun, Volker Stolz, Adenilso Simao
Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Harald König, Michael Löwe (auth.), Adenilso Simao, Carroll Morgan (eds.)
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.)
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings
  • PDF
  • English
  • Year: 2020
  • Author: Gustavo Carvalho, Volker Stolz
Advances in Service-Oriented and Cloud Computing
  • PDF
  • English
  • Year: 2018
  • Author: Zoltán Ádám Mann, Volker Stolz
Migrant Labor in China
  • EPUB
  • English
  • Year: 2016
  • Author: Pun Ngai
My Contemporaries in China
  • EPUB
  • English
  • Year: 2019
  • Author: Pun Choi
Abriss der Optimierungspraxis
  • PDF
  • German
  • Year: 1975
  • Author: L. Pun
Made in China: Women Factory Workers in a Global Workplace
  • PDF
  • English
  • Year: 2005
  • Author: Pun Ngai
On decomposition of the product of Demazure atoms and Demazure characters
  • PDF
  • English
  • Year: 2016
  • Author: Pun Y.A.
search