Megjelenítés: 1 - 20 / 84 - kulcsszavak: '', keresési idő: 0.02mp Találatok szűrése
1
Object lessons : Lessons learned in object-oriented development projects
Szerző: Love, Tom
Megjelenés: 1993
könyv
Mentés a listára
Mentés helye:
2
VDM '90 : VDM and Z - formal methods in software development : Third international symposium of VDM Europe, Kiel, 17-21. Apr. 1990 : Proceedings
Megjelenés: 1990
könyv
Mentés a listára
Mentés helye:
3
Mathematical aspects of scientific software
Megjelenés: 1988
könyv
Mentés a listára
Mentés helye:
4
Designing object-oriented software
Szerző: Wirfs-Brock, Rebecca
Megjelenés: 1990
könyv
Mentés a listára
Mentés helye:
5
System development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986 : Proceedings
Megjelenés: 1987
könyv
Mentés a listára
Mentés helye:
6
Program development by specification and transformation : The PROSPECTRA methodology, language family, and system
Megjelenés: 1993
könyv
Mentés a listára
Mentés helye:
7
Extensions of the UNITY methodology : Compositionality, fairness, and probability in parallelism
Szerző: Rao, Josyula Ramachandra (1962-)
Megjelenés: 1995
könyv
Mentés a listára
Mentés helye:
8
Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991: Proceedings
Megjelenés: 1991
könyv
Mentés a listára
Mentés helye:
9
The foundations of program verification
Szerző: Loeckx, Jacques
Megjelenés: 1987
könyv
Mentés a listára
Mentés helye:
10
Waltzing with bears : Managing risk on software projects
Szerző: DeMarco, Tom
Megjelenés: 2003
könyv
Mentés a listára
Mentés helye:
11
Five core metrics : The intelligence behind successful software management
Szerző: Putnam, Lawrence H.
Megjelenés: 2003
könyv
Mentés a listára
Mentés helye:
12
vol. 2 Patterns for concurrent and networked objects
Megjelenés: 2000
Kapcsolódó cím: Pattern-oriented software architecture
könyv
Mentés a listára
Mentés helye:
13
Proof in VDM : A practitioners guide
Megjelenés: 1994
könyv
Mentés a listára
Mentés helye:
14
High integrity software : The Spark approach to safety and security
Szerző: Barnes, John Gilbert Presslie (1937-)
Megjelenés: 2006
könyv
Mentés a listára
Mentés helye:
15
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Megjelenés: 2017
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
16
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Megjelenés: 2017
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
17
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers
Megjelenés: 2017
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
18
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Megjelenés: 2017
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
19
SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017 Proceedings
Megjelenés: 2017
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
20
Euro-Par 2017: Parallel Processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings
Megjelenés: 2017
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése