1. Decrypted Secrets :
پدیدآورنده : by Friedrich L. Bauer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Coding theory.,Computer science.,Data encryption (Computer science)
رده :
QA76
.
9
.
A25
B947
2000
2. Foundations of secure computation
پدیدآورنده : edited by Friedrich L. Bauer, Ralf Steinbruggen
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Computer security
رده :
QA
76
.
9
.
A25
F69
2000
3. Foundations of secure computation
پدیدآورنده : edited by Friedrich L. Bauer, Ralf Steinbruggen
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Computer security
رده :
QA
76
.
9
.
A25
F65
1999
4. Logic, Algebra, and Computation :
پدیدآورنده : edited by Friedrich L. Bauer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
63
E358
1991
5. Logic, algebra, and computation : international summer school directed by F.L. Bauer ... )et al.(
پدیدآورنده : edited by Friedrich L. Bauer
موضوع : Logic programming - Congresses,Algebra - Congresses,Computational complexity - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Logic, algebra, and computation : international summer school directed by F.L. Bauer ... )et al.(
پدیدآورنده : edited by Friedrich L. Bauer
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic programming,Congresses ، Algebra,Congresses ، Computational complexity
رده :
QA
76
.
63
.
L618
1991
7. Logic and Algebra of Specification
پدیدآورنده : edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Logic design.
رده :
QA76
.
9
.
M35
E358
1993
8. Logic and algebra of specification
پدیدآورنده : edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35N37
1991
9. Program Construction :
پدیدآورنده : edited by Friedrich L. Bauer, Manfred Broy, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J.V. Guttag, J.J. Horning, S.S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programmation (Informatique)
رده :
QA76
.
6
E358
1979
