| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Advances in Information Systems: 4th International Conference, ADVIS 2006, Izmir, Turkey, October 18-20, 2006 | Taschenbuch | | 978-3-540-46291-0 | 2010 | Tatyana Yakhno |
| Computer Science and Its Applications: 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings | " | | 978-3-319-38716-1 | 2016 | Abdelmalek Amine · Ladjel Bellatreche · Zakaria Elberrichi · Robert Wrembel |
| Computer Science and Its Applications: 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings | Gebunden | | 978-3-319-19577-3 | 2015 | Abdelmalek Amine · Ladjel Bellatreche · Zakaria Elberrichi · Robert Wrembel |
| Formal Description of Programming Concepts: Formal Software Development Methods - International Symposium Proceedings | " | | 978-3-540-53961-2 | 1991 | Manfred Paul · K.R. Apt · E. Astesiano · D. Bjorner · M. Broy · L. Cardelli · P.D. Mosses |
| Formal Models in Programming | Hardcover | | 978-0-444-87888-5 | 1986 |
| Formal Techniques for Data Base Design | " | | 978-0-387-15601-9 | 1985 | A. L. Furtado |
| Formal Techniques for Data Base Design | Gebunden | | 978-3-540-15601-7 | 1985 | Antonio L. Furtado |
| Future Data and Security Engineering: 1st International Conference, FDSE 2014, Ho Chi Minh City, Vietnam, November 19-21, 2014, Proceedings | Taschenbuch | | 978-3-319-12777-4 | 2014 | Tran Khanh Dang · Roland Wagner · Makoto Takizawa · Josef Küng · Nam Thoai |
| Future Data and Security Engineering: 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings | " | | 978-3-319-70003-8 | 2017 | Tran Khanh Dang · Roland Wagner · Josef Küng · Nam Thoai · Makoto Takizawa |
| Information and Communication Technology: Second IFIP TC 5/8 International Conference, ICT-EurAsia 2014, Bali, Indonesia, April 14-17, 2014, Proceedings | " | | 978-3-642-55031-7 | 2014 | Linawati · Made Sudiana Mahendra · A Min Tjoa · Ilsun You |
| P. L./1 Machine: An Introduction to Programming | Hardcover | | 978-0-201-05275-6 | 1972 | Harold W. Lawson |
| Systems for Large Data Bases | Gebunden | | 978-0-7204-0546-0 | 1976 | P. C. Lockemann |
| VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings | Taschenbuch | | 978-3-540-17654-1 | 2008 | Cliff Jones · Dines Bjorner · Michael Mac An Airchinnigh |