Showing
1 - 8
results of
8
for search '
Lau, Kung-Kiu
'
Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Author
Lau, Kung-Kiu
Showing
1 - 8
results of
8
for search '
Lau, Kung-Kiu
'
, query time: 0.04s
Narrow Search
Sort
Relevance
Newest
Oldest
Call Number
Author
Title
Select all entries on the page
Email
Export
Print
Save
Select result number 1
1
Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers edited by Kung-Kiu Lau.
Published 2001
Other Authors:
“…
Lau, Kung-Kiu
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 2
2
Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings edited by Kung-Kiu Lau, Richard Banach.
Published 2005
Other Authors:
“…
Lau, Kung-Kiu
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 3
3
Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development edited by Maurice Bruynooghe, Kung-Kiu Lau.
Published 2004
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 4
4
Logic Program Synthesis and Transformation Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992 edited by Kung-Kiu Lau, Timothy P. Clement.
Published 1993
Other Authors:
“…
Lau, Kung-Kiu
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 5
5
Logic Program Synthesis and Transformation Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991 edited by Timothy P. Clement, Kung-Kiu Lau.
Published 1992
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 6
6
Service-Oriented and Cloud Computing Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings edited by Massimo Villari, Wolf Zimmermann, Kung-Kiu Lau.
Published 2014
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 7
7
Service-Oriented and Cloud Computing Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013, Proceedings edited by Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel.
Published 2013
Other Authors:
“…
Lau, Kung-Kiu
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 8
8
Computational Logic — CL 2000 First International Conference London, UK, July 24–28, 2000 Proceedings edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. Stuckey.
Published 2000
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select all entries on the page
Email
Export
Print
Save
Search Tools:
Get RSS Feed
Email this Search
Related Subjects
Electronic resources (E-books)
Computer logic
Software engineering
Artificial intelligence
Computer programming
Mathematical logic
Business—Data processing
Computer science
Computer security
Database management
Information storage and retrieval
Information technology
Management information systems
Programming languages (Electronic computers)
Architecture, Computer