1. Abstract state machines
پدیدآورنده : Egon Borger, Robert Stork
کتابخانه: Library of Urmia University of Technology (West Azarbaijan)
موضوع : System design,Computer software- Development,Embedded computer systems
رده :
QA
,
76
.
9
,.
S88B66
,
2003
2. Abstract state machines: a method for high-level system design and analysis
پدیدآورنده : Borger, E.)Egon(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، System design,، Computer software-- Development,، Embedded computer systems
رده :
QA
76
.
9
.
S88
.
B66
2003
3. Architecture design and validation methods
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer architecture,، Integrated circuits-- Very large scale integration-- Design and construction
رده :
QA
76
.
9
.
A73
.
A734
2000
4. Architecture design and validation methods
پدیدآورنده :
کتابخانه: Ilam University Central Library (Ilam)
موضوع : computer architecture,integrated circuits-very large scale integration-design and construction
رده :
QA76
.
9
.
A7
5. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
385
6. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
440
7. CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe FRG, October 12-16, 1987 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
329
8. Computability, complexity, logic
پدیدآورنده : Borger, Egon, 6491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B6713
9. Computability, complexity, logic
پدیدآورنده : Borger, E.)Egon(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B6713
1989
10. Computer science logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 :proceedings
پدیدآورنده : E. Borger...]et al.[, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
533
11. Computer science logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
پدیدآورنده : E. Brger...]et al.[, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
702
12. Formal methods for industrial applications :specifying and programming the steam boiler control
پدیدآورنده : Jean- Raymond Abrial, Egon Borger, Hans Langmaack, eds
کتابخانه: (Semnan)
موضوع : Automatic control Data processing ، Steam-boilers
رده :
TJ
288
.
F67
13. Java and the Java virtual machine
پدیدآورنده : / Robert F. Stork, Joachim Schmid, Egon Borger
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Java (Computer program language),Virtual computer systems,Java virtual machine
رده :
QA76
.
73
.
J38
,
S785
2001
14. Java and the Java virtual machine
پدیدآورنده : / Robert F. Stork, Joachim Schmid, Egon Borger
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Java (Computer program language),Virtual computer systems,Java virtual machine
رده :
QA76
.
73
.
J38
,
S785
2001
