Petri nets and performance models International workshop. Madison, Wisconsin August 24-26, 1987

Petri nets and performance models International workshop. Madison, Wisconsin August 24-26, 1987

Λεπτομέρειες βιβλιογραφικής εγγραφής
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Washington IEEE Computer Society Press c1987
Θέματα:	COMPUTER SOFTWARE Λογική, Συμβολική και μαθηματική PROCEEDINGS ΠΡΑΚΤΙΚΑ ΣΥΝΕΔΡΙΩΝ

Παρόμοια τεκμήρια

Advances in petri nets 1985 [Procedings of the 6th European Workshop on applications and theory of Petri Nets. Espoo, Finland, June, 1985]
Έκδοση: (1986)

Logic in Computer Science LICS '96 Proceedings of the 11th Annual IEEE Symposium New Brunswick, New Jersey , July 27-30, 1996
Έκδοση: (1996)

Petri nets Μοντέλα και η εφαρμογή τους στήν τεχνολογία λογισμικού. Διπλωματική εργασία.
ανά: Βαίτης, Μιχάλης, κ.ά.
Έκδοση: (1992)

Nets, Terms and Formulas Tree views of Concurrent Processes and Their Relationship
ανά: Olderog, E.-R
Έκδοση: (1991)

Free choice Petri Nets
ανά: Desel, Jorg, κ.ά.
Έκδοση: (1995)

Software methodology Tutorial. Initially presented at COMPSAC 78
ανά: Pamamoorthy, C. V., κ.ά.
Έκδοση: (1978)

Computer software & applications COMPSAC 78 Proceedings the IEEE Computer Society's 2nd International Conference November 13-16, 1978, Chicago, Illinois
Έκδοση: (1978)

Software Configuration Management (1989) Proceedings of the 2nd International Workshop Princeton, New Jersey, October 24, 1989 Vol.14, No.7, November 1989
Έκδοση: (1989)

Rewriting techniques and applications [Proceedings of the 1rst international conference] Dijon, France, May 20-22, 1985
Έκδοση: (1985)

Software testing, analysis, and verification (1989) Proceedings of the ACM SIGSOFT '89 3rd Symposium Key West, Florida, December 13-15, 1989 Vol.14, No.8, December 1989
Έκδοση: (1989)

Software for critical systems Proceedings of the ACM/SIGSOFT '91 conference New Orleas, Louisiana December 4-6, 1991 ACM/SIGSOFT: Vol. 16, No 5, December 1991
Έκδοση: (1991)

A primer in Petri Net design
ανά: Reisig, Wolfgang
Έκδοση: (1992)

Modeling techniques and performance evaluation Proceedings of the International Workshop Paris, France, 9-11 March 1987
Έκδοση: (1987)

Practical software development environments Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium. Palo Alto, California. December 9-11,1986 ACM SIGPLAN Vol.22, No.1, January 1987
Έκδοση: (1986)

Computer software & applications COMPSAC 77 Proceedings the IEEE Computer Society's 1st International Conference November 8-11,1977, Chicago O'Hare Airport
Έκδοση: (1977)

Modeling techniques and tools for performance analysis '85 Procedings of the International Conference Sophia Antipolis, France, 5-7 June 1985
Έκδοση: (1986)

Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990
Έκδοση: (1991)

Parallel processing Proceedings of the 1987 International Conference August 17-21, 1987
Έκδοση: (1987)

Performance '87 Proceedings of the 12th IFIP WG 7.3 International Symposium on computer performance modelling, measurement and evaluation Brussels, Belgium, December 7-9, 1987
Έκδοση: (1988)

Συνδεση ακαδημαϊκων βιβλιοθηκων με την εκπαιδευτικη διαδικασια 9ο Πανελληνιο Συνεδριο Ακαδημαϊκων Βιβλιοθηκων Αθηνα, 18-20 Δεκεμβριου 2000
Έκδοση: (2002)

Interval mathematics 1985 Proceedings of the International Symposium. Freidurg i Br., Germany, September 23-26, 1985.
Έκδοση: (1986)

Computer performance and reliability Proceedings of the 2nd Int. MCPR Workshop. Rome, May 25-29, 1987
Έκδοση: (1988)

Compsac 82 computer software & applications Proceedings 6th IEEE CS International Conference Chicago, Illinois, November 8-12, 1982
Έκδοση: (1982)

Compsac 83 computer software & applications Proceedings 7th IEEE CS International Conference Chicago, Illinois, November 7-11, 1983
Έκδοση: (1983)

Compsac 84 computer software & applications Proceedings 8th IEEE CS International Conference Chicago, Illinois, November 7-9, 1984
Έκδοση: (1984)

Multimedia '96 Proceedings of the Eurographics Workshop in Rostock, Federal republic of Germany, May 28-30, 1996
Έκδοση: (1996)

Satellite Workshops Proceedings of the 28th International Colloquium on Automata, Languages, and Programming Crete, Greece, July 2001
Έκδοση: (2001)

Integration of test with design and manufacturing International test conference proceedings 1987 Washington DC, september 1,2,3 1987
Έκδοση: (1987)

Teletraffic and Datatraffic In a Period of Change. Proceedings of the 13th International Teletraffic Congress Copenhagen, Denmark, June 19-26, 1991
Έκδοση: (1991)

Robotics research [Proceedings of] the 1st international symposium
Έκδοση: (1984)

Robotics research [Proceedings] of the 4th International Symposium
Έκδοση: (1988)

Robotics research [Proceedings] of the 3rd International Symposium
Έκδοση: (1986)

Robotics research [Proceedings] of the 2nd International Symposium
Έκδοση: (1985)

Language Design for Reliable Software (1977) Proceedings of an ACM Conference Raleigh, North Carolina, March 28-30, 1977
Έκδοση: (1977)

Proceedings 1976 Annual Reliability and Maintainability Symposium Las Vegas, Nevada USA 20-22 January 1976
Έκδοση: (1976)

Proceedings 1977 Annual Reliability and Maintainability Symposium Philadelphia, Pennsylvania 1977 January 18-20
Έκδοση: (1977)

Multiple-Valued Logic (1974) Proceedings of the 1974 International Symposium Morgantown, West Virginia, May 29-31, 1974

Η πληροφορική στήν Ελλάδα 1ο Πανελλήνιο Συνέδριο Πληροφορικής. Αθήνα, 3-6 Απριλίου, 1984

Η πληροφορική στην Ελλάδα 1ο Πανελλήνιο Συνέδριο Πληροφορικής Αθήνα, 3-6 Απριλίου, 1984

Τεχνολογικό περιβάλλον για σύγχρονες εφαρμογές 2ο Πανελλήνιο συνέδριο πληροφορικής. Θεσσαλονίκη, 4-6 Νοεμβρίου, 1988

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών