Εξώφυλλο

Software engineering notes : an informal newsletter of the Special Interest Group on Software Engineering /

Corporate συγγραφέας:	ACM Sigsoft
Μορφή:	Επιστημονικό περιοδικό
Γλώσσα:	English
Άλλες Λεπτομέρειες Έκδοσης:	New York :, Association for Computing Machinery,, 1976-
Θέματα/Λέξεις Κλειδιά:	Software engineering > Periodicals.

Εξώφυλλο

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

ACM transactions on software engineering and methodology.
Άλλες Λεπτομέρειες Έκδοσης: (1992)

SIGUCCS newsletter.
Άλλες Λεπτομέρειες Έκδοσης: (1981)

IEEE transactions on software engineering.

IEEE concurrency.
Άλλες Λεπτομέρειες Έκδοσης: (1997)

Formal Methods. FM 2019 International Workshops Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II /
Άλλες Λεπτομέρειες Έκδοσης: (2020)

Performance Evaluation and Benchmarking 14th TPC Technology Conference, TPCTC 2022, Sydney, NSW, Australia, September 5, 2022, Revised Selected Papers /
Άλλες Λεπτομέρειες Έκδοσης: (2023)

Dependable Computing First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings /
Άλλες Λεπτομέρειες Έκδοσης: (2003)

Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16-18, 2019, Proceedings, Part I /
Άλλες Λεπτομέρειες Έκδοσης: (2019)

Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings /
Άλλες Λεπτομέρειες Έκδοσης: (2005)

Lectures on Embedded Systems European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 /
Άλλες Λεπτομέρειες Έκδοσης: (1998)

Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings /
Άλλες Λεπτομέρειες Έκδοσης: (1999)

SIGGROUP bulletin : a publication of the Special Interest Group on Supporting Group Work.
Άλλες Λεπτομέρειες Έκδοσης: (1997)

Abstract Compositional Analysis of Iterated Relations A Structural Approach to Complex State Transition Systems /
από: Geurts, Frederic.
Άλλες Λεπτομέρειες Έκδοσης: (1998)

Hybrid Systems V
Άλλες Λεπτομέρειες Έκδοσης: (1999)

Hybrid Systems: Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings /
Άλλες Λεπτομέρειες Έκδοσης: (2003)

Parallel and Distributed Computing, Applications and Technologies 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17-19, 2021, Proceedings /
Άλλες Λεπτομέρειες Έκδοσης: (2022)

Software Verification 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers /
Άλλες Λεπτομέρειες Έκδοσης: (2020)

Model Checking, Synthesis, and Learning Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /
Άλλες Λεπτομέρειες Έκδοσης: (2021)

FM'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II /
Άλλες Λεπτομέρειες Έκδοσης: (1999)

FM'99 - Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I /
Άλλες Λεπτομέρειες Έκδοσης: (1999)

Analysis and Design of Information Systems Third Edition /
από: Langer, Arthur M.
Άλλες Λεπτομέρειες Έκδοσης: (2008)

Unimagined Futures - ICT Opportunities and Challenges
Άλλες Λεπτομέρειες Έκδοσης: (2020)

Advanced Information Systems Engineering 10th International Conference, CAiSE'98, Pisa, Italy, June 8-12, 1998, Proceedings /
Άλλες Λεπτομέρειες Έκδοσης: (1998)

Current Trends in Web Engineering 15th International Conference, ICWE 2015 Workshops, NLPIT, PEWET, SoWEMine, Rotterdam, The Netherlands, June 23-26, 2015. Revised Selected Papers /
Άλλες Λεπτομέρειες Έκδοσης: (2015)

Knowledge Discovery, Knowledge Engineering and Knowledge Management 11th International Joint Conference, IC3K 2019, Vienna, Austria, September 17-19, 2019, Revised Selected Papers /
Άλλες Λεπτομέρειες Έκδοσης: (2020)

Knowledge Discovery, Knowledge Engineering and Knowledge Management 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers /
Άλλες Λεπτομέρειες Έκδοσης: (2020)

Knowledge Discovery, Knowledge Engineering and Knowledge Management 12th International Joint Conference, IC3K 2020, Virtual Event, November 2-4, 2020, Revised Selected Papers /
Άλλες Λεπτομέρειες Έκδοσης: (2022)

Knowledge Discovery, Knowledge Engineering and Knowledge Management 13th International Joint Conference, IC3K 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers /
Άλλες Λεπτομέρειες Έκδοσης: (2023)

Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings /
Άλλες Λεπτομέρειες Έκδοσης: (2002)

Information Processing in Sensor Networks Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings /
Άλλες Λεπτομέρειες Έκδοσης: (2003)

Automata, Languages and Programming 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings /
Άλλες Λεπτομέρειες Έκδοσης: (2000)

Hybrid Systems: Computation and Control 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings /
Άλλες Λεπτομέρειες Έκδοσης: (2004)

Principles of Distributed Systems 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers /
Άλλες Λεπτομέρειες Έκδοσης: (2004)

Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
Άλλες Λεπτομέρειες Έκδοσης: (1997)

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings /
Άλλες Λεπτομέρειες Έκδοσης: (2004)

Dependable Computing EDCC-4 4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings /
Άλλες Λεπτομέρειες Έκδοσης: (2002)

SDL 2003: System Design 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings /
Άλλες Λεπτομέρειες Έκδοσης: (2003)

Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
Άλλες Λεπτομέρειες Έκδοσης: (2003)

Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures /
Άλλες Λεπτομέρειες Έκδοσης: (2004)

Static Analysis 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings /
Άλλες Λεπτομέρειες Έκδοσης: (2020)