Groups | Search | Server Info | Login | Register


Groups > comp.specification.z

comp.specification.z

359 articles, 302 threads (numbers 38 – 407) — flat view

| Advanced

Subject Author Date
Where would someone go to hire an architect with experience in formal notation? Justin Scott <justin.james.scott@gmail.com> 2022-10-25 18:21 -0700
 
[Final CFP - Extended Deadline] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal) Alvaro Miyazawa <alvaro.miyazawa@york.ac.uk> 2022-05-18 06:11 -0700
 
[CFP] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal) Alvaro Miyazawa <alvaro.miyazawa@york.ac.uk> 2022-04-07 03:08 -0700
 
[CFP] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal) Alvaro Miyazawa <alvaro.miyazawa@york.ac.uk> 2021-12-13 04:20 -0800
 
Us congress hearing of maan alsaan Money laundry قضية الكونغجرس لغسيل الأموال للمليادير معن الصانع fayez joell <fayze.joell@gmail.com> 2019-02-23 00:13 -0800
 
[PDF]Linear Algebra, 4th Ed, ( Solutions Manual ) by Stephen H. Friedberg , Arnold J. Insel , Lawrence E. Spence akashprasad1100@gmail.com 2019-02-17 08:51 -0800
 
Webinar: Academic Services: Best Practices and Gaps 2016 November 17th at 2 pm CST "Journal of International Students (JIS)" <center.asu@gmail.com> 2016-11-16 06:51 -0800
 
Annual Peter Landin Semantics Seminar: Building Trustworthy Refactoring Tools, 12th December, 6pm, London. Speaker: Prof. Simon Thompson paul.boca@googlemail.com 2016-07-30 13:07 -0700
 
March/April 2016 Edition of the Journal of International Students Published: http://jistudents.org/6-2/ "Journal of International Students (JIS)" <center.asu@gmail.com> 2016-03-27 16:55 -0700
 
Re: Fastest: a new tool for the Z notation sanjana1260 <sandyn.sanju9@gmail.com> 2015-11-25 03:53 -0600
 
Special Issue on International Student Success | Call For Contributions "Journal of International Students (JIS)" <center.asu@gmail.com> 2015-10-03 18:03 -0700
 
Special Issue on International Student Success | Call For Contributions "Journal of International Students (JIS)" <center.asu@gmail.com> 2015-10-03 18:02 -0700
 
New volumes on international students in higher education published "Journal of International Students (JIS)" <center.asu@gmail.com> 2015-03-03 18:17 -0800
 
Does Z assume the axiom of choice? (3 replies) Richard Botting <rjbotting03@gmail.com> 2015-01-28 11:33 -0800
   → Re: Does Z assume the axiom of choice? phil.clayton@lineone.net 2015-02-01 23:53 -0800
     → Re: Does Z assume the axiom of choice? Richard Botting <rjbotting03@gmail.com> 2015-02-02 10:54 -0800
       → Re: Does Z assume the axiom of choice? Richard Botting <rjbotting03@gmail.com> 2015-02-03 15:10 -0800
 
icse books raghucbsc@gmail.com 2014-08-13 02:57 -0700
 
icse books raghucbsc@gmail.com 2014-08-09 04:34 -0700
 
ICST 2015 - CALL FOR PAPERS Bernhard Aichernig <aichernig@ist.tugraz.at> 2014-07-05 08:56 -0700
 
Call for Applications for PhD Student Positions (Software Engineering and Formal Methods) Jonathan Bowen <jpbowen@gmail.com> 2014-06-30 10:27 -0700
 
CFP: FM2015 (20th International Symposium on Formal Methods); 22-26. June, 2015, Oslo Martin Steffen <msteffen@ifi.uio.no> 2014-06-24 02:42 -0700
 
Journal of International Students, 2014 spring edition, published its online edition: http://jistudents.org/fall2014vol41/ "Journal of International Students (JIS)" <center.asu@gmail.com> 2013-12-11 10:22 -0800

~Page 1 of ~16 (articles 385–407) Older →


csiph-web