| comp.sources.X |
|
1 |
1 |
| comp.source.unix |
|
16 |
16 |
| comp.source.wanted |
|
2 |
29 |
| comp.source.wanted. |
|
1 |
1 |
| comp.source.x |
|
3 |
3 |
| comp.soutces.wanted |
|
1 |
1 |
| comp.space.tech |
|
2 |
2 |
| comp.speach.research |
|
1 |
1 |
| comp.specch |
|
1 |
1 |
| comp.spech.research |
|
1 |
1 |
| comp.specification |
|
1,499 |
3,342 |
| comp.specification.* |
|
1 |
1 |
| comp.specification.larch |
|
485 |
721 |
| compspecification.larch |
|
1 |
1 |
| comp.specification.mis |
|
1 |
1 |
| comp-specification.misc |
|
1 |
1 |
| comp.specification.misc |
Formal specification methods in general. |
1,490 |
3,057 |
| comp.specification.misc.z |
|
1 |
1 |
| comp.specifications |
|
10 |
10 |
| comp.specification.se |
|
1 |
1 |
| comp.specifications.misc |
|
3 |
3 |
| comp-specification.z |
|
1 |
1 |
| comp.specification.z |
Discussion about the formal specification notation Z. |
5,588 |
8,079 |
| comp.specification.Z |
|
1 |
4 |
| comp.specificiation.misc |
|
1 |
1 |
| comp.spec.misc |
|
3 |
3 |
| comp.spec.z |
|
1 |
1 |
| comp.speech |
|
1,673 |
6,959 |
| comp.speech.comp.dsp |
|
1 |
1 |
| comp.speechp |
|
3 |
3 |
| comp.speech.research |
Speech technology research issues. |
1,499 |
5,420 |
| comp.speech.reserach |
|
2 |
2 |
| comp.speech.user |
|
2 |
2 |
| comp.speech.users |
Issues related with using current speech technology. |
1,075 |
5,456 |
| comp.speedh |
|
2 |
2 |
| comps.periphs.printers |
|
1 |
1 |
| comps.periphs.scanner |
|
1 |
1 |
| comp.spftware-eng |
|
2 |
2 |
| comp.spin.No10 |
|
1 |
1 |
| comp.sps.hp.hpux |
|
1 |
1 |
| comp.sql |
|
1 |
1 |
| comp.sr |
|
1 |
1 |
| comp.ssecurity.firewalls |
|
3 |
3 |
| comp.ss.mac.apps |
|
1 |
1 |
| comp.ss.next.marketplace |
|
1 |
1 |
| comps.sources.wanted |
|
1 |
1 |
| comp.sspeech |
|
1 |
1 |
| comp.ssy.amiga.advocacy |
|
1 |
1 |
| comps.sys.acorn.misc |
|
4 |
4 |
| comps.sys.acorn.programmer |
|
1 |
1 |
| comps.sys.amiga.marketplace |
|
1 |
1 |
| comps.sys.amiga.misc |
|
1 |
1 |
| comps.sys.amiga.programmer |
|
2 |
2 |
| comps.sys.apple2.marketplace |
|
1 |
1 |
| comps.sys.atari.8-bit |
|
2 |
2 |
| comps.sys.atari.announce |
|
1 |
1 |
| comps.sys.atari.st.tech |
|
2 |
2 |
| comps.sys.be.misc |
|
2 |
2 |
| comps.sys.dec.micro |
|
6 |
6 |
| comps.sys.hp.hpux |
|
1 |
1 |
| comps.sys.ibm.pc.games.action |
|
13 |
13 |
| comps.sys.ibm.pc.games.adventure |
|
1 |
1 |
| comps.sys.ibm.pc.games.rpg |
|
1 |
1 |
| comps.sys.ibm.pc.games.space-sim |
|
1 |
1 |
| comps.sys.ibm.pc.games.strategic |
|
1 |
1 |
| comps.sys.ibm.pc.hardward.misc |
|
1 |
1 |
| comps.sys.ibm.pc.hardware.cd-rom |
|
3 |
3 |
| comps.sys.ibm.pc.hardware.chips |
|
1 |
1 |
| comps.sys.ibm.pc.hardware.comm |
|
7 |
7 |
| comps.sys.ibm.pc.hardware.storage |
|
5 |
5 |
| comps.sys.ibm.pc.hardware.video |
|
2 |
2 |
| comps.sys.ibm.pc.misc |
|
10 |
10 |
| comps.sys.ibm.pc.rt |
|
1 |
1 |
| comps.sys.ibm.pc.soundcard.music |
|
1 |
1 |
| comps.sys.laptops |
|
4 |
4 |
| comps.sys.linux |
|
1 |
1 |
| comp.ssys.mac.advocacy |
|
24 |
24 |
| comps.sys.mac.advocacy |
|
3 |
3 |
| comps.sys.mac.comm |
|
4 |
4 |
| comps.sys.mac.databases |
|
1 |
1 |
| comps.sys.mac.games.misc |
|
1 |
1 |
| comps.sys.mac.graphics |
|
10 |
10 |
| comps.sys.mac.hardware |
|
2 |
2 |
| comps.sys.mac.hardware.misc |
|
8 |
8 |
| comps.sys.mac.hardware.video |
|
10 |
10 |
| comps.sys.mac.misc |
|
4 |
4 |
| comps.sys.mac.portables |
|
1 |
1 |
| comp.ssys.mac.printing |
|
1 |
1 |
| compssys.mac.printing |
|
3 |
3 |
| comps.sys.mac.programmer |
|
1 |
1 |
| comps.sys.mac.programmer.codewarrior |
|
1 |
1 |
| comps.sys.mac.programmer.help |
|
4 |
4 |
| comps.sys.mac.programmer.misc |
|
5 |
5 |
| comps.sys.mac.system |
|
1 |
6 |
| comps.sys.mac.wanted |
|
1 |
4 |
| comps.sys.misc |
|
2 |
2 |
| comps.sys.next.misc |
|
1 |
1 |
| comps.sys.palmtops |
|
12 |
12 |
| comps.sys.palmtops.pilot |
|
7 |
7 |
| comps.sys.palmtops.pilots |
|
1 |
1 |